定義
Q(√m) を虚２次体とし、その判別式を D とする。

f(x, y) = ax^2 + bxy + cy^2 を判別式 D で正定値(>>293)の
２次形式とする。

G を >>253 で定義した集合とする。
つまり

G = { z ∈ H ; -1/2 ≦ Re(z) ＜ 1/2 かつ |z| ≧ 1 で
|z| = 1 のときは -1/2 ≦ Re(z) ≦ 0 }

(-b + √D)/2a が G に属すとき f(x, y) を簡約２次形式と呼ぶ。