Complex conjugate of a cyclotomic number.
conjugate(cyc)
cyc
a cyclotomic number
A cyclotomic number, the complex conjugate of cyc.
conjugate(zeta(4)) # should be -zeta(4)