diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-12-12 01:30:09 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-12-12 01:30:09 +0000 |
| commit | c81c34e8a92f6982d761a48cc2b103ce736fbf95 (patch) | |
| tree | e01f3fb3a6a0b2f0042516a96af4a64c9ecfb6f3 /src/algebra | |
| parent | 2159e0cec3aa62a8822f1f42f0d14b55df445676 (diff) | |
| download | open-axiom-c81c34e8a92f6982d761a48cc2b103ce736fbf95.tar.gz | |
* interp/g-util.boot (liftAassignments!): New.
(splitAssignments!): Use it.
* algebra/multpoly.spad.pamphlet (SparseMultivariatePolynomial):
Fix thinko.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/multpoly.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/multpoly.spad.pamphlet b/src/algebra/multpoly.spad.pamphlet index b0a45dfc..ecd17271 100644 --- a/src/algebra/multpoly.spad.pamphlet +++ b/src/algebra/multpoly.spad.pamphlet @@ -573,7 +573,7 @@ SparseMultivariatePolynomial(R: Ring,VarSet: OrderedSet): C == T where nlvar := sort(#1 > #2,Lvar) nlpval := Lvar = nlvar => Lpval - nlpval := [Lpval.position(mvar,Lvar) for mvar in nlvar] + [Lpval.position(mvar,Lvar) for mvar in nlvar] evalSortedVarlist(p,nlvar,nlpval) eval(p,Lvar,Lval) == |