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

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

diff --git a/src/algebra/strap/UPOLYC.lsp b/src/algebra/strap/UPOLYC.lsp
index 895e13e4..358e514f 100644
--- a/src/algebra/strap/UPOLYC.lsp
+++ b/src/algebra/strap/UPOLYC.lsp
@@ -5,8 +5,8 @@
 
 (DEFPARAMETER |UnivariatePolynomialCategory;AL| 'NIL) 
 
-(DEFUN |UnivariatePolynomialCategory| (#0=#:G1424)
-  (LET (#1=#:G1425)
+(DEFUN |UnivariatePolynomialCategory| (#0=#:G1433)
+  (LET (#1=#:G1434)
     (COND
       ((SETQ #1#
              (|assoc| (|devaluate| #0#)
@@ -21,13 +21,13 @@
          #1#)))) 
 
 (DEFUN |UnivariatePolynomialCategory;| (|t#1|)
-  (PROG (#0=#:G1423)
+  (PROG (#0=#:G1432)
     (RETURN
       (PROG1 (LETT #0#
                    (|sublisV|
                        (PAIR '(|t#1|) (LIST (|devaluate| |t#1|)))
                        (|sublisV|
-                           (PAIR '(#1=#:G1421 #2=#:G1422)
+                           (PAIR '(#1=#:G1430 #2=#:G1431)
                                  (LIST '(|NonNegativeInteger|)
                                        '(|SingletonAsOrderedSet|)))
                            (COND
@@ -156,3 +156,10 @@
         (SETELT #0# 0
                 (LIST '|UnivariatePolynomialCategory|
                       (|devaluate| |t#1|))))))) 
+
+(SETQ |$CategoryFrame|
+      (|put| '|UnivariatePolynomialCategory| '|isCategory| T
+             (|addModemap| '|UnivariatePolynomialCategory|
+                 '(|UnivariatePolynomialCategory| |#1|)
+                 '((|Category|) (|Ring|)) T
+                 '|UnivariatePolynomialCategory| |$CategoryFrame|))) 
-- 
cgit v1.2.3