aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/ChangeLog5
-rw-r--r--src/algebra/poly.spad.pamphlet29
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: %): % ==