pointid.lib
constant subst1
typeint(defreturntype)
constant nonMonomials
typedefreturntype
constant cornerMonomials
typeidealreturntype
constant facGBIdeal
typedefreturntype