The module
MPOLYNOMIAL
It contains generic implementations for multivariate polynomials.
mpoly/MPOLYNOMIAL.H