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/limitps.spad.pamphlet | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

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

diff --git a/src/algebra/limitps.spad.pamphlet b/src/algebra/limitps.spad.pamphlet
index a388417e..9e8b3b53 100644
--- a/src/algebra/limitps.spad.pamphlet
+++ b/src/algebra/limitps.spad.pamphlet
@@ -151,7 +151,7 @@ PowerSeriesLimitPackage(R,FE): Exports == Implementation where
       for k in xkers repeat
         (fval := limitPlus(k::FE,x)) case "failed" =>
             return specialLimitNormalize(fcn,x)
-        whatInfinity(val := fval::OFE) ^= 0 =>
+        whatInfinity(val := fval::OFE) ~= 0 =>
             return specialLimitNormalize(fcn,x)
         (valu := retractIfCan(val)@Union(FE,"failed")) case "failed" =>
             return specialLimitNormalize(fcn,x)
@@ -163,11 +163,11 @@ PowerSeriesLimitPackage(R,FE): Exports == Implementation where
 
     specialLimitNormalize(fcn,x) == -- tries to normalize result first
       nfcn := normalize(fcn)
-      fcn ^= nfcn => limitPlus(nfcn,x)
+      fcn ~= nfcn => limitPlus(nfcn,x)
       xkers := [k for k in tower fcn | member?(x,variables(k::FE))]
-      # xkers ^= 2 => "failed"
+      # xkers ~= 2 => "failed"
       expKers := [k for k in xkers | is?(k, "exp" :: Symbol)]
-      # expKers ^= 1 => "failed"
+      # expKers ~= 1 => "failed"
     -- fcn is a rational function of x and exp(g(x)) for some rational function g
       expKer := first expKers
       (fval := limitPlus(expKer::FE,x)) case "failed" => "failed"
@@ -188,7 +188,7 @@ PowerSeriesLimitPackage(R,FE): Exports == Implementation where
     specialLimit1(fcn,x) ==
       -- find the first interesting kernel in tower(fcn)
       xkers := [k for k in kernels fcn | member?(x,variables(k::FE))]
-      #xkers ^= 1 => "failed"
+      #xkers ~= 1 => "failed"
       ker := first xkers
       vv := new()$SY; eq : EQ FE := equation(ker :: FE,vv :: FE)
       cc := eval(fcn,eq)
@@ -631,7 +631,7 @@ ElementaryFunctionSign(R,F): Exports == Implementation where
       n * plusInfinity()$ORF
 
     ofesign a ==
-      (n := whatInfinity a) ^= 0 => convert(n)@Z
+      (n := whatInfinity a) ~= 0 => convert(n)@Z
       sign(retract(a)@F)
 
     insign(f, x, a, m) ==
@@ -641,7 +641,7 @@ ElementaryFunctionSign(R,F): Exports == Implementation where
       eq : Equation OFE := equation(x :: F :: OFE,a)
       (u := limit(f,eq)) case "failed" => "failed"
       u case OFE =>
-        (n := whatInfinity(u::OFE)) ^= 0 => convert(n)@Z
+        (n := whatInfinity(u::OFE)) ~= 0 => convert(n)@Z
         (v := retract(u::OFE)@F) = 0 =>
           (s := insign(differentiate(f, x), x, a, m + 1)) case "failed"
                                                              => "failed"
@@ -663,7 +663,7 @@ ElementaryFunctionSign(R,F): Exports == Implementation where
       eq : Equation F := equation(x :: F,a)
       (u := limit(f,eq,st)) case "failed" => "failed"
       u case OFE =>
-        (n := whatInfinity(u::OFE)) ^= 0 => convert(n)@Z
+        (n := whatInfinity(u::OFE)) ~= 0 => convert(n)@Z
         (v := retract(u::OFE)@F) = 0 =>
           (s := psign(differentiate(f,x),x,a,st,m + 1)) case "failed"=>
             "failed"
-- 
cgit v1.2.3