From 5687e549faf2a00133c91dd21b48d876e0e2c449 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 11 Oct 2008 21:16:28 +0000
Subject: Update algebra bootstrap cache.

---
 src/algebra/strap/ULSCAT.lsp | 34 +++++++++++++++++-----------------
 1 file changed, 17 insertions(+), 17 deletions(-)

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

diff --git a/src/algebra/strap/ULSCAT.lsp b/src/algebra/strap/ULSCAT.lsp
index 5992b652..e87c6157 100644
--- a/src/algebra/strap/ULSCAT.lsp
+++ b/src/algebra/strap/ULSCAT.lsp
@@ -5,29 +5,14 @@
 
 (DEFPARAMETER |UnivariateLaurentSeriesCategory;AL| 'NIL) 
 
-(DEFUN |UnivariateLaurentSeriesCategory| (#0=#:G1397)
-  (LET (#1=#:G1398)
-    (COND
-      ((SETQ #1#
-             (|assoc| (|devaluate| #0#)
-                      |UnivariateLaurentSeriesCategory;AL|))
-       (CDR #1#))
-      (T (SETQ |UnivariateLaurentSeriesCategory;AL|
-               (|cons5| (CONS (|devaluate| #0#)
-                              (SETQ #1#
-                                    (|UnivariateLaurentSeriesCategory;|
-                                     #0#)))
-                        |UnivariateLaurentSeriesCategory;AL|))
-         #1#)))) 
-
 (DEFUN |UnivariateLaurentSeriesCategory;| (|t#1|)
-  (PROG (#0=#:G1396)
+  (PROG (#0=#:G1399)
     (RETURN
       (PROG1 (LETT #0#
                    (|sublisV|
                        (PAIR '(|t#1|) (LIST (|devaluate| |t#1|)))
                        (|sublisV|
-                           (PAIR '(#1=#:G1395) (LIST '(|Integer|)))
+                           (PAIR '(#1=#:G1398) (LIST '(|Integer|)))
                            (COND
                              (|UnivariateLaurentSeriesCategory;CAT|)
                              ('T
@@ -112,6 +97,21 @@
                 (LIST '|UnivariateLaurentSeriesCategory|
                       (|devaluate| |t#1|))))))) 
 
+(DEFUN |UnivariateLaurentSeriesCategory| (#0=#:G1400)
+  (LET (#1=#:G1401)
+    (COND
+      ((SETQ #1#
+             (|assoc| (|devaluate| #0#)
+                      |UnivariateLaurentSeriesCategory;AL|))
+       (CDR #1#))
+      (T (SETQ |UnivariateLaurentSeriesCategory;AL|
+               (|cons5| (CONS (|devaluate| #0#)
+                              (SETQ #1#
+                                    (|UnivariateLaurentSeriesCategory;|
+                                     #0#)))
+                        |UnivariateLaurentSeriesCategory;AL|))
+         #1#)))) 
+
 (SETQ |$CategoryFrame|
       (|put| '|UnivariateLaurentSeriesCategory| '|isCategory| T
              (|addModemap| '|UnivariateLaurentSeriesCategory|
-- 
cgit v1.2.3