diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-07-06 04:47:31 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-07-06 04:47:31 +0000 |
| commit | 40af74e42fffdffe075310520d00b0e0d97d4a8c (patch) | |
| tree | 6371b712abc00c698f9cabeeaf359d71b779d146 /src | |
| parent | e21476c2cb43cbe5195c1fe152a7ff27bb126b24 (diff) | |
| download | open-axiom-40af74e42fffdffe075310520d00b0e0d97d4a8c.tar.gz | |
* src/algebra/poly.spad.pamphlet (PolynomialRing): Remove unused
bogus times! function.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 5 | ||||
| -rw-r--r-- | src/algebra/poly.spad.pamphlet | 29 |
2 files changed, 6 insertions, 28 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 806db287..9509fa37 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,10 @@ 2009-07-05 Gabriel Dos Reis <gdr@cs.tamu.edu> + * src/algebra/poly.spad.pamphlet (PolynomialRing): Remove unused + bogus times! function. + +2009-07-05 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/compiler.boot (coerceEasy): Don't pretend we can make matter our of void. * algebra/indexedp.spad.pamphlet 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: %): % == |