type ZMod base

type QMod base

data FreeMod coeff base