documentation:latest:polytope:groebnerbasis