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

(limited to 'src/algebra/strap/LSAGG-.lsp')

diff --git a/src/algebra/strap/LSAGG-.lsp b/src/algebra/strap/LSAGG-.lsp
index 4823fd5b..504a9575 100644
--- a/src/algebra/strap/LSAGG-.lsp
+++ b/src/algebra/strap/LSAGG-.lsp
@@ -959,195 +959,3 @@
                                   31 38 3 0 0 0 0 31 60 1 0 0 0 58 2 0
                                   10 0 0 66)))))
           '|lookupComplete|)) 
-
-(SETQ |$CategoryFrame|
-      (|put| '|ListAggregate&| '|isFunctor|
-             '(((|list| ($ |#2|)) T (ELT $ 15))
-               ((|delete!| ($ $ (|Integer|))) T (ELT $ 38))
-               ((|delete!| ($ $ (|UniversalSegment| (|Integer|)))) T
-                (ELT $ 44))
-               ((|remove!| ($ (|Mapping| (|Boolean|) |#2|) $)) T
-                (ELT $ 37))
-               ((|insert!| ($ |#2| $ (|Integer|))) T (ELT $ 34))
-               ((|insert!| ($ $ $ (|Integer|))) T (ELT $ 36))
-               ((|merge!| ($ (|Mapping| (|Boolean|) |#2| |#2|) $ $)) T
-                (ELT $ 30))
-               ((|select!| ($ (|Mapping| (|Boolean|) |#2|) $)) T
-                (ELT $ 28))
-               ((|remove!| ($ |#2| $)) T (ELT $ NIL))
-               ((|removeDuplicates!| ($ $)) T (ELT $ 64))
-               ((|merge!| ($ $ $)) T (ELT $ NIL))
-               ((|merge| ($ (|Mapping| (|Boolean|) |#2| |#2|) $ $)) T
-                (ELT $ 24))
-               ((|sorted?|
-                    ((|Boolean|) (|Mapping| (|Boolean|) |#2| |#2|) $))
-                T (ELT $ 50))
-               ((|position|
-                    ((|Integer|) (|Mapping| (|Boolean|) |#2|) $))
-                T (ELT $ 47))
-               ((|position| ((|Integer|) |#2| $)) T (ELT $ NIL))
-               ((|position| ((|Integer|) |#2| $ (|Integer|))) T
-                (ELT $ 61))
-               ((|merge| ($ $ $)) T (ELT $ NIL))
-               ((|sorted?| ((|Boolean|) $)) T (ELT $ NIL))
-               ((|copyInto!| ($ $ $ (|Integer|))) T (ELT $ 60))
-               ((|reverse!| ($ $)) T (ELT $ 56))
-               ((|sort!| ($ (|Mapping| (|Boolean|) |#2| |#2|) $)) T
-                (ELT $ 12))
-               ((|sort!| ($ $)) T (ELT $ NIL))
-               ((< ((|Boolean|) $ $)) T (ELT $ 66))
-               ((|reduce|
-                    (|#2| (|Mapping| |#2| |#2| |#2|) $ |#2| |#2|))
-                T (ELT $ 53))
-               ((|reduce| (|#2| (|Mapping| |#2| |#2| |#2|) $ |#2|)) T
-                (ELT $ 51))
-               ((|reduce| (|#2| (|Mapping| |#2| |#2| |#2|) $)) T
-                (ELT $ 21))
-               ((|find| ((|Union| |#2| "failed")
-                         (|Mapping| (|Boolean|) |#2|) $))
-                T (ELT $ 46))
-               ((|new| ($ (|NonNegativeInteger|) |#2|)) T (ELT $ 54))
-               ((|map| ($ (|Mapping| |#2| |#2| |#2|) $ $)) T
-                (ELT $ 55))
-               ((|map| ($ (|Mapping| |#2| |#2|) $)) T (ELT $ NIL))
-               ((|copy| ($ $)) T (ELT $ 58)))
-             (|addModemap| '|ListAggregate&|
-                 '(|ListAggregate&| |#1| |#2|)
-                 '((CATEGORY |domain| (SIGNATURE |list| (|#1| |#2|))
-                       (SIGNATURE |delete!| (|#1| |#1| (|Integer|)))
-                       (SIGNATURE |delete!|
-                           (|#1| |#1| (|UniversalSegment| (|Integer|))))
-                       (SIGNATURE |remove!|
-                           (|#1| (|Mapping| (|Boolean|) |#2|) |#1|))
-                       (SIGNATURE |insert!|
-                           (|#1| |#2| |#1| (|Integer|)))
-                       (SIGNATURE |insert!|
-                           (|#1| |#1| |#1| (|Integer|)))
-                       (SIGNATURE |merge!|
-                           (|#1| (|Mapping| (|Boolean|) |#2| |#2|) |#1|
-                                 |#1|))
-                       (SIGNATURE |select!|
-                           (|#1| (|Mapping| (|Boolean|) |#2|) |#1|))
-                       (SIGNATURE |remove!| (|#1| |#2| |#1|))
-                       (SIGNATURE |removeDuplicates!| (|#1| |#1|))
-                       (SIGNATURE |merge!| (|#1| |#1| |#1|))
-                       (SIGNATURE |merge|
-                           (|#1| (|Mapping| (|Boolean|) |#2| |#2|) |#1|
-                                 |#1|))
-                       (SIGNATURE |sorted?|
-                           ((|Boolean|)
-                            (|Mapping| (|Boolean|) |#2| |#2|) |#1|))
-                       (SIGNATURE |position|
-                           ((|Integer|) (|Mapping| (|Boolean|) |#2|)
-                            |#1|))
-                       (SIGNATURE |position| ((|Integer|) |#2| |#1|))
-                       (SIGNATURE |position|
-                           ((|Integer|) |#2| |#1| (|Integer|)))
-                       (SIGNATURE |merge| (|#1| |#1| |#1|))
-                       (SIGNATURE |sorted?| ((|Boolean|) |#1|))
-                       (SIGNATURE |copyInto!|
-                           (|#1| |#1| |#1| (|Integer|)))
-                       (SIGNATURE |reverse!| (|#1| |#1|))
-                       (SIGNATURE |sort!|
-                           (|#1| (|Mapping| (|Boolean|) |#2| |#2|)
-                                 |#1|))
-                       (SIGNATURE |sort!| (|#1| |#1|))
-                       (SIGNATURE < ((|Boolean|) |#1| |#1|))
-                       (SIGNATURE |reduce|
-                           (|#2| (|Mapping| |#2| |#2| |#2|) |#1| |#2|
-                                 |#2|))
-                       (SIGNATURE |reduce|
-                           (|#2| (|Mapping| |#2| |#2| |#2|) |#1| |#2|))
-                       (SIGNATURE |reduce|
-                           (|#2| (|Mapping| |#2| |#2| |#2|) |#1|))
-                       (SIGNATURE |find|
-                           ((|Union| |#2| "failed")
-                            (|Mapping| (|Boolean|) |#2|) |#1|))
-                       (SIGNATURE |new|
-                           (|#1| (|NonNegativeInteger|) |#2|))
-                       (SIGNATURE |map|
-                           (|#1| (|Mapping| |#2| |#2| |#2|) |#1| |#1|))
-                       (SIGNATURE |map|
-                           (|#1| (|Mapping| |#2| |#2|) |#1|))
-                       (SIGNATURE |copy| (|#1| |#1|)))
-                   (|ListAggregate| |#2|) (|Type|))
-                 T '|ListAggregate&|
-                 (|put| '|ListAggregate&| '|mode|
-                        '(|Mapping|
-                             (CATEGORY |domain|
-                                 (SIGNATURE |list| (|#1| |#2|))
-                                 (SIGNATURE |delete!|
-                                     (|#1| |#1| (|Integer|)))
-                                 (SIGNATURE |delete!|
-                                     (|#1| |#1|
-                                      (|UniversalSegment| (|Integer|))))
-                                 (SIGNATURE |remove!|
-                                     (|#1| (|Mapping| (|Boolean|) |#2|)
-                                      |#1|))
-                                 (SIGNATURE |insert!|
-                                     (|#1| |#2| |#1| (|Integer|)))
-                                 (SIGNATURE |insert!|
-                                     (|#1| |#1| |#1| (|Integer|)))
-                                 (SIGNATURE |merge!|
-                                     (|#1|
-                                      (|Mapping| (|Boolean|) |#2| |#2|)
-                                      |#1| |#1|))
-                                 (SIGNATURE |select!|
-                                     (|#1| (|Mapping| (|Boolean|) |#2|)
-                                      |#1|))
-                                 (SIGNATURE |remove!| (|#1| |#2| |#1|))
-                                 (SIGNATURE |removeDuplicates!|
-                                     (|#1| |#1|))
-                                 (SIGNATURE |merge!| (|#1| |#1| |#1|))
-                                 (SIGNATURE |merge|
-                                     (|#1|
-                                      (|Mapping| (|Boolean|) |#2| |#2|)
-                                      |#1| |#1|))
-                                 (SIGNATURE |sorted?|
-                                     ((|Boolean|)
-                                      (|Mapping| (|Boolean|) |#2| |#2|)
-                                      |#1|))
-                                 (SIGNATURE |position|
-                                     ((|Integer|)
-                                      (|Mapping| (|Boolean|) |#2|)
-                                      |#1|))
-                                 (SIGNATURE |position|
-                                     ((|Integer|) |#2| |#1|))
-                                 (SIGNATURE |position|
-                                     ((|Integer|) |#2| |#1|
-                                      (|Integer|)))
-                                 (SIGNATURE |merge| (|#1| |#1| |#1|))
-                                 (SIGNATURE |sorted?|
-                                     ((|Boolean|) |#1|))
-                                 (SIGNATURE |copyInto!|
-                                     (|#1| |#1| |#1| (|Integer|)))
-                                 (SIGNATURE |reverse!| (|#1| |#1|))
-                                 (SIGNATURE |sort!|
-                                     (|#1|
-                                      (|Mapping| (|Boolean|) |#2| |#2|)
-                                      |#1|))
-                                 (SIGNATURE |sort!| (|#1| |#1|))
-                                 (SIGNATURE < ((|Boolean|) |#1| |#1|))
-                                 (SIGNATURE |reduce|
-                                     (|#2| (|Mapping| |#2| |#2| |#2|)
-                                      |#1| |#2| |#2|))
-                                 (SIGNATURE |reduce|
-                                     (|#2| (|Mapping| |#2| |#2| |#2|)
-                                      |#1| |#2|))
-                                 (SIGNATURE |reduce|
-                                     (|#2| (|Mapping| |#2| |#2| |#2|)
-                                      |#1|))
-                                 (SIGNATURE |find|
-                                     ((|Union| |#2| "failed")
-                                      (|Mapping| (|Boolean|) |#2|)
-                                      |#1|))
-                                 (SIGNATURE |new|
-                                     (|#1| (|NonNegativeInteger|) |#2|))
-                                 (SIGNATURE |map|
-                                     (|#1| (|Mapping| |#2| |#2| |#2|)
-                                      |#1| |#1|))
-                                 (SIGNATURE |map|
-                                     (|#1| (|Mapping| |#2| |#2|) |#1|))
-                                 (SIGNATURE |copy| (|#1| |#1|)))
-                             (|ListAggregate| |#2|) (|Type|))
-                        |$CategoryFrame|)))) 
-- 
cgit v1.2.3