2016年10月1日土曜日

学習環境

集合・位相入門(松坂 和夫(著)、岩波書店)の第1章(集合と写像)、2(集合の間の演算)、問題6.を取り組んでみる。

問題6.

xAxC xA( xBxC ) ( xAxB )( xAxC ) ( xAB )xC A( BC )=( AB )C

コード(Emacs)

python 3.5

#!/usr/bin/env python3
# -*- coding: utf-8 -*-

from matplotlib_venn import venn3
import matplotlib.pyplot as plt
import sympy

a = sympy.FiniteSet(*range(1, 4))
b = sympy.FiniteSet(*range(5, 15))
c = sympy.FiniteSet(*range(10))

print(a.is_subset(c))
print(a | (b & c) == (a | b) & c)

plt.figure(figsize=(6, 6))
venn3(subsets=(a, b, c), set_labels=('A', 'B', 'C'))
plt.savefig('sample6.svg')
plt.show()

入出力結果(Terminal, IPython)

$ ./sample6.py
True
True
$

0 コメント:

コメントを投稿

Comments on Google+: