gmspoly.lib
constant mindegree
constant maxdegree
constant isTame
constant chart
constant pidbasis
constant vfiltmat
constant spec
constant fsplit
constant glift
constant goodBasis