The real part of a cyclotomic number.
realPart(cyc)
cyc
a cyclotomic number
A cyclotomic number.
realPart(zeta(9))