Python - 数学 - 体 - GF(2)上の算術

行列プログラマー
原著

開発環境

• macOS Sierra - Apple (OS)
• Emacs (Text Editor)
• Python 3.6 (プログラミング言語)

行列プログラマー(Philip N. Klein (著)、 松田 晃一 (翻訳)、 弓林 司 (翻訳)、 脇本 佑紀 (翻訳)、 中田 洋 (翻訳)、 齋藤 大吾 (翻訳)、オライリージャパン)の1章(体)、1.7(問題)、GF(2)上の算術、問題1.7.13を取り組んでみる。

問題1.7.13

コード(Emacs)

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

import math
import pprint


# a. 1 + 1 + 1 + 0 = 0 + 1 + 0 = 1 + 0 = 1
# b. 1 * 1 + 0 * 1 + 0 * 0 + 1 * 1 = 1 + 0 + 0 + 1 = 1 + 0 + 1 = 1 + 1 = 0
# c. (1 + 1 + 1) * (1 + 1 + 1 + 1) = (0 + 1) * (0 + 1 + 1)
#    = 1 * (1 + 1) = 1 * 0 = 0

from GF2 import one

print(one + one + one + 0)
print(one * one + 0 * one + 0 * 0 + one * one)
print((one + one + one) * (one + one + one + one))

入出力結果(Terminal, IPython)

$ ./sample7_13.py
one
0
0
$