poly.lib
constant bino
constant hilbPoly
constant substitute
constant cyclic
constant elemSymmPoly
constant elemSymmId
constant kat_var
constant maxcoef
constant maxdeg