documentation:master:polytope:groebnerbasis