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/UPOLYC.lsp | 12 ++----------
 1 file changed, 2 insertions(+), 10 deletions(-)

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

diff --git a/src/algebra/strap/UPOLYC.lsp b/src/algebra/strap/UPOLYC.lsp
index a84a5c3a..1a1726c7 100644
--- a/src/algebra/strap/UPOLYC.lsp
+++ b/src/algebra/strap/UPOLYC.lsp
@@ -138,9 +138,8 @@
                                         (|Vector| |t#1|))
                                       NIL))
                                     . #3=(|UnivariatePolynomialCategory|)))))) . #3#)
-        (SETELT #0# 0
-                (LIST '|UnivariatePolynomialCategory|
-                      (|devaluate| |t#1|))))))) 
+        (|setShellEntry| #0# 0
+            (LIST '|UnivariatePolynomialCategory| (|devaluate| |t#1|))))))) 
 
 (DEFUN |UnivariatePolynomialCategory| (#0=#:G1436)
   (LET (#1=#:G1437)
@@ -156,10 +155,3 @@
                                      #0#)))
                         |UnivariatePolynomialCategory;AL|))
          #1#)))) 
-
-(SETQ |$CategoryFrame|
-      (|put| '|UnivariatePolynomialCategory| '|isCategory| T
-             (|addModemap| '|UnivariatePolynomialCategory|
-                 '(|UnivariatePolynomialCategory| |#1|)
-                 '((|Category|) (|Ring|)) T
-                 '|UnivariatePolynomialCategory| |$CategoryFrame|))) 
-- 
cgit v1.2.3