diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-07-04 16:15:02 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-07-04 16:15:02 +0000 |
| commit | 1a3f6eae6f2ef30a6b9249e595c2f37e0ebd002b (patch) | |
| tree | be57336beea9a471b9acf45e574de3ddd95914be /src | |
| parent | 897248c1939a687b7af06e64c59592a52edf1030 (diff) | |
| download | open-axiom-1a3f6eae6f2ef30a6b9249e595c2f37e0ebd002b.tar.gz | |
Fix AW/429
* algebra/multpoly.spad.pamphlet (IndexedExponents): Fix comment type.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 5 | ||||
| -rw-r--r-- | src/algebra/multpoly.spad.pamphlet | 4 |
2 files changed, 7 insertions, 2 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index cb3b7d94..d4ecb0cc 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,10 @@ 2008-07-04 Gabriel Dos Reis <gdr@cs.tamu.edu> + Fix AW/429 + * algebra/multpoly.spad.pamphlet (IndexedExponents): Fix comment type. + +2008-07-04 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/category.boot (isCategory): Document. (isCategoryForm): Likewise. Tidy. (mkCategory): Likewise. diff --git a/src/algebra/multpoly.spad.pamphlet b/src/algebra/multpoly.spad.pamphlet index 99ab7833..864d4343 100644 --- a/src/algebra/multpoly.spad.pamphlet +++ b/src/algebra/multpoly.spad.pamphlet @@ -702,10 +702,10 @@ IndexedExponents(Varset:OrderedSet): C == T where Rep:= List Term x:% t:Term - coerceOF(t):OutputForm == --++ converts term to OutputForm + coerceOF(t):OutputForm == -- converts term to OutputForm t.c = 1 => (t.k)::OutputForm (t.k)::OutputForm ** (t.c)::OutputForm - coerce(x):OutputForm == ++ converts entire exponents to OutputForm + coerce(x):OutputForm == -- converts entire exponents to OutputForm null x => 1::Integer::OutputForm null rest x => coerceOF(first x) reduce("*",[coerceOF t for t in x]) |