ZERO
IdealInt IdealRat LinearCombination
ZeroExtend
ModuloArithmetic
zero
IntegerRing PseudoRing ModRing Fractions
zero_extend
ModuloArithmetic
zip
Tree