Sage includes classes for convex rational polyhedral cones and fans, Groebner fans, lattice and reflexive polytopes (with integral coordinates), and generic polytopes and polyhedra (with rational or numerical coordinates).
Morphisms between finitely generated modules over a PID.
Toric lattices
Enter search terms or a module, class or function name.