数学 - Python - 代数学 - 1次関数、2次関数 - 集合とその表し方 - 部分集合 - 異なる3元の要素を持つ集合の部分集合全ての集合、べき集合

代数への出発
楽天ブックス Yahoo!

学習環境

• Surface
• Windows 10 Pro (OS)
• Nebo(Windows アプリ)
• iPad
• MyScript Nebo - MyScript(iPad アプリ(iOS))
• 参考書籍
  • Pythonからはじめる数学入門 (楽天ブックス Yahoo!)
  • JavaScriptリファレンス 第6版 (楽天ブックス Yahoo!)
  • インタラクティブ・データビジュアライゼーション (楽天ブックス Yahoo!)

代数への出発 (新装版 数学入門シリーズ) (松坂 和夫(著)、岩波書店)の第6章(1次方程式、2次方程式)、1(集合とその表し方)、部分集合、問2の解答を求めてみる。

2. 
   
   $\begin{array}{l}\varphi \\ \left\{a\right\},\left\{b\right\},\left\{c\right\}\\ \left\{a,b\right\},\left\{b,c\right\},\left\{c,a\right\}\\ \left\{a,b,c\right\}\end{array}$

コード

#!/usr/bin/env python3
from unittest import TestCase, main
from sympy import symbols, FiniteSet, EmptySet

print('2.')


class TestSubSet(TestCase):
    def test(self):
        a, b, c = symbols('a:c')
        self.assertEqual(
            FiniteSet(a, b, c).powerset(),
            FiniteSet(
                EmptySet,
                FiniteSet(a), FiniteSet(b), FiniteSet(c),
                FiniteSet(a, b), FiniteSet(b, c), FiniteSet(c, a),
                FiniteSet(a, b, c)
            ),
        )


if __name__ == "__main__":
    main()

入出力結果(Zsh、PowerShell、Terminal、Jupyter(IPython))

% ./sample2.py -v
2.
test (__main__.TestSubSet) ... ok

----------------------------------------------------------------------
Ran 1 test in 0.059s

OK
%