Pythonに型付けして代数拡大を実装する (1) 〜モノイド・群・環・整数環〜 - Qiita

はじめに Python 3.5で型ヒント機能が導入され，型を意識できるようになりました。しかし，型ヒントの付いたコードを目にする機会は殆どありません。自分も当初は「Pythonに静的型付けは必要なのか？」と懐疑的でしたが，自分のコードに型ヒントを付けてみたところ，"oh my(py)!" と思ってしまい，広めたいと思ったのでこの記事を書くことにしました。 これから3回に分けて，型ヒントを活用して，Pythonで体の拡大を実装していきます。実装に際して，taketo1024さんの記事「Swiftで代数学入門」を大変参考にしました。 ちなみに筆者は代数拡大には疎いので（結城浩著「数学ガール/ガロア理論」を読んだ程度），誤りがあれば教えていただけますと幸いです。 代数拡大については，taketo1024さんの記事やその他のWebページに丁寧に書かれているので，この記事では数学的な話にはあまり触れ