diff options
author | dos-reis <gdr@axiomatics.org> | 2008-11-20 07:57:14 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-11-20 07:57:14 +0000 |
commit | 90dee68c255cd77c5e72fb78da8a02d07e3c1c49 (patch) | |
tree | f1bda1d35b9549660a6275890865894e87ebaf44 /src/algebra/strap/ISTRING.lsp | |
parent | 29c64f74f12bbeebb82045b08db420d2d2b60cf7 (diff) | |
download | open-axiom-90dee68c255cd77c5e72fb78da8a02d07e3c1c49.tar.gz |
* 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.
Diffstat (limited to 'src/algebra/strap/ISTRING.lsp')
-rw-r--r-- | src/algebra/strap/ISTRING.lsp | 255 |
1 files changed, 0 insertions, 255 deletions
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|)))) |