pub type ZmPoly = BTreeMap<Mono, u64>;
A multilinear polynomial over ℤ/m: monomial → nonzero coefficient in 1..m (absent = 0).
ℤ/m
1..m
pub struct ZmPoly { /* private fields */ }