From 001e19b08ba7fb1b9e6f6bdb44a82ba3db3fc532 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 3 Apr 2008 04:23:42 +0000
Subject: Replace `^=' with `~='.

---
 src/algebra/ffnb.spad.pamphlet | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/src/algebra/ffnb.spad.pamphlet b/src/algebra/ffnb.spad.pamphlet
index 032c3501..b342f19e 100644
--- a/src/algebra/ffnb.spad.pamphlet
+++ b/src/algebra/ffnb.spad.pamphlet
@@ -238,7 +238,7 @@ InnerNormalBasisFieldFunctions(GF): Exports == Implementation where
                     else erg:VGF:=plist.(first(l))
       i:SI:=k
       for j in rest(l) repeat
-        if j^=0 then erg:=erg *$$ qPot(plist.j,i)$$
+        if j~=0 then erg:=erg *$$ qPot(plist.j,i)$$
         i:=i+k
       erg
 
@@ -517,7 +517,7 @@ FiniteFieldNormalBasisExtensionByPolynomial(GF,uni): Exports == _
     degree(a) ==
       d:PI:=1
       b:= qPot(a::Rep,1)$INBFF
-      while (b^=a) repeat
+      while (b~=a) repeat
         b:= qPot(b::Rep,1)$INBFF
         d:=d+1
       d
@@ -552,7 +552,7 @@ FiniteFieldNormalBasisExtensionByPolynomial(GF,uni): Exports == _
     norm(a:$) == retract norm(a,1)
     generator() == normalElement(extdeg)$INBFF
     basis(n:PI) ==
-      (extdeg rem n) ^= 0 => error "argument must divide extension degree"
+      (extdeg rem n) ~= 0 => error "argument must divide extension degree"
       [Frobenius(trace(normalElement,n),i) for i in 0..(n-1)]::(Vector $)
 
     a:GF * x:$ == a *$Rep x
-- 
cgit v1.2.3