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