From 5e504b6abaef6cf7e7c58c17e26bec33856b60c0 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 17 Aug 2008 08:59:26 +0000
Subject: 	* algebra/Makefile.pamphlet (all-algstrap): New. 	*
 algebra/strap: Update cached Lisp translation.

---
 src/algebra/strap/PSETCAT.lsp | 17 +++++++++++++----
 1 file changed, 13 insertions(+), 4 deletions(-)

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

diff --git a/src/algebra/strap/PSETCAT.lsp b/src/algebra/strap/PSETCAT.lsp
index e4a1f465..ee7ff2fe 100644
--- a/src/algebra/strap/PSETCAT.lsp
+++ b/src/algebra/strap/PSETCAT.lsp
@@ -5,9 +5,9 @@
 
 (DEFPARAMETER |PolynomialSetCategory;AL| 'NIL) 
 
-(DEFUN |PolynomialSetCategory| (&REST #0=#:G1422 &AUX #1=#:G1420)
+(DEFUN |PolynomialSetCategory| (&REST #0=#:G1431 &AUX #1=#:G1429)
   (DSETQ #1# #0#)
-  (LET (#2=#:G1421)
+  (LET (#2=#:G1430)
     (COND
       ((SETQ #2#
              (|assoc| (|devaluateList| #1#) |PolynomialSetCategory;AL|))
@@ -21,7 +21,7 @@
          #2#)))) 
 
 (DEFUN |PolynomialSetCategory;| (|t#1| |t#2| |t#3| |t#4|)
-  (PROG (#0=#:G1419)
+  (PROG (#0=#:G1428)
     (RETURN
       (PROG1 (LETT #0#
                    (|sublisV|
@@ -31,7 +31,7 @@
                                    (|devaluate| |t#3|)
                                    (|devaluate| |t#4|)))
                        (|sublisV|
-                           (PAIR '(#1=#:G1418) (LIST '(|List| |t#4|)))
+                           (PAIR '(#1=#:G1427) (LIST '(|List| |t#4|)))
                            (COND
                              (|PolynomialSetCategory;CAT|)
                              ('T
@@ -121,3 +121,12 @@
                 (LIST '|PolynomialSetCategory| (|devaluate| |t#1|)
                       (|devaluate| |t#2|) (|devaluate| |t#3|)
                       (|devaluate| |t#4|))))))) 
+
+(SETQ |$CategoryFrame|
+      (|put| '|PolynomialSetCategory| '|isCategory| T
+             (|addModemap| '|PolynomialSetCategory|
+                 '(|PolynomialSetCategory| |#1| |#2| |#3| |#4|)
+                 '((|Category|) (|Ring|) (|OrderedAbelianMonoidSup|)
+                   (|OrderedSet|)
+                   (|RecursivePolynomialCategory| |t#1| |t#2| |t#3|))
+                 T '|PolynomialSetCategory| |$CategoryFrame|))) 
-- 
cgit v1.2.3