Avatar
Taketo Sano 5/30/2018 2:58 PM
EuclideanRing というのはあまりつきの割り算ができる環で、
2:59 PM
Ring > EuclideanRing > Field と継承されるのですが、
2:59 PM
Field というのは 0 でない数は逆数を持つ体で、余は常に 0 になるような特別な EuclideanRing となってます。
3:00 PM
複素数 ComplexNumber は Field で、ガウス整数は EuclideanRing なのですが、
3:01 PM
余りつき割り算のやり方が全然違うので共通化できなそう（できても可読性が著しく下がりそう）という感じでした…🙄
3:02 PM
ガウス整数の割り算の仕方はこちらですw https://ja.wikipedia.org/wiki/ガウス整数#証明
%E3%82%AC%E3%82%A6%E3%82%B9%E6%95%B4%E6%95%B0
Thumbnail
3:02 PM
複素数の実部と虚部を整数に制限したのがガウス整数です。
3:02 PM
複素数平面上の格子点。 (edited)