diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-13 16:53:32 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-13 16:53:32 +0000 |
commit | 90a4fe6666a5db6d12e71e924c1486522a2ccdd1 (patch) | |
tree | 8c568cdde14cc779afc98a5564f3393d3b97d748 | |
parent | 701073966d9aba091a99aa3cbef48fe3df226dfe (diff) | |
download | open-axiom-90a4fe6666a5db6d12e71e924c1486522a2ccdd1.tar.gz |
* algebra/generic.spad.pamphlet
(GenericNonAssociativeAlgebra)[generic]: Fix thinko.
-rw-r--r-- | src/ChangeLog | 5 | ||||
-rw-r--r-- | src/algebra/generic.spad.pamphlet | 4 |
2 files changed, 7 insertions, 2 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 00c7642b..52918b3c 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,10 @@ 2010-06-13 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/generic.spad.pamphlet + (GenericNonAssociativeAlgebra)[generic]: Fix thinko. + +2010-06-13 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/array1.spad.pamphlet (IndexedFlexibleArray) [merge!]: Tidy. * algebra/intfact.spad.pamphlet (IntegerRoots) [perfectNthRoot]: Likewise. diff --git a/src/algebra/generic.spad.pamphlet b/src/algebra/generic.spad.pamphlet index e8eab134..35d694d5 100644 --- a/src/algebra/generic.spad.pamphlet +++ b/src/algebra/generic.spad.pamphlet @@ -19,7 +19,7 @@ import SparseUnivariatePolynomial )abbrev domain GCNAALG GenericNonAssociativeAlgebra ++ Authors: J. Grabmeier, R. Wisbauer ++ Date Created: 26 June 1991 -++ Date Last Updated: 26 June 1991 +++ Date Last Updated: June 13, 2010 ++ Basic Operations: generic ++ Related Constructors: AlgebraPackage ++ Also See: @@ -265,7 +265,7 @@ GenericNonAssociativeAlgebra(R : CommutativeRing, n : PositiveInteger,_ generic() == genericElement generic(vs:V S, ve: V %): % == - maxIndex v > maxIndex ve => + maxIndex ve > maxIndex vs => error "generic: too little symbols" v : Vector PR := [monomial(1$PR, [vs.i],[1]) for i in 1..maxIndex ve] |