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/algcat.spad.pamphlet | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/algebra/algcat.spad.pamphlet b/src/algebra/algcat.spad.pamphlet
index 5c028319..f2131d58 100644
--- a/src/algebra/algcat.spad.pamphlet
+++ b/src/algebra/algcat.spad.pamphlet
@@ -135,7 +135,7 @@ FramedAlgebra(R:CommutativeRing, UP:UnivariatePolynomialCategory R):
         ++ map defined by left multiplication by \spad{a} with respect
         ++ to the fixed basis.
     --attributes
-      --separable <=> discriminant() ^= 0
+      --separable <=> discriminant() ~= 0
   add
    convert(x:%):Vector(R)  == coordinates(x)
    convert(v:Vector R):%   == represents(v)
-- 
cgit v1.2.3