Tool for computations in affine monoids and more
