cmu 1.1 → 1.2

raw patch · 3 files changed

+15/−8 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• ChangeLog +7/−0
• cmu.cabal +1/−1
• src/Algebra/CommutativeMonoid/Unification.hs +7/−7

@@ -1,3 +1,10 @@+2009-09-18  John D. Ramsdell  <ramsdell@mm144697-pc.mitre.org>++	* src/Algebra/CommutativeMonoid/Unification.hs: Changed+	occurrences of group to monoid in comments.++	* cmu.cabal (Version): Released as version 1.2.+ 2009-09-17  John D. Ramsdell  <ramsdell@mitre.org>  	* cmu.cabal (Version): Released as version 1.0.

@@ -1,5 +1,5 @@ Name:			cmu-Version:		1.1+Version:		1.2 Maintainer:		ramsdell@mitre.org Cabal-Version:		>= 1.2 License:		GPL

@@ -25,7 +25,7 @@ -- In this module, a commutative monoid is a free algebra over a -- signature with two function symbols: -----     * the binary symbol +, the group operator,+--     * the binary symbol +, the moniod operator, -- --     * a constant 0, the identity element, and --@@ -38,7 +38,7 @@ -- -- [Associativity] (x + y) + z = x + (y + z) ----- [Group Identity] x + 0 = x+-- [Identity Element] x + 0 = x -- -- A substitution maps variables to terms.  A substitution s is -- applied to a term as follows.@@ -75,7 +75,7 @@ -- In this module, a commutative monoid is a free algebra over a signature -- with two function symbols: ----- * the binary symbol +, the group operator,+-- * the binary symbol +, the moniod operator, -- * a constant 0, the identity element, and -- -- The algebra is generated by a set of variables.  Syntactically, a@@ -85,7 +85,7 @@ -- -- * x + y = y + x                 Commutativity -- * (x + y) + z = x + (y + z)     Associativity--- * x + 0 = x                     Group identity+-- * x + 0 = x                     Identity Element  -- A substitution maps variables to terms.  A substitution s is -- extended to a term as follows.@@ -98,17 +98,17 @@ -- the axioms of the algebra.  Substitition s is more general than s' -- if there is a substitition s" such that s' = s" o s. --- A term is represented by the group identity, or as the sum of+-- A term is represented by the identity element, or as the sum of -- factors.  A factor is the product of a positive integer coefficient -- and a variable.  In this representation, no variable occurs twice. -- Thus a term is represented by a finite map from variables to -- non-negative integers. --- | A term in a commutative monoid is represented by the group+-- | A term in a commutative monoid is represented by the -- identity element, or as the sum of factors.  A factor is the -- product of a positive integer coefficient and a variable.  No -- variable occurs twice in a term.  For the show and read methods,--- zero is the group identity, the plus sign is the group operation.+-- zero is the identity element, the plus sign is the moniod operation. newtype Term = Term (Map String Int) deriving Eq  -- Constructors