polytope:groebnerbasis