powered by
Cyclotomic number as exact rational number if possible.
maybeRational(cyc)
A maybe value, just a rational number if cyc
maybe
just
cyc
is a rational number, nothing otherwise.
nothing
a cyclotomic number
isRational
maybeRational(zeta(4)) maybeRational(cosDeg(60)) # use `from_just` to get the value
Run the code above in your browser using DataLab