diff options
Diffstat (limited to 'src/algebra/multpoly.spad.pamphlet')
| -rw-r--r-- | src/algebra/multpoly.spad.pamphlet | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/multpoly.spad.pamphlet b/src/algebra/multpoly.spad.pamphlet index b558f0af..b0a45dfc 100644 --- a/src/algebra/multpoly.spad.pamphlet +++ b/src/algebra/multpoly.spad.pamphlet @@ -694,12 +694,10 @@ IndexedExponents(Varset:OrderedSet): C == T where T == IndexedDirectProductOrderedAbelianMonoidSup(NonNegativeInteger,Varset) add Term:= Record(k:Varset,c:NonNegativeInteger) Rep:= List Term - x:% - t:Term - coerceOF(t):OutputForm == -- converts term to OutputForm + coerceOF(t: Term):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]) |