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/ULSCAT.lsp | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

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

diff --git a/src/algebra/strap/ULSCAT.lsp b/src/algebra/strap/ULSCAT.lsp
index 94ef7e99..5992b652 100644
--- a/src/algebra/strap/ULSCAT.lsp
+++ b/src/algebra/strap/ULSCAT.lsp
@@ -5,8 +5,8 @@
 
 (DEFPARAMETER |UnivariateLaurentSeriesCategory;AL| 'NIL) 
 
-(DEFUN |UnivariateLaurentSeriesCategory| (#0=#:G1388)
-  (LET (#1=#:G1389)
+(DEFUN |UnivariateLaurentSeriesCategory| (#0=#:G1397)
+  (LET (#1=#:G1398)
     (COND
       ((SETQ #1#
              (|assoc| (|devaluate| #0#)
@@ -21,13 +21,13 @@
          #1#)))) 
 
 (DEFUN |UnivariateLaurentSeriesCategory;| (|t#1|)
-  (PROG (#0=#:G1387)
+  (PROG (#0=#:G1396)
     (RETURN
       (PROG1 (LETT #0#
                    (|sublisV|
                        (PAIR '(|t#1|) (LIST (|devaluate| |t#1|)))
                        (|sublisV|
-                           (PAIR '(#1=#:G1386) (LIST '(|Integer|)))
+                           (PAIR '(#1=#:G1395) (LIST '(|Integer|)))
                            (COND
                              (|UnivariateLaurentSeriesCategory;CAT|)
                              ('T
@@ -111,3 +111,10 @@
         (SETELT #0# 0
                 (LIST '|UnivariateLaurentSeriesCategory|
                       (|devaluate| |t#1|))))))) 
+
+(SETQ |$CategoryFrame|
+      (|put| '|UnivariateLaurentSeriesCategory| '|isCategory| T
+             (|addModemap| '|UnivariateLaurentSeriesCategory|
+                 '(|UnivariateLaurentSeriesCategory| |#1|)
+                 '((|Category|) (|Ring|)) T
+                 '|UnivariateLaurentSeriesCategory| |$CategoryFrame|))) 
-- 
cgit v1.2.3