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

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

diff --git a/src/algebra/strap/ISTRING.lsp b/src/algebra/strap/ISTRING.lsp
index 3dd2bb09..20b18b16 100644
--- a/src/algebra/strap/ISTRING.lsp
+++ b/src/algebra/strap/ISTRING.lsp
@@ -1041,258 +1041,3 @@
                                   14 2 5 11 0 0 1 2 5 11 0 0 15 1 0 7 0
                                   13)))))
           '|lookupComplete|)) 
-
-(SETQ |$CategoryFrame|
-      (|put| '|IndexedString| '|isFunctor|
-             '(((~= ((|Boolean|) $ $))
-                (|has| (|Character|) (|SetCategory|)) (ELT $ NIL))
-               ((= ((|Boolean|) $ $))
-                (|has| (|Character|) (|SetCategory|)) (ELT $ 14))
-               ((|coerce| ((|OutputForm|) $))
-                (|has| (|Character|) (|CoercibleTo| (|OutputForm|)))
-                (ELT $ 27))
-               ((|hash| ((|SingleInteger|) $))
-                (|has| (|Character|) (|SetCategory|)) (ELT $ NIL))
-               ((|latex| ((|String|) $))
-                (|has| (|Character|) (|SetCategory|)) (ELT $ 38))
-               ((|hash| ((|Integer|) $)) T (ELT $ 69))
-               ((|elt| ($ $ $)) T (ELT $ NIL))
-               ((|rightTrim| ($ $ (|CharacterClass|))) T (ELT $ 65))
-               ((|rightTrim| ($ $ (|Character|))) T (ELT $ 64))
-               ((|leftTrim| ($ $ (|CharacterClass|))) T (ELT $ 63))
-               ((|leftTrim| ($ $ (|Character|))) T (ELT $ 62))
-               ((|trim| ($ $ (|CharacterClass|))) T (ELT $ NIL))
-               ((|trim| ($ $ (|Character|))) T (ELT $ NIL))
-               ((|split| ((|List| $) $ (|CharacterClass|))) T
-                (ELT $ 61))
-               ((|split| ((|List| $) $ (|Character|))) T (ELT $ 60))
-               ((|coerce| ($ (|Character|))) T (ELT $ NIL))
-               ((|position|
-                    ((|Integer|) (|CharacterClass|) $ (|Integer|)))
-                T (ELT $ 50))
-               ((|position| ((|Integer|) $ $ (|Integer|))) T
-                (ELT $ 47))
-               ((|replace| ($ $ (|UniversalSegment| (|Integer|)) $)) T
-                (ELT $ 44))
-               ((|match?| ((|Boolean|) $ $ (|Character|))) T
-                (ELT $ 73))
-               ((|match| ((|NonNegativeInteger|) $ $ (|Character|))) T
-                (ELT $ 70))
-               ((|substring?| ((|Boolean|) $ $ (|Integer|))) T
-                (ELT $ 46))
-               ((|suffix?| ((|Boolean|) $ $)) T (ELT $ 51))
-               ((|prefix?| ((|Boolean|) $ $)) T (ELT $ 72))
-               ((|upperCase!| ($ $)) T (ELT $ 34))
-               ((|upperCase| ($ $)) T (ELT $ NIL))
-               ((|lowerCase!| ($ $)) T (ELT $ 37))
-               ((|lowerCase| ($ $)) T (ELT $ NIL))
-               ((< ((|Boolean|) $ $))
-                (|has| (|Character|) (|OrderedSet|)) (ELT $ 15))
-               ((> ((|Boolean|) $ $))
-                (|has| (|Character|) (|OrderedSet|)) (ELT $ NIL))
-               ((>= ((|Boolean|) $ $))
-                (|has| (|Character|) (|OrderedSet|)) (ELT $ NIL))
-               ((<= ((|Boolean|) $ $))
-                (|has| (|Character|) (|OrderedSet|)) (ELT $ NIL))
-               ((|max| ($ $ $)) (|has| (|Character|) (|OrderedSet|))
-                (ELT $ NIL))
-               ((|min| ($ $ $)) (|has| (|Character|) (|OrderedSet|))
-                (ELT $ NIL))
-               ((|sort!| ($ $))
-                (AND (|has| $ (ATTRIBUTE |shallowlyMutable|))
-                     (|has| (|Character|) (|OrderedSet|)))
-                (ELT $ NIL))
-               ((|sort!| ($ (|Mapping| (|Boolean|) (|Character|)
-                                (|Character|))
-                            $))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|reverse!| ($ $))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|copyInto!| ($ $ $ (|Integer|)))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ 66))
-               ((|sorted?| ((|Boolean|) $))
-                (|has| (|Character|) (|OrderedSet|)) (ELT $ NIL))
-               ((|sort| ($ $)) (|has| (|Character|) (|OrderedSet|))
-                (ELT $ NIL))
-               ((|merge| ($ $ $)) (|has| (|Character|) (|OrderedSet|))
-                (ELT $ NIL))
-               ((|position| ((|Integer|) (|Character|) $ (|Integer|)))
-                (|has| (|Character|) (|SetCategory|)) (ELT $ 48))
-               ((|position| ((|Integer|) (|Character|) $))
-                (|has| (|Character|) (|SetCategory|)) (ELT $ NIL))
-               ((|position|
-                    ((|Integer|) (|Mapping| (|Boolean|) (|Character|))
-                     $))
-                T (ELT $ NIL))
-               ((|sorted?|
-                    ((|Boolean|)
-                     (|Mapping| (|Boolean|) (|Character|)
-                         (|Character|))
-                     $))
-                T (ELT $ NIL))
-               ((|sort| ($ (|Mapping| (|Boolean|) (|Character|)
-                               (|Character|))
-                           $))
-                T (ELT $ NIL))
-               ((|reverse| ($ $)) T (ELT $ NIL))
-               ((|merge| ($ (|Mapping| (|Boolean|) (|Character|)
-                                (|Character|))
-                            $ $))
-                T (ELT $ NIL))
-               ((|setelt|
-                    ((|Character|) $ (|UniversalSegment| (|Integer|))
-                     (|Character|)))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|insert| ($ $ $ (|Integer|))) T (ELT $ 23))
-               ((|insert| ($ (|Character|) $ (|Integer|))) T
-                (ELT $ NIL))
-               ((|delete| ($ $ (|UniversalSegment| (|Integer|)))) T
-                (ELT $ NIL))
-               ((|delete| ($ $ (|Integer|))) T (ELT $ NIL))
-               ((|elt| ($ $ (|UniversalSegment| (|Integer|)))) T
-                (ELT $ 21))
-               ((|map| ($ (|Mapping| (|Character|) (|Character|)
-                              (|Character|))
-                          $ $))
-                T (ELT $ NIL))
-               ((|concat| ($ (|List| $))) T (ELT $ 67))
-               ((|concat| ($ $ $)) T (ELT $ 16))
-               ((|concat| ($ (|Character|) $)) T (ELT $ NIL))
-               ((|concat| ($ $ (|Character|))) T (ELT $ NIL))
-               ((|new| ($ (|NonNegativeInteger|) (|Character|))) T
-                (ELT $ 9))
-               ((|construct| ($ (|List| (|Character|)))) T (ELT $ NIL))
-               ((|find| ((|Union| (|Character|) "failed")
-                         (|Mapping| (|Boolean|) (|Character|)) $))
-                T (ELT $ NIL))
-               ((|reduce|
-                    ((|Character|)
-                     (|Mapping| (|Character|) (|Character|)
-                         (|Character|))
-                     $))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|reduce|
-                    ((|Character|)
-                     (|Mapping| (|Character|) (|Character|)
-                         (|Character|))
-                     $ (|Character|)))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|remove| ($ (|Mapping| (|Boolean|) (|Character|)) $))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|select| ($ (|Mapping| (|Boolean|) (|Character|)) $))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|reduce|
-                    ((|Character|)
-                     (|Mapping| (|Character|) (|Character|)
-                         (|Character|))
-                     $ (|Character|) (|Character|)))
-                (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
-                     (|has| (|Character|) (|SetCategory|)))
-                (ELT $ NIL))
-               ((|remove| ($ (|Character|) $))
-                (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
-                     (|has| (|Character|) (|SetCategory|)))
-                (ELT $ NIL))
-               ((|removeDuplicates| ($ $))
-                (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
-                     (|has| (|Character|) (|SetCategory|)))
-                (ELT $ NIL))
-               ((|convert| ((|InputForm|) $))
-                (|has| (|Character|) (|ConvertibleTo| (|InputForm|)))
-                (ELT $ NIL))
-               ((|swap!| ((|Void|) $ (|Integer|) (|Integer|)))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|fill!| ($ $ (|Character|)))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|first| ((|Character|) $))
-                (|has| (|Integer|) (|OrderedSet|)) (ELT $ NIL))
-               ((|minIndex| ((|Integer|) $))
-                (|has| (|Integer|) (|OrderedSet|)) (ELT $ 28))
-               ((|maxIndex| ((|Integer|) $))
-                (|has| (|Integer|) (|OrderedSet|)) (ELT $ 42))
-               ((|entry?| ((|Boolean|) (|Character|) $))
-                (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
-                     (|has| (|Character|) (|SetCategory|)))
-                (ELT $ NIL))
-               ((|indices| ((|List| (|Integer|)) $)) T (ELT $ NIL))
-               ((|index?| ((|Boolean|) (|Integer|) $)) T (ELT $ NIL))
-               ((|entries| ((|List| (|Character|)) $)) T (ELT $ NIL))
-               ((|elt| ((|Character|) $ (|Integer|))) T (ELT $ 52))
-               ((|elt| ((|Character|) $ (|Integer|) (|Character|))) T
-                (ELT $ NIL))
-               ((|qelt| ((|Character|) $ (|Integer|))) T (ELT $ NIL))
-               ((|setelt| ((|Character|) $ (|Integer|) (|Character|)))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ 45))
-               ((|qsetelt!|
-                    ((|Character|) $ (|Integer|) (|Character|)))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
-               ((|eval| ($ $ (|List| (|Character|))
-                           (|List| (|Character|))))
-                (AND (|has| (|Character|) (|Evalable| (|Character|)))
-                     (|has| (|Character|) (|SetCategory|)))
-                (ELT $ NIL))
-               ((|eval| ($ $ (|Character|) (|Character|)))
-                (AND (|has| (|Character|) (|Evalable| (|Character|)))
-                     (|has| (|Character|) (|SetCategory|)))
-                (ELT $ NIL))
-               ((|eval| ($ $ (|Equation| (|Character|))))
-                (AND (|has| (|Character|) (|Evalable| (|Character|)))
-                     (|has| (|Character|) (|SetCategory|)))
-                (ELT $ NIL))
-               ((|eval| ($ $ (|List| (|Equation| (|Character|)))))
-                (AND (|has| (|Character|) (|Evalable| (|Character|)))
-                     (|has| (|Character|) (|SetCategory|)))
-                (ELT $ NIL))
-               ((|member?| ((|Boolean|) (|Character|) $))
-                (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
-                     (|has| (|Character|) (|SetCategory|)))
-                (ELT $ NIL))
-               ((|count| ((|NonNegativeInteger|) (|Character|) $))
-                (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
-                     (|has| (|Character|) (|SetCategory|)))
-                (ELT $ NIL))
-               ((|members| ((|List| (|Character|)) $))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|parts| ((|List| (|Character|)) $))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|count| ((|NonNegativeInteger|)
-                          (|Mapping| (|Boolean|) (|Character|)) $))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|every?|
-                    ((|Boolean|) (|Mapping| (|Boolean|) (|Character|))
-                     $))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|any?| ((|Boolean|)
-                         (|Mapping| (|Boolean|) (|Character|)) $))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
-               ((|map!| ($ (|Mapping| (|Character|) (|Character|)) $))
-                (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ 33))
-               ((|map| ($ (|Mapping| (|Character|) (|Character|)) $)) T
-                (ELT $ NIL))
-               ((|#| ((|NonNegativeInteger|) $))
-                (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ 13))
-               ((|sample| ($)) T (CONST $ NIL))
-               ((|size?| ((|Boolean|) $ (|NonNegativeInteger|))) T
-                (ELT $ NIL))
-               ((|more?| ((|Boolean|) $ (|NonNegativeInteger|))) T
-                (ELT $ NIL))
-               ((|less?| ((|Boolean|) $ (|NonNegativeInteger|))) T
-                (ELT $ NIL))
-               ((|empty?| ((|Boolean|) $)) T (ELT $ 12))
-               ((|empty| ($)) T (ELT $ 10))
-               ((|copy| ($ $)) T (ELT $ 17))
-               ((|eq?| ((|Boolean|) $ $)) T (ELT $ NIL)))
-             (|addModemap| '|IndexedString| '(|IndexedString| |#1|)
-                 '((|Join| (|StringAggregate|)
-                           (CATEGORY |domain|
-                               (SIGNATURE |hash| ((|Integer|) $))))
-                   (|Integer|))
-                 T '|IndexedString|
-                 (|put| '|IndexedString| '|mode|
-                        '(|Mapping|
-                             (|Join| (|StringAggregate|)
-                                     (CATEGORY |domain|
-                                      (SIGNATURE |hash|
-                                       ((|Integer|) $))))
-                             (|Integer|))
-                        |$CategoryFrame|)))) 
-- 
cgit v1.2.3