diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-02-19 17:14:40 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-02-19 17:14:40 +0000 |
| commit | d5a7308fdca3f00c9e9825e1171e9b6fe6ec2273 (patch) | |
| tree | dae09eaaedc157b9920bc201b4d8ce56c712578f /src | |
| parent | 572dd7d1d534f556f664634e61d1fec58bf7b4a3 (diff) | |
| download | open-axiom-d5a7308fdca3f00c9e9825e1171e9b6fe6ec2273.tar.gz | |
Update bootstrap algebra
Diffstat (limited to 'src')
| -rw-r--r-- | src/algebra/strap/RING.lsp | 3 |
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))) |