Data.Complex.Cyclotomic
data Cyclotomic
i
e
sqrtInteger
sqrtRat
sinDeg
cosDeg
gaussianRat
polarRat
conj
real
imag
isReal
isRat
isGaussianRat
toComplex
toReal
toRat
goldenRatio
dft
dftInv