Sage includes support for computing with lattice and reflexive polytopes and Groebner fans. Polytopes with rational or numerical coordinates are supported by the Polyhedron class.
Morphisms between finitely generated modules over a PID.
Lattice and reflexive polytopes
Enter search terms or a module, class or function name.