From 90dee68c255cd77c5e72fb78da8a02d07e3c1c49 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 20 Nov 2008 07:57:14 +0000
Subject: 	* algebra/coerce.spad.pamphlet (CoercibleFrom): New. 
 (ConvertibleFrom): Likewise. 	(RetractableTo): Use it. 	*
 algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include 	KRCFROM and
 KVTFROM. 	* share/algebra/: Update databases.

---
 src/algebra/strap/QFCAT.lsp | 11 ++---------
 1 file changed, 2 insertions(+), 9 deletions(-)

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

diff --git a/src/algebra/strap/QFCAT.lsp b/src/algebra/strap/QFCAT.lsp
index be400de3..dd721698 100644
--- a/src/algebra/strap/QFCAT.lsp
+++ b/src/algebra/strap/QFCAT.lsp
@@ -89,8 +89,8 @@
                                              (|PolynomialFactorizationExplicit|))))
                                          'NIL NIL))
                                 . #1=(|QuotientFieldCategory|))))) . #1#)
-        (SETELT #0# 0
-                (LIST '|QuotientFieldCategory| (|devaluate| |t#1|))))))) 
+        (|setShellEntry| #0# 0
+            (LIST '|QuotientFieldCategory| (|devaluate| |t#1|))))))) 
 
 (DEFUN |QuotientFieldCategory| (#0=#:G1400)
   (LET (#1=#:G1401)
@@ -103,10 +103,3 @@
                               (SETQ #1# (|QuotientFieldCategory;| #0#)))
                         |QuotientFieldCategory;AL|))
          #1#)))) 
-
-(SETQ |$CategoryFrame|
-      (|put| '|QuotientFieldCategory| '|isCategory| T
-             (|addModemap| '|QuotientFieldCategory|
-                 '(|QuotientFieldCategory| |#1|)
-                 '((|Category|) (|IntegralDomain|)) T
-                 '|QuotientFieldCategory| |$CategoryFrame|))) 
-- 
cgit v1.2.3