From 451422777355655abc12203831db9d067762fb06 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 21 Nov 2008 04:57:20 +0000
Subject: Update cached algebra lisp translation

---
 src/algebra/strap/RING.lsp | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

(limited to 'src/algebra/strap/RING.lsp')

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|)))))) 
 
-- 
cgit v1.2.3