Man pages for cyclotomic
The Field of Cyclotomic Numbers

asComplexConvert cyclotomic number to complex number
as.cyclotomicCoercion to a 'cyclotomic' object
conjugateConjugate cyclotomic number
cyclotomic-importsExtract value from a 'Just' value
cyclotomic-unaryUnary operators for cyclotomic objects
cycSqrtSquare root as a cyclotomic number
imaginaryPartImaginary part of cyclotomic number.
isGaussianRationalIs the cyclotomic a Gaussian rational?
isRationalIs the cyclotomic a rational number?
isRealIs the cyclotomic a real number?
maybeRationalCyclotomic as exact rational number if possible
polarPolar complex number with rational magnitude and angle
quadraticRootsRoots of quadratic polynomial
realPartReal part of cyclotomic number.
trigonometryCosine and sine of a rational number
zetaThe primitive n-th root of unity.
cyclotomic documentation built on Nov. 3, 2023, 1:13 a.m.