From c39287d87b632b3582b0e179b08d44dc6c27510f Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 29 May 2009 19:09:54 +0000
Subject: 	* algebra/algext.spad.pamphlet: Qualify `characteristic'. 
 * algebra/clifford.spad.pamphlet: Likewise. 	*
 algebra/complet.spad.pamphlet: Likewise. 	*
 algebra/contfrac.spad.pamphlet: Likewise. 	* algebra/curve.spad.pamphlet:
 Likewise. 	* algebra/ddfact.spad.pamphlet: Likewise. 	*
 algebra/derham.spad.pamphlet: Likewise. 	*
 algebra/equation2.spad.pamphlet: Likewise. 	* algebra/ffcat.spad.pamphlet:
 Likewise. 	* algebra/ffcg.spad.pamphlet: Likewise. 	*
 algebra/fff.spad.pamphlet: Likewise. 	* algebra/ffnb.spad.pamphlet:
 Likewise. 	* algebra/ffp.spad.pamphlet: Likewise. 	*
 algebra/ffpoly.spad.pamphlet: Likewise. 	* algebra/ffx.spad.pamphlet:
 Likewise. 	* algebra/fmod.spad.pamphlet: Likewise. 	*
 algebra/fortmac.spad.pamphlet: Likewise. 	* algebra/fr.spad.pamphlet:
 Likewise. 	* algebra/fraction.spad.pamphlet: Likewise. 	*
 algebra/fspace.spad.pamphlet: Likewise. 	*
 algebra/gaussian.spad.pamphlet: Likewise. 	* algebra/gpol.spad.pamphlet:
 Likewise. 	* algebra/intclos.spad.pamphlet: Likewise. 	*
 algebra/interval.spad.pamphlet: Likewise. 	*
 algebra/laurent.spad.pamphlet: Likewise. 	*
 algebra/matrix.spad.pamphlet: Likewise. 	*
 algebra/modring.spad.pamphlet: Likewise. 	* algebra/oct.spad.pamphlet:
 Likewise. 	* algebra/opalg.spad.pamphlet: Likewise. 	*
 algebra/padic.spad.pamphlet: Likewise. 	*
 algebra/perman.spad.pamphlet: Likewise. 	* algebra/pf.spad.pamphlet:
 Likewise. 	* algebra/pfr.spad.pamphlet: Likewise. 	*
 algebra/poly.spad.pamphlet: Likewise. 	* algebra/polycat.spad.pamphlet:
 Likewise. 	* algebra/puiseux.spad.pamphlet: Likewise. 	*
 algebra/quat.spad.pamphlet: Likewise. 	* algebra/radix.spad.pamphlet:
 Likewise. 	* algebra/reclos.spad.pamphlet: Likewise. 	*
 algebra/resring.spad.pamphlet: Likewise. 	* algebra/sf.spad.pamphlet:
 Likewise. 	* algebra/si.spad.pamphlet: Likewise. 	*
 algebra/solvefor.spad.pamphlet: Likewise. 	* algebra/sups.spad.pamphlet:
 Likewise. 	* algebra/taylor.spad.pamphlet: Likewise. 	*
 algebra/vector.spad.pamphlet: Likewise. 	* algebra/xpoly.spad.pamphlet:
 Likewise.

---
 src/algebra/poly.spad.pamphlet | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/algebra/poly.spad.pamphlet')

diff --git a/src/algebra/poly.spad.pamphlet b/src/algebra/poly.spad.pamphlet
index 077ba898..c71af1d9 100644
--- a/src/algebra/poly.spad.pamphlet
+++ b/src/algebra/poly.spad.pamphlet
@@ -438,11 +438,11 @@ SparseUnivariatePolynomial(R:Ring): UnivariatePolynomialCategory(R) with
               zero?(cc:=p.first.c ** n) => 0
               [[n * p.first.k, cc]]
             -- not worth doing special trick if characteristic is too small 
-            if characteristic()$R < 3 then return expt(p,n pretend PositiveInteger)$RepeatedSquaring(%)
+            if characteristic$R < 3 then return expt(p,n pretend PositiveInteger)$RepeatedSquaring(%)
             y:%:=1
             -- break up exponent in qn * characteristic + rn
             -- exponentiating by the characteristic is fast
-            rec := divide(n, characteristic()$R)
+            rec := divide(n, characteristic$R)
 	    qn:= rec.quotient
             rn:= rec.remainder
             repeat 
@@ -450,8 +450,8 @@ SparseUnivariatePolynomial(R:Ring): UnivariatePolynomialCategory(R) with
                 if rn > 1 then y:= y * binomThmExpt([p.first], p.rest, rn)
                 zero? qn => return y
                 -- raise to the characteristic power
-                p:= [[t.k * characteristic()$R , primeFrobenius(t.c)$R ]$Term for t in p]
-		rec := divide(qn, characteristic()$R)
+                p:= [[t.k * characteristic$R , primeFrobenius(t.c)$R ]$Term for t in p]
+		rec := divide(qn, characteristic$R)
 		qn:= rec.quotient 
                 rn:= rec.remainder
             y 
-- 
cgit v1.2.3