整数環Z[1]（割らない）の計算を整数環Z[i]（複素数環）で計算する

整数環Z[1]（割らない）の計算を整数環Z[i]（複素数環）で計算する

円分多項式の解ω_n、虚数単位i、1、0を基底として持つ複素数環で可換環の計算をする。多項式で虚数解を持つ式も扱える。複素数平面を直交させた
「複素数空間」で入力xと出力yを扱う。
虚部はi=0の面を少しずらして二重にする。
または二つ空間を用意する。 苦しいけどしょうがないね。