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/intclos.spad.pamphlet | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/src/algebra/intclos.spad.pamphlet b/src/algebra/intclos.spad.pamphlet
index 5e5a13a5..7507efae 100644
--- a/src/algebra/intclos.spad.pamphlet
+++ b/src/algebra/intclos.spad.pamphlet
@@ -322,7 +322,7 @@ FunctionFieldIntegralBasis(R,UP,F): Exports == Implementation where
         tfm := ((rb * tfm0 * transpose rb) exquo (rbden * rbden)) :: Mat
 
     integralBasis() ==
-      n := rank()$F; p := characteristic()$F
+      n := rank()$F; p := characteristic$F
       (not zero? p) and (n >= p) =>
         error "integralBasis: possible wild ramification"
       tfm := traceMatrix()$F; disc := determinant tfm
@@ -330,7 +330,7 @@ FunctionFieldIntegralBasis(R,UP,F): Exports == Implementation where
       iIntegralBasis(tfm,disc,sing)
 
     localIntegralBasis prime ==
-      n := rank()$F; p := characteristic()$F
+      n := rank()$F; p := characteristic$F
       (not zero? p) and (n >= p) =>
         error "integralBasis: possible wild ramification"
       tfm := traceMatrix()$F; disc := determinant tfm
@@ -428,7 +428,7 @@ WildFunctionFieldIntegralBasis(K,R,UP,F): Exports == Implementation where
       -- 'standardBasis' is the basis for F as a FramedAlgebra;
       -- usually this is [1,y,y**2,...,y**(n-1)]
       p2 := prime * prime; sae := SAE(K,R,prime)
-      p := characteristic()$F; q := size()$sae
+      p := characteristic$F; q := size()$sae
       lp := leastPower(q,n)
       rb := scalarMatrix(n,1); rbinv := scalarMatrix(n,1)
       -- rb    = basis matrix of current order
-- 
cgit v1.2.3