a tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
