User:EricABQ/Polytope software comparison