úÎ>‰     ! ?A maplet maps one variable into a term. For the show and read A methods, the variable and the term are separated by a colon. A , list of maplets represents a substitution. @An equation is a pair of terms. For the show and read methods, / the two terms are separated by an equal sign. @A term in an Abelian group is represented by the group identity B element, or as the sum of factors. A factor is the product of a B non-zero integer coefficient and a variable. No variable occurs D twice in a term. For the show and read methods, zero is the group D identity, the plus sign is the group operation, and the minus sign  is the group inverse. ) represents the identity element (zero). <A variable is an alphabetic Unicode character followed by a B sequence of alphabetic or numeric digit Unicode characters. The ? show method for a term works correctly when variables satisfy  the  predicate. 2Return a term that consists of a single variable. 4Multiply every coefficient in a term by an integer.  Add two terms. ?Return all variable-coefficient pairs in the term in ascending  variable order. :Convert a list of variable-coefficient pairs into a term. Given 0 (t0, t1), return a most general substitution s D such that s(t0) = s(t1) modulo the equational axioms of an Abelian  group. Given 0 (t0, t1), return a most general substitution s A such that s(t0) = t1 modulo the equational axioms of an Abelian  group.      !      agum-1.0(Algebra.AbelianGroup.UnificationMatchingMapletEquationTermideisVarvarmuladdassocsunifymatchSubstLinEqnegtermmgugenChargenSymgenSymsAvoidingintLinEq intLinEqLoopsmallestinvertzero eliminate divisibledivide isNumToken isVarTokenscan