diff options
Diffstat (limited to 'src/algebra/poly.spad.pamphlet')
| -rw-r--r-- | src/algebra/poly.spad.pamphlet | 29 |
1 files changed, 1 insertions, 28 deletions
diff --git a/src/algebra/poly.spad.pamphlet b/src/algebra/poly.spad.pamphlet index f311fc97..12d039ef 100644 --- a/src/algebra/poly.spad.pamphlet +++ b/src/algebra/poly.spad.pamphlet @@ -153,36 +153,9 @@ PolynomialRing(R:Ring,E:OrderedAbelianMonoid): T == C qsetrest!: (Rep, Rep) -> Rep qsetrest!(l: Rep, e: Rep): Rep == RPLACD(l, e)$Lisp - times!: (R, %) -> % - times: (R, E, %) -> % - entireRing? := R has EntireRing - times!(r: R, x: %): % == - res, endcell, newend, xx: Rep - if entireRing? then - for tx in x repeat tx.c := r*tx.c - x - else - xx := x - res := empty() - while not empty? xx repeat - tx := first xx - tx.c := r * tx.c - if zero? tx.c then - xx := rest xx - else - newend := xx - xx := rest xx - if empty? res then - res := newend - endcell := res - else - qsetrest!(endcell, newend) - endcell := newend - res; - - --- term * polynomial + --- term * polynomial termTimes: (R, E, Term) -> Term termTimes(r: R, e: E, tx:Term): Term == [e+tx.k, r*tx.c] times(tco: R, tex: E, rx: %): % == |