aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/catdef.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-06-17 02:24:30 +0000
committerdos-reis <gdr@axiomatics.org>2013-06-17 02:24:30 +0000
commit48f637f5c023da0b31ae7460cbb8f3b0eebdf197 (patch)
treeb64892f17aab460ef0abed04b3acc92852228796 /src/algebra/catdef.spad.pamphlet
parent8843d71fb48c45e776a9a71ec3a5dd9bc46f2064 (diff)
downloadopen-axiom-48f637f5c023da0b31ae7460cbb8f3b0eebdf197.tar.gz
More algebra dependencies.
Diffstat (limited to 'src/algebra/catdef.spad.pamphlet')
-rw-r--r--src/algebra/catdef.spad.pamphlet1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet
index f8c394ee..2711ff4e 100644
--- a/src/algebra/catdef.spad.pamphlet
+++ b/src/algebra/catdef.spad.pamphlet
@@ -1231,7 +1231,6 @@ Group(): Category == Monoid with
++ canonicalsClosed\tab{20}the product of two canonicals is itself canonical
IntegralDomain(): Category ==
--- Join(CommutativeRing, Algebra(%:CommutativeRing), EntireRing) with
Join(CommutativeRing, Algebra(%), EntireRing) with
--operations
exquo: (%,%) -> Union(%,"failed")