Math.NumberTheory.QuadraticField
data QNFBasis
type QNF
sqrt
sqrt2
sqrt3
sqrt5
sqrt6
sqrt7
i
data XVar