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

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

diff --git a/src/algebra/strap/ULSCAT.lsp b/src/algebra/strap/ULSCAT.lsp
index e87c6157..c3b72800 100644
--- a/src/algebra/strap/ULSCAT.lsp
+++ b/src/algebra/strap/ULSCAT.lsp
@@ -93,9 +93,9 @@
                                           (|:| |c| |t#1|))))
                                       NIL))
                                     . #2=(|UnivariateLaurentSeriesCategory|)))))) . #2#)
-        (SETELT #0# 0
-                (LIST '|UnivariateLaurentSeriesCategory|
-                      (|devaluate| |t#1|))))))) 
+        (|setShellEntry| #0# 0
+            (LIST '|UnivariateLaurentSeriesCategory|
+                  (|devaluate| |t#1|))))))) 
 
 (DEFUN |UnivariateLaurentSeriesCategory| (#0=#:G1400)
   (LET (#1=#:G1401)
@@ -111,10 +111,3 @@
                                      #0#)))
                         |UnivariateLaurentSeriesCategory;AL|))
          #1#)))) 
-
-(SETQ |$CategoryFrame|
-      (|put| '|UnivariateLaurentSeriesCategory| '|isCategory| T
-             (|addModemap| '|UnivariateLaurentSeriesCategory|
-                 '(|UnivariateLaurentSeriesCategory| |#1|)
-                 '((|Category|) (|Ring|)) T
-                 '|UnivariateLaurentSeriesCategory| |$CategoryFrame|))) 
-- 
cgit v1.2.3