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/QFCAT.lsp | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

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

diff --git a/src/algebra/strap/QFCAT.lsp b/src/algebra/strap/QFCAT.lsp
index babf745e..2ba4a22d 100644
--- a/src/algebra/strap/QFCAT.lsp
+++ b/src/algebra/strap/QFCAT.lsp
@@ -5,8 +5,8 @@
 
 (DEFPARAMETER |QuotientFieldCategory;AL| 'NIL) 
 
-(DEFUN |QuotientFieldCategory| (#0=#:G1388)
-  (LET (#1=#:G1389)
+(DEFUN |QuotientFieldCategory| (#0=#:G1397)
+  (LET (#1=#:G1398)
     (COND
       ((SETQ #1#
              (|assoc| (|devaluate| #0#) |QuotientFieldCategory;AL|))
@@ -18,7 +18,7 @@
          #1#)))) 
 
 (DEFUN |QuotientFieldCategory;| (|t#1|)
-  (PROG (#0=#:G1387)
+  (PROG (#0=#:G1396)
     (RETURN
       (PROG1 (LETT #0#
                    (|sublisV|
@@ -103,3 +103,10 @@
                                 . #1=(|QuotientFieldCategory|))))) . #1#)
         (SETELT #0# 0
                 (LIST '|QuotientFieldCategory| (|devaluate| |t#1|))))))) 
+
+(SETQ |$CategoryFrame|
+      (|put| '|QuotientFieldCategory| '|isCategory| T
+             (|addModemap| '|QuotientFieldCategory|
+                 '(|QuotientFieldCategory| |#1|)
+                 '((|Category|) (|IntegralDomain|)) T
+                 '|QuotientFieldCategory| |$CategoryFrame|))) 
-- 
cgit v1.2.3