diff options
author | dos-reis <gdr@axiomatics.org> | 2013-06-17 02:24:30 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-06-17 02:24:30 +0000 |
commit | 48f637f5c023da0b31ae7460cbb8f3b0eebdf197 (patch) | |
tree | b64892f17aab460ef0abed04b3acc92852228796 /src/algebra/catdef.spad.pamphlet | |
parent | 8843d71fb48c45e776a9a71ec3a5dd9bc46f2064 (diff) | |
download | open-axiom-48f637f5c023da0b31ae7460cbb8f3b0eebdf197.tar.gz |
More algebra dependencies.
Diffstat (limited to 'src/algebra/catdef.spad.pamphlet')
-rw-r--r-- | src/algebra/catdef.spad.pamphlet | 1 |
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") |