aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-02-19 17:14:40 +0000
committerdos-reis <gdr@axiomatics.org>2009-02-19 17:14:40 +0000
commitd5a7308fdca3f00c9e9825e1171e9b6fe6ec2273 (patch)
treedae09eaaedc157b9920bc201b4d8ce56c712578f /src
parent572dd7d1d534f556f664634e61d1fec58bf7b4a3 (diff)
downloadopen-axiom-d5a7308fdca3f00c9e9825e1171e9b6fe6ec2273.tar.gz
Update bootstrap algebra
Diffstat (limited to 'src')
-rw-r--r--src/algebra/strap/RING.lsp3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/algebra/strap/RING.lsp b/src/algebra/strap/RING.lsp
index 4aec92ab..e661083d 100644
--- a/src/algebra/strap/RING.lsp
+++ b/src/algebra/strap/RING.lsp
@@ -12,7 +12,8 @@
(|CoercibleFrom| '#1#)
(|mkCategory| '|package|
'(((|characteristic|
- ((|NonNegativeInteger|)))
+ ((|NonNegativeInteger|))
+ |constant|)
T))
'((|unitsKnown| T))
'((|NonNegativeInteger|)) NIL)))