[Haskell-cafe] ANN: Unification in a Commutative Monoid (cmu 1.1) and a new release of Abelian group unification and matching (agum 2.2)

[John D. Ramsdell]

Package cmu 1.1 provides unification in a commutative monoid, also
know as ACU-unification.  The core computation finds the minimal
non-zero solutions to homogeneous linear Diaphantine equations.  The
linear equation solver has been place in a separate module so it can
be used for other applications

Package agum 2.2 provides unification and matching in an Abelian
group, also know as AG-unification and matching.  The core computation
finds the integer solutions to inhomogeneous linear equations.  The
linear equation solver has been place in a separate module so it can
be used for other applications

John