polytopes • man page