diff options
author | dos-reis <gdr@axiomatics.org> | 2008-11-21 04:57:20 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-11-21 04:57:20 +0000 |
commit | 451422777355655abc12203831db9d067762fb06 (patch) | |
tree | 47f698f25940b9f001636583179e302e939b33e4 /src/algebra/strap/RING.lsp | |
parent | 49727ef97a25730307fdb9622be726e92a41a875 (diff) | |
download | open-axiom-451422777355655abc12203831db9d067762fb06.tar.gz |
Update cached algebra lisp translation
Diffstat (limited to 'src/algebra/strap/RING.lsp')
-rw-r--r-- | src/algebra/strap/RING.lsp | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/algebra/strap/RING.lsp b/src/algebra/strap/RING.lsp index 7b61ea0f..cf341577 100644 --- a/src/algebra/strap/RING.lsp +++ b/src/algebra/strap/RING.lsp @@ -4,18 +4,18 @@ (DEFPARAMETER |Ring;AL| 'NIL) (DEFUN |Ring;| () - (PROG (#0=#:G1397) + (PROG (#0=#:G1398) (RETURN (PROG1 (LETT #0# - (|Join| (|Rng|) (|Monoid|) (|LeftModule| '$) - (|mkCategory| '|domain| - '(((|characteristic| - ((|NonNegativeInteger|))) - T) - ((|coerce| ($ (|Integer|))) T)) - '((|unitsKnown| T)) - '((|Integer|) (|NonNegativeInteger|)) - NIL)) + (|sublisV| (PAIR '(#1=#:G1397) (LIST '(|Integer|))) + (|Join| (|Rng|) (|Monoid|) (|LeftModule| '$) + (|CoercibleFrom| '#1#) + (|mkCategory| '|package| + '(((|characteristic| + ((|NonNegativeInteger|))) + T)) + '((|unitsKnown| T)) + '((|NonNegativeInteger|)) NIL))) |Ring|) (|setShellEntry| #0# 0 '(|Ring|)))))) |