diff options
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" |