ToySolver.Data.AlgebraicNumber.Complex
data AComplex
realPart
imagPart
magnitude
minimalPolynomial
conjugate