From 48f637f5c023da0b31ae7460cbb8f3b0eebdf197 Mon Sep 17 00:00:00 2001 From: dos-reis <gdr@axiomatics.org> Date: Mon, 17 Jun 2013 02:24:30 +0000 Subject: More algebra dependencies. --- src/algebra/catdef.spad.pamphlet | 1 - 1 file changed, 1 deletion(-) (limited to 'src/algebra/catdef.spad.pamphlet') 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") -- cgit v1.2.3