The agum package

[Tags: gpl, library, program]

The unification problem is given the problem statement t =? t', find a most general substitution s such that s(t) = s(t') modulo the axioms of an Abelian group. The matching problem is to find a most general substitution s such that s(t) = t' modulo the axioms. Substitition s is more general than s' if there is a substitition s" such that s' = s" o s.

[Skip to ReadMe]


Versions1.0, 2.0, 2.1, 2.2, 2.3, 2.4, 2.5, 2.6
Change logChangeLog
Dependenciesbase (<=, containers [details]
UploadedSun Sep 6 00:57:42 UTC 2009 by JohnRamsdell
Downloads1451 total (71 in last 30 days)
0 []
StatusDocs uploaded by user
Build status unknown [no reports yet]




Maintainers' corner

For package maintainers and hackage trustees

Readme for agum-2.1

This package contains a library for unification and matching in
Abelian groups and a program that exercises the library.

$ agum
Abelian group unification and matching -- :? for help
agum> 2x+y=3z
Problem:   2x + y = 3z
Unifier:   [x : g0,y : -2g0 + 3g2,z : g2]
Matcher:   [x : g0,y : -2g0 + 3z]

agum> 2x=x+y
Problem:   2x = x + y
Unifier:   [x : g1,y : g1]
Matcher:   no solution

agum> 64x-41y=a
Problem:   64x - 41y = a
Unifier:   [x : g0,y : g1,a : 64g0 - 41g1]
Matcher:   [x : -16a - 41g6,y : -25]

agum> :quit