aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/LIST.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/LIST.lsp')
-rw-r--r--src/algebra/strap/LIST.lsp305
1 files changed, 0 insertions, 305 deletions
diff --git a/src/algebra/strap/LIST.lsp b/src/algebra/strap/LIST.lsp
index e43d4ed3..949f0960 100644
--- a/src/algebra/strap/LIST.lsp
+++ b/src/algebra/strap/LIST.lsp
@@ -353,308 +353,3 @@
0 0 11 3 6 12 13 0 8 29 2 6 12 13 0
28 1 6 15 0 26 2 6 15 0 8 27)))))
'|lookupIncomplete|))
-
-(SETQ |$CategoryFrame|
- (|put| '|List| '|isFunctor|
- '(((~= ((|Boolean|) $ $)) (|has| |#1| (|SetCategory|))
- (ELT $ NIL))
- ((= ((|Boolean|) $ $)) (|has| |#1| (|SetCategory|))
- (ELT $ NIL))
- ((|coerce| ((|OutputForm|) $))
- (|has| |#1| (|CoercibleTo| (|OutputForm|)))
- (ELT $ NIL))
- ((|hash| ((|SingleInteger|) $))
- (|has| |#1| (|SetCategory|)) (ELT $ NIL))
- ((|latex| ((|String|) $)) (|has| |#1| (|SetCategory|))
- (ELT $ NIL))
- ((|OMwrite| ((|Void|) (|OpenMathDevice|) $ (|Boolean|)))
- (|has| |#1| (|OpenMath|)) (ELT $ 29))
- ((|OMwrite| ((|Void|) (|OpenMathDevice|) $))
- (|has| |#1| (|OpenMath|)) (ELT $ 28))
- ((|OMwrite| ((|String|) $ (|Boolean|)))
- (|has| |#1| (|OpenMath|)) (ELT $ 27))
- ((|OMwrite| ((|String|) $)) (|has| |#1| (|OpenMath|))
- (ELT $ 26))
- ((|setDifference| ($ $ $)) (|has| |#1| (|SetCategory|))
- (ELT $ 37))
- ((|setIntersection| ($ $ $))
- (|has| |#1| (|SetCategory|)) (ELT $ 34))
- ((|setUnion| ($ $ $)) (|has| |#1| (|SetCategory|))
- (ELT $ 32))
- ((|append| ($ $ $)) T (ELT $ 11))
- ((|cons| ($ |#1| $)) T (ELT $ 10))
- ((|null| ((|Boolean|) $)) T (ELT $ 9))
- ((|nil| ($)) T (ELT $ 7))
- ((|list| ($ |#1|)) T (ELT $ NIL))
- ((|concat!| ($ $ |#1|)) T (ELT $ NIL))
- ((|concat!| ($ $ $)) T (ELT $ NIL))
- ((|delete!| ($ $ (|Integer|))) T (ELT $ NIL))
- ((|delete!| ($ $ (|UniversalSegment| (|Integer|)))) T
- (ELT $ NIL))
- ((|remove!| ($ (|Mapping| (|Boolean|) |#1|) $)) T
- (ELT $ NIL))
- ((|insert!| ($ |#1| $ (|Integer|))) T (ELT $ NIL))
- ((|insert!| ($ $ $ (|Integer|))) T (ELT $ NIL))
- ((|merge!| ($ (|Mapping| (|Boolean|) |#1| |#1|) $ $)) T
- (ELT $ NIL))
- ((|select!| ($ (|Mapping| (|Boolean|) |#1|) $)) T
- (ELT $ NIL))
- ((|remove!| ($ |#1| $)) (|has| |#1| (|SetCategory|))
- (ELT $ NIL))
- ((|removeDuplicates!| ($ $))
- (|has| |#1| (|SetCategory|)) (ELT $ NIL))
- ((|merge!| ($ $ $)) (|has| |#1| (|OrderedSet|))
- (ELT $ NIL))
- ((|merge| ($ (|Mapping| (|Boolean|) |#1| |#1|) $ $)) T
- (ELT $ NIL))
- ((|reverse| ($ $)) T (ELT $ NIL))
- ((|sort| ($ (|Mapping| (|Boolean|) |#1| |#1|) $)) T
- (ELT $ NIL))
- ((|sorted?|
- ((|Boolean|) (|Mapping| (|Boolean|) |#1| |#1|) $))
- T (ELT $ NIL))
- ((|position|
- ((|Integer|) (|Mapping| (|Boolean|) |#1|) $))
- T (ELT $ NIL))
- ((|position| ((|Integer|) |#1| $))
- (|has| |#1| (|SetCategory|)) (ELT $ NIL))
- ((|position| ((|Integer|) |#1| $ (|Integer|)))
- (|has| |#1| (|SetCategory|)) (ELT $ NIL))
- ((|merge| ($ $ $)) (|has| |#1| (|OrderedSet|))
- (ELT $ NIL))
- ((|sort| ($ $)) (|has| |#1| (|OrderedSet|)) (ELT $ NIL))
- ((|sorted?| ((|Boolean|) $)) (|has| |#1| (|OrderedSet|))
- (ELT $ NIL))
- ((|copyInto!| ($ $ $ (|Integer|)))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|reverse!| ($ $))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|sort!| ($ (|Mapping| (|Boolean|) |#1| |#1|) $))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|sort!| ($ $))
- (AND (|has| $ (ATTRIBUTE |shallowlyMutable|))
- (|has| |#1| (|OrderedSet|)))
- (ELT $ NIL))
- ((|min| ($ $ $)) (|has| |#1| (|OrderedSet|))
- (ELT $ NIL))
- ((|max| ($ $ $)) (|has| |#1| (|OrderedSet|))
- (ELT $ NIL))
- ((<= ((|Boolean|) $ $)) (|has| |#1| (|OrderedSet|))
- (ELT $ NIL))
- ((>= ((|Boolean|) $ $)) (|has| |#1| (|OrderedSet|))
- (ELT $ NIL))
- ((> ((|Boolean|) $ $)) (|has| |#1| (|OrderedSet|))
- (ELT $ NIL))
- ((< ((|Boolean|) $ $)) (|has| |#1| (|OrderedSet|))
- (ELT $ NIL))
- ((|possiblyInfinite?| ((|Boolean|) $)) T (ELT $ NIL))
- ((|explicitlyFinite?| ((|Boolean|) $)) T (ELT $ NIL))
- ((|qsetelt!| (|#1| $ (|Integer|) |#1|))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|setelt| (|#1| $ (|Integer|) |#1|))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|qelt| (|#1| $ (|Integer|))) T (ELT $ NIL))
- ((|elt| (|#1| $ (|Integer|) |#1|)) T (ELT $ NIL))
- ((|elt| (|#1| $ (|Integer|))) T (ELT $ 36))
- ((|entries| ((|List| |#1|) $)) T (ELT $ NIL))
- ((|index?| ((|Boolean|) (|Integer|) $)) T (ELT $ NIL))
- ((|indices| ((|List| (|Integer|)) $)) T (ELT $ NIL))
- ((|entry?| ((|Boolean|) |#1| $))
- (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
- (|has| |#1| (|SetCategory|)))
- (ELT $ NIL))
- ((|maxIndex| ((|Integer|) $))
- (|has| (|Integer|) (|OrderedSet|)) (ELT $ NIL))
- ((|minIndex| ((|Integer|) $))
- (|has| (|Integer|) (|OrderedSet|)) (ELT $ NIL))
- ((|fill!| ($ $ |#1|))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|swap!| ((|Void|) $ (|Integer|) (|Integer|)))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|convert| ((|InputForm|) $))
- (|has| |#1| (|ConvertibleTo| (|InputForm|)))
- (ELT $ 45))
- ((|removeDuplicates| ($ $))
- (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
- (|has| |#1| (|SetCategory|)))
- (ELT $ 31))
- ((|remove| ($ |#1| $))
- (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
- (|has| |#1| (|SetCategory|)))
- (ELT $ NIL))
- ((|reduce|
- (|#1| (|Mapping| |#1| |#1| |#1|) $ |#1| |#1|))
- (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
- (|has| |#1| (|SetCategory|)))
- (ELT $ NIL))
- ((|select| ($ (|Mapping| (|Boolean|) |#1|) $))
- (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
- ((|remove| ($ (|Mapping| (|Boolean|) |#1|) $))
- (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
- ((|reduce| (|#1| (|Mapping| |#1| |#1| |#1|) $ |#1|))
- (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
- ((|reduce| (|#1| (|Mapping| |#1| |#1| |#1|) $))
- (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
- ((|find| ((|Union| |#1| "failed")
- (|Mapping| (|Boolean|) |#1|) $))
- T (ELT $ NIL))
- ((|construct| ($ (|List| |#1|))) T (ELT $ NIL))
- ((|new| ($ (|NonNegativeInteger|) |#1|)) T (ELT $ NIL))
- ((|concat| ($ $ |#1|)) T (ELT $ NIL))
- ((|concat| ($ (|List| $))) T (ELT $ NIL))
- ((|map| ($ (|Mapping| |#1| |#1| |#1|) $ $)) T
- (ELT $ NIL))
- ((|elt| ($ $ (|UniversalSegment| (|Integer|)))) T
- (ELT $ NIL))
- ((|delete| ($ $ (|Integer|))) T (ELT $ NIL))
- ((|delete| ($ $ (|UniversalSegment| (|Integer|)))) T
- (ELT $ NIL))
- ((|insert| ($ |#1| $ (|Integer|))) T (ELT $ NIL))
- ((|insert| ($ $ $ (|Integer|))) T (ELT $ NIL))
- ((|setelt|
- (|#1| $ (|UniversalSegment| (|Integer|)) |#1|))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|split!| ($ $ (|Integer|)))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|setelt| (|#1| $ "last" |#1|))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|setlast!| (|#1| $ |#1|))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|setelt| ($ $ "rest" $))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|setrest!| ($ $ $))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|setelt| (|#1| $ "first" |#1|))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|setfirst!| (|#1| $ |#1|))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|cycleSplit!| ($ $))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|cycleTail| ($ $)) T (ELT $ NIL))
- ((|cycleLength| ((|NonNegativeInteger|) $)) T
- (ELT $ NIL))
- ((|cycleEntry| ($ $)) T (ELT $ NIL))
- ((|third| (|#1| $)) T (ELT $ NIL))
- ((|second| (|#1| $)) T (ELT $ NIL))
- ((|tail| ($ $)) T (ELT $ NIL))
- ((|last| ($ $ (|NonNegativeInteger|))) T (ELT $ NIL))
- ((|elt| (|#1| $ "last")) T (ELT $ NIL))
- ((|last| (|#1| $)) T (ELT $ NIL))
- ((|rest| ($ $ (|NonNegativeInteger|))) T (ELT $ NIL))
- ((|elt| ($ $ "rest")) T (ELT $ NIL))
- ((|rest| ($ $)) T (ELT $ NIL))
- ((|first| ($ $ (|NonNegativeInteger|))) T (ELT $ NIL))
- ((|elt| (|#1| $ "first")) T (ELT $ NIL))
- ((|first| (|#1| $)) T (ELT $ NIL))
- ((|concat| ($ |#1| $)) T (ELT $ NIL))
- ((|concat| ($ $ $)) T (ELT $ 30))
- ((|setvalue!| (|#1| $ |#1|))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|setelt| (|#1| $ "value" |#1|))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|setchildren!| ($ $ (|List| $)))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|node?| ((|Boolean|) $ $))
- (|has| |#1| (|SetCategory|)) (ELT $ NIL))
- ((|child?| ((|Boolean|) $ $))
- (|has| |#1| (|SetCategory|)) (ELT $ NIL))
- ((|distance| ((|Integer|) $ $)) T (ELT $ NIL))
- ((|leaves| ((|List| |#1|) $)) T (ELT $ NIL))
- ((|cyclic?| ((|Boolean|) $)) T (ELT $ NIL))
- ((|elt| (|#1| $ "value")) T (ELT $ NIL))
- ((|value| (|#1| $)) T (ELT $ NIL))
- ((|leaf?| ((|Boolean|) $)) T (ELT $ NIL))
- ((|nodes| ((|List| $) $)) T (ELT $ NIL))
- ((|children| ((|List| $) $)) T (ELT $ NIL))
- ((|eval| ($ $ (|List| |#1|) (|List| |#1|)))
- (AND (|has| |#1| (|Evalable| |#1|))
- (|has| |#1| (|SetCategory|)))
- (ELT $ NIL))
- ((|eval| ($ $ |#1| |#1|))
- (AND (|has| |#1| (|Evalable| |#1|))
- (|has| |#1| (|SetCategory|)))
- (ELT $ NIL))
- ((|eval| ($ $ (|Equation| |#1|)))
- (AND (|has| |#1| (|Evalable| |#1|))
- (|has| |#1| (|SetCategory|)))
- (ELT $ NIL))
- ((|eval| ($ $ (|List| (|Equation| |#1|))))
- (AND (|has| |#1| (|Evalable| |#1|))
- (|has| |#1| (|SetCategory|)))
- (ELT $ NIL))
- ((|member?| ((|Boolean|) |#1| $))
- (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
- (|has| |#1| (|SetCategory|)))
- (ELT $ 33))
- ((|count| ((|NonNegativeInteger|) |#1| $))
- (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
- (|has| |#1| (|SetCategory|)))
- (ELT $ NIL))
- ((|members| ((|List| |#1|) $))
- (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
- ((|parts| ((|List| |#1|) $))
- (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
- ((|count| ((|NonNegativeInteger|)
- (|Mapping| (|Boolean|) |#1|) $))
- (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
- ((|every?| ((|Boolean|) (|Mapping| (|Boolean|) |#1|) $))
- (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
- ((|any?| ((|Boolean|) (|Mapping| (|Boolean|) |#1|) $))
- (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
- ((|map!| ($ (|Mapping| |#1| |#1|) $))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|map| ($ (|Mapping| |#1| |#1|) $)) T (ELT $ NIL))
- ((|#| ((|NonNegativeInteger|) $))
- (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
- ((|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 $ NIL))
- ((|empty| ($)) T (ELT $ NIL))
- ((|copy| ($ $)) T (ELT $ NIL))
- ((|eq?| ((|Boolean|) $ $)) T (ELT $ NIL)))
- (|addModemap| '|List| '(|List| |#1|)
- '((|Join| (|ListAggregate| |#1|)
- (CATEGORY |domain| (SIGNATURE |nil| ($))
- (SIGNATURE |null| ((|Boolean|) $))
- (SIGNATURE |cons| ($ |#1| $))
- (SIGNATURE |append| ($ $ $))
- (IF (|has| |#1| (|SetCategory|))
- (PROGN
- (SIGNATURE |setUnion| ($ $ $))
- (SIGNATURE |setIntersection|
- ($ $ $))
- (SIGNATURE |setDifference|
- ($ $ $)))
- |%noBranch|)
- (IF (|has| |#1| (|OpenMath|))
- (ATTRIBUTE (|OpenMath|))
- |%noBranch|)))
- (|Type|))
- T '|List|
- (|put| '|List| '|mode|
- '(|Mapping|
- (|Join| (|ListAggregate| |#1|)
- (CATEGORY |domain|
- (SIGNATURE |nil| ($))
- (SIGNATURE |null|
- ((|Boolean|) $))
- (SIGNATURE |cons| ($ |#1| $))
- (SIGNATURE |append| ($ $ $))
- (IF (|has| |#1| (|SetCategory|))
- (PROGN
- (SIGNATURE |setUnion| ($ $ $))
- (SIGNATURE |setIntersection|
- ($ $ $))
- (SIGNATURE |setDifference|
- ($ $ $)))
- |%noBranch|)
- (IF (|has| |#1| (|OpenMath|))
- (ATTRIBUTE (|OpenMath|))
- |%noBranch|)))
- (|Type|))
- |$CategoryFrame|))))
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-04 01:23:53 +0000