diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-29 19:09:54 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-29 19:09:54 +0000 |
| commit | c39287d87b632b3582b0e179b08d44dc6c27510f (patch) | |
| tree | 88c661ea1bd325ad74b4f3f472c052687e8ca1d4 /src/algebra/intclos.spad.pamphlet | |
| parent | a17c2d47d4df5af5ef5e624ac6c5636b2741dd4a (diff) | |
| download | open-axiom-c39287d87b632b3582b0e179b08d44dc6c27510f.tar.gz | |
* 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.
Diffstat (limited to 'src/algebra/intclos.spad.pamphlet')
| -rw-r--r-- | src/algebra/intclos.spad.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
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 |