aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/algcat.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/algcat.spad.pamphlet')
-rw-r--r--src/algebra/algcat.spad.pamphlet2
1 files changed, 1 insertions, 1 deletions
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)