pointid.lib
constant subst1
constant nonMonomials
constant cornerMonomials
constant facGBIdeal