polylib – polylib (package Combinat)
polylib::coeffRing – coefficient ring of a polynomial
polylib::support – support of a polynomial