pub type Poly<F> = BTreeMap<Monomial, F>;
A polynomial: monomial → coefficient, only non-zero terms stored.
pub struct Poly<F> { /* private fields */ }