定義
D を負の有理整数で D ≡ 0 または 1 (mod 4) とする。

f(x, y) = ax^2 + bxy + cy^2 を判別式 D の正定値かつ原始的な
２次形式とする。

[D] を >>253 で定義した集合とする。
つまり
[D] = { z ∈ H ; |Re(z)| ≦ 1/2 かつ |z| ≧ 1 } である。

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