f:basis
f:gbasis
f:normal
f:normalf
f:optorder
f:pairless
f:red_base
f:redset
f:reduce
f:s_poly
f:spoly
f:term_lcm
f:termless
f:testdom
f:testpoly
f:testpset
f:update
