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/TSETCAT.lsp | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

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

diff --git a/src/algebra/strap/TSETCAT.lsp b/src/algebra/strap/TSETCAT.lsp
index 8304c820..a99c4402 100644
--- a/src/algebra/strap/TSETCAT.lsp
+++ b/src/algebra/strap/TSETCAT.lsp
@@ -5,9 +5,9 @@
 
 (DEFPARAMETER |TriangularSetCategory;AL| 'NIL) 
 
-(DEFUN |TriangularSetCategory| (&REST #0=#:G1439 &AUX #1=#:G1437)
+(DEFUN |TriangularSetCategory| (&REST #0=#:G1448 &AUX #1=#:G1446)
   (DSETQ #1# #0#)
-  (LET (#2=#:G1438)
+  (LET (#2=#:G1447)
     (COND
       ((SETQ #2#
              (|assoc| (|devaluateList| #1#) |TriangularSetCategory;AL|))
@@ -21,7 +21,7 @@
          #2#)))) 
 
 (DEFUN |TriangularSetCategory;| (|t#1| |t#2| |t#3| |t#4|)
-  (PROG (#0=#:G1436)
+  (PROG (#0=#:G1445)
     (RETURN
       (PROG1 (LETT #0#
                    (|sublisV|
@@ -198,3 +198,12 @@
                 (LIST '|TriangularSetCategory| (|devaluate| |t#1|)
                       (|devaluate| |t#2|) (|devaluate| |t#3|)
                       (|devaluate| |t#4|))))))) 
+
+(SETQ |$CategoryFrame|
+      (|put| '|TriangularSetCategory| '|isCategory| T
+             (|addModemap| '|TriangularSetCategory|
+                 '(|TriangularSetCategory| |#1| |#2| |#3| |#4|)
+                 '((|Category|) (|IntegralDomain|)
+                   (|OrderedAbelianMonoidSup|) (|OrderedSet|)
+                   (|RecursivePolynomialCategory| |t#1| |t#2| |t#3|))
+                 T '|TriangularSetCategory| |$CategoryFrame|))) 
-- 
cgit v1.2.3