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/REF.lsp | 48 -----------------------------------------------
 1 file changed, 48 deletions(-)

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

diff --git a/src/algebra/strap/REF.lsp b/src/algebra/strap/REF.lsp
index 30394145..0142338b 100644
--- a/src/algebra/strap/REF.lsp
+++ b/src/algebra/strap/REF.lsp
@@ -109,51 +109,3 @@
                                   1 1 22 0 1 1 0 6 0 11 1 0 6 0 13 1 1
                                   16 0 21 2 0 8 0 0 9)))))
           '|lookupComplete|)) 
-
-(SETQ |$CategoryFrame|
-      (|put| '|Reference| '|isFunctor|
-             '(((~= ((|Boolean|) $ $)) (|has| |#1| (|SetCategory|))
-                (ELT $ NIL))
-               ((|coerce| ((|OutputForm|) $))
-                (|has| |#1| (|SetCategory|)) (ELT $ 21))
-               ((|hash| ((|SingleInteger|) $))
-                (|has| |#1| (|SetCategory|)) (ELT $ NIL))
-               ((|latex| ((|String|) $)) (|has| |#1| (|SetCategory|))
-                (ELT $ NIL))
-               ((= ((|Boolean|) $ $)) T (ELT $ 9))
-               ((|setref| (|#1| $ |#1|)) T (ELT $ 14))
-               ((|deref| (|#1| $)) T (ELT $ 13))
-               ((|setelt| (|#1| $ |#1|)) T (ELT $ 12))
-               ((|elt| (|#1| $)) T (ELT $ 11))
-               ((|ref| ($ |#1|)) T (ELT $ 10)))
-             (|addModemap| '|Reference| '(|Reference| |#1|)
-                 '((|Join| (|Type|)
-                           (CATEGORY |domain|
-                               (SIGNATURE |ref| ($ |#1|))
-                               (SIGNATURE |elt| (|#1| $))
-                               (SIGNATURE |setelt| (|#1| $ |#1|))
-                               (SIGNATURE |deref| (|#1| $))
-                               (SIGNATURE |setref| (|#1| $ |#1|))
-                               (SIGNATURE = ((|Boolean|) $ $))
-                               (IF (|has| |#1| (|SetCategory|))
-                                   (ATTRIBUTE (|SetCategory|))
-                                   |%noBranch|)))
-                   (|Type|))
-                 T '|Reference|
-                 (|put| '|Reference| '|mode|
-                        '(|Mapping|
-                             (|Join| (|Type|)
-                                     (CATEGORY |domain|
-                                      (SIGNATURE |ref| ($ |#1|))
-                                      (SIGNATURE |elt| (|#1| $))
-                                      (SIGNATURE |setelt|
-                                       (|#1| $ |#1|))
-                                      (SIGNATURE |deref| (|#1| $))
-                                      (SIGNATURE |setref|
-                                       (|#1| $ |#1|))
-                                      (SIGNATURE = ((|Boolean|) $ $))
-                                      (IF (|has| |#1| (|SetCategory|))
-                                       (ATTRIBUTE (|SetCategory|))
-                                       |%noBranch|)))
-                             (|Type|))
-                        |$CategoryFrame|)))) 
-- 
cgit v1.2.3