Home
Reading
Searching
Subscribe
Sponsors
Statistics
Posting
Contact
Spam
Lists
Links
About
Hosting
Filtering
Features Download
Marketing
Archives
FAQ
Blog
 
Gmane
From: John D. Ramsdell <ramsdell0 <at> gmail.com>
Subject: ANN: Unification in a Commutative Monoid (cmu 1.1) and a new release of Abelian group unification and matching (agum 2.2)
Newsgroups: gmane.comp.lang.haskell.cafe
Date: Thursday 17th September 2009 21:39:19 UTC (over 7 years ago)
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
 
CD: 4ms