GLTBASIS _ _ _ _ _ _ _ _ _ _ _ _ switch

If gltbasis set on, the leading terms of the result basis of a groebner or groebnerf calculation are extracted. They are collected as a basis of monomials, which is available as value of the global variable gltb.