aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/generic.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-06-13 16:53:32 +0000
committerdos-reis <gdr@axiomatics.org>2010-06-13 16:53:32 +0000
commit90a4fe6666a5db6d12e71e924c1486522a2ccdd1 (patch)
tree8c568cdde14cc779afc98a5564f3393d3b97d748 /src/algebra/generic.spad.pamphlet
parent701073966d9aba091a99aa3cbef48fe3df226dfe (diff)
downloadopen-axiom-90a4fe6666a5db6d12e71e924c1486522a2ccdd1.tar.gz
* algebra/generic.spad.pamphlet
(GenericNonAssociativeAlgebra)[generic]: Fix thinko.
Diffstat (limited to 'src/algebra/generic.spad.pamphlet')
-rw-r--r--src/algebra/generic.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
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]