aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/ffcat.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-04-03 04:23:42 +0000
committerdos-reis <gdr@axiomatics.org>2008-04-03 04:23:42 +0000
commit001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 (patch)
treeda9e2fe5d81ff4cd7709d12e44b8c3e348b8a8e3 /src/algebra/ffcat.spad.pamphlet
parenta7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff)
downloadopen-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/ffcat.spad.pamphlet')
-rw-r--r--src/algebra/ffcat.spad.pamphlet6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/ffcat.spad.pamphlet b/src/algebra/ffcat.spad.pamphlet
index f8047d80..3821e9a5 100644
--- a/src/algebra/ffcat.spad.pamphlet
+++ b/src/algebra/ffcat.spad.pamphlet
@@ -344,7 +344,7 @@ FiniteAlgebraicExtensionField(F : Field) : Category == _
-- norm(e) == norm(e,1) pretend F
-- trace(e) == trace(e,1) pretend F
minimalPolynomial(a,n) ==
- extensionDegree()@PI rem n ^= 0 =>
+ extensionDegree()@PI rem n ~= 0 =>
error "minimalPolynomial: 2. argument must divide extension degree"
f:SUP $:=monomial(1,1)$(SUP $) - monomial(a,0)$(SUP $)
u:$:=Frobenius(a,n)
@@ -387,7 +387,7 @@ FiniteAlgebraicExtensionField(F : Field) : Category == _
degree a ==
y:$:=Frobenius a
deg:PI:=1
- while y^=a repeat
+ while y~=a repeat
y := Frobenius(y)
deg:=deg+1
deg
@@ -1409,7 +1409,7 @@ FiniteFieldSolveLinearPolynomialEquation(F:FiniteFieldCategory,
p: FPP
import DistinctDegreeFactorize(F,FP)
solveLinearPolynomialEquation(lp,p) ==
- if (oldlp ^= lp) then
+ if (oldlp ~= lp) then
-- we have to generate a new table
deg:= +/[degree u for u in lp]
ans:Union(Vector List FPP,"failed"):="failed"