Sage includes support for computing with lattice and reflexive polytopes and Groebner fans. It also has optional support for computing with general polytopes via the polymake program.
Morphisms between finitely generated modules over a PID.
Lattice and reflexive polytopes
Enter search terms or a module, class or function name.