diff options
| -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]) |