Subsections

• Arithmetic

In the list of arithmetic operations below x and y denote class functions in the same ring, and a denotes a scalar, which is any element coercable into a cyclotomic field. Also, j denotes an integer.

+ y : AlgChtrElt -> AlgChtrElt

- y : AlgChtrElt -> AlgChtrElt

x + y : AlgChtrElt, AlgChtrElt -> AlgChtrElt

x - y : AlgChtrElt, AlgChtrElt -> AlgChtrElt

x / y : AlgChtrElt, AlgChtrElt -> AlgChtrElt

x * y : AlgChtrElt, AlgChtrElt -> AlgChtrElt

a * x : FldCycElt, AlgChtrElt -> AlgChtrElt

x / a : AlgChtrElt, FldCycElt -> AlgChtrElt

x ^ j : AlgChtrElt, RngIntElt -> AlgChtrElt