diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-04-03 04:23:42 +0000 |
| commit | 001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 (patch) | |
| tree | da9e2fe5d81ff4cd7709d12e44b8c3e348b8a8e3 /src/algebra/ffcat.spad.pamphlet | |
| parent | a7bab9a6c2070d05e2dbd256ce455079c8ced385 (diff) | |
| download | open-axiom-001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532.tar.gz | |
Replace `^=' with `~='.
Diffstat (limited to 'src/algebra/ffcat.spad.pamphlet')
| -rw-r--r-- | src/algebra/ffcat.spad.pamphlet | 6 |
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" |