diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-03-08 02:09:24 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-03-08 02:09:24 +0000 |
| commit | b96103f871a1bc514bd9b2ab99fb83fd9e3078f6 (patch) | |
| tree | e81599924a7c833392a4acda0570fb210d00e27d /src/algebra/catdef.spad.pamphlet | |
| parent | b3fafae3f1a4e90138bf0991c71499cfb05e3a1b (diff) | |
| download | open-axiom-b96103f871a1bc514bd9b2ab99fb83fd9e3078f6.tar.gz | |
Fix dependency for bootstrap
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 d5992ab2..f4447776 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -683,7 +683,6 @@ DivisionRing(): Category == ++ Axioms: ++ \spad{ab=0 => a=0 or b=0} -- known as noZeroDivisors ++ \spad{not(1=0)} ---EntireRing():Category == Join(Ring,BiModule(%:Ring,%:Ring)) with EntireRing():Category == Join(Ring,BiModule(%,%)) with noZeroDivisors ++ if a product is zero then one of the factors ++ must be zero. |