aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/PRIMARR.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/PRIMARR.lsp')
-rw-r--r--src/algebra/strap/PRIMARR.lsp184
1 files changed, 0 insertions, 184 deletions
diff --git a/src/algebra/strap/PRIMARR.lsp b/src/algebra/strap/PRIMARR.lsp
index 9aa4b635..b9f73fa8 100644
--- a/src/algebra/strap/PRIMARR.lsp
+++ b/src/algebra/strap/PRIMARR.lsp
@@ -233,187 +233,3 @@
1 2 5 19 0 0 1 2 5 19 0 0 1 1 0 7 0
8)))))
'|lookupComplete|))
-
-(SETQ |$CategoryFrame|
- (|put| '|PrimitiveArray| '|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))
- ((< ((|Boolean|) $ $)) (|has| |#1| (|OrderedSet|))
- (ELT $ NIL))
- ((> ((|Boolean|) $ $)) (|has| |#1| (|OrderedSet|))
- (ELT $ NIL))
- ((>= ((|Boolean|) $ $)) (|has| |#1| (|OrderedSet|))
- (ELT $ NIL))
- ((<= ((|Boolean|) $ $)) (|has| |#1| (|OrderedSet|))
- (ELT $ NIL))
- ((|max| ($ $ $)) (|has| |#1| (|OrderedSet|))
- (ELT $ NIL))
- ((|min| ($ $ $)) (|has| |#1| (|OrderedSet|))
- (ELT $ NIL))
- ((|sort!| ($ $))
- (AND (|has| $ (ATTRIBUTE |shallowlyMutable|))
- (|has| |#1| (|OrderedSet|)))
- (ELT $ NIL))
- ((|sort!| ($ (|Mapping| (|Boolean|) |#1| |#1|) $))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|reverse!| ($ $))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|copyInto!| ($ $ $ (|Integer|)))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|sorted?| ((|Boolean|) $)) (|has| |#1| (|OrderedSet|))
- (ELT $ NIL))
- ((|sort| ($ $)) (|has| |#1| (|OrderedSet|)) (ELT $ NIL))
- ((|merge| ($ $ $)) (|has| |#1| (|OrderedSet|))
- (ELT $ NIL))
- ((|position| ((|Integer|) |#1| $ (|Integer|)))
- (|has| |#1| (|SetCategory|)) (ELT $ NIL))
- ((|position| ((|Integer|) |#1| $))
- (|has| |#1| (|SetCategory|)) (ELT $ NIL))
- ((|position|
- ((|Integer|) (|Mapping| (|Boolean|) |#1|) $))
- T (ELT $ NIL))
- ((|sorted?|
- ((|Boolean|) (|Mapping| (|Boolean|) |#1| |#1|) $))
- T (ELT $ NIL))
- ((|sort| ($ (|Mapping| (|Boolean|) |#1| |#1|) $)) T
- (ELT $ NIL))
- ((|reverse| ($ $)) T (ELT $ NIL))
- ((|merge| ($ (|Mapping| (|Boolean|) |#1| |#1|) $ $)) T
- (ELT $ NIL))
- ((|setelt|
- (|#1| $ (|UniversalSegment| (|Integer|)) |#1|))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|insert| ($ $ $ (|Integer|))) T (ELT $ NIL))
- ((|insert| ($ |#1| $ (|Integer|))) T (ELT $ NIL))
- ((|delete| ($ $ (|UniversalSegment| (|Integer|)))) T
- (ELT $ NIL))
- ((|delete| ($ $ (|Integer|))) T (ELT $ NIL))
- ((|elt| ($ $ (|UniversalSegment| (|Integer|)))) T
- (ELT $ NIL))
- ((|map| ($ (|Mapping| |#1| |#1| |#1|) $ $)) T
- (ELT $ NIL))
- ((|concat| ($ (|List| $))) T (ELT $ NIL))
- ((|concat| ($ $ $)) T (ELT $ NIL))
- ((|concat| ($ |#1| $)) T (ELT $ NIL))
- ((|concat| ($ $ |#1|)) T (ELT $ NIL))
- ((|new| ($ (|NonNegativeInteger|) |#1|)) T (ELT $ 12))
- ((|construct| ($ (|List| |#1|))) T (ELT $ NIL))
- ((|find| ((|Union| |#1| "failed")
- (|Mapping| (|Boolean|) |#1|) $))
- T (ELT $ NIL))
- ((|reduce| (|#1| (|Mapping| |#1| |#1| |#1|) $))
- (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
- ((|reduce| (|#1| (|Mapping| |#1| |#1| |#1|) $ |#1|))
- (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
- ((|remove| ($ (|Mapping| (|Boolean|) |#1|) $))
- (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
- ((|select| ($ (|Mapping| (|Boolean|) |#1|) $))
- (|has| $ (ATTRIBUTE |finiteAggregate|)) (ELT $ NIL))
- ((|reduce|
- (|#1| (|Mapping| |#1| |#1| |#1|) $ |#1| |#1|))
- (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
- (|has| |#1| (|SetCategory|)))
- (ELT $ NIL))
- ((|remove| ($ |#1| $))
- (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
- (|has| |#1| (|SetCategory|)))
- (ELT $ NIL))
- ((|removeDuplicates| ($ $))
- (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
- (|has| |#1| (|SetCategory|)))
- (ELT $ NIL))
- ((|convert| ((|InputForm|) $))
- (|has| |#1| (|ConvertibleTo| (|InputForm|)))
- (ELT $ NIL))
- ((|swap!| ((|Void|) $ (|Integer|) (|Integer|)))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
- ((|fill!| ($ $ |#1|))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ 17))
- ((|first| (|#1| $)) (|has| (|Integer|) (|OrderedSet|))
- (ELT $ NIL))
- ((|minIndex| ((|Integer|) $))
- (|has| (|Integer|) (|OrderedSet|)) (ELT $ 10))
- ((|maxIndex| ((|Integer|) $))
- (|has| (|Integer|) (|OrderedSet|)) (ELT $ NIL))
- ((|entry?| ((|Boolean|) |#1| $))
- (AND (|has| $ (ATTRIBUTE |finiteAggregate|))
- (|has| |#1| (|SetCategory|)))
- (ELT $ NIL))
- ((|indices| ((|List| (|Integer|)) $)) T (ELT $ NIL))
- ((|index?| ((|Boolean|) (|Integer|) $)) T (ELT $ NIL))
- ((|entries| ((|List| |#1|) $)) T (ELT $ NIL))
- ((|elt| (|#1| $ (|Integer|))) T (ELT $ 14))
- ((|elt| (|#1| $ (|Integer|) |#1|)) T (ELT $ NIL))
- ((|qelt| (|#1| $ (|Integer|))) T (ELT $ 13))
- ((|setelt| (|#1| $ (|Integer|) |#1|))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ 16))
- ((|qsetelt!| (|#1| $ (|Integer|) |#1|))
- (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ 15))
- ((|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 $ NIL))
- ((|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 $ 8))
- ((|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 $ 11))
- ((|copy| ($ $)) T (ELT $ NIL))
- ((|eq?| ((|Boolean|) $ $)) T (ELT $ NIL)))
- (|addModemap| '|PrimitiveArray| '(|PrimitiveArray| |#1|)
- '((|OneDimensionalArrayAggregate| |#1|) (|Type|)) T
- '|PrimitiveArray|
- (|put| '|PrimitiveArray| '|mode|
- '(|Mapping|
- (|OneDimensionalArrayAggregate| |#1|)
- (|Type|))
- |$CategoryFrame|))))
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-03 16:19:13 +0000