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