diff options
Diffstat (limited to 'src/algebra/strap/PRIMARR.lsp')
-rw-r--r-- | src/algebra/strap/PRIMARR.lsp | 190 |
1 files changed, 187 insertions, 3 deletions
diff --git a/src/algebra/strap/PRIMARR.lsp b/src/algebra/strap/PRIMARR.lsp index a8f4f9a7..03f749e2 100644 --- a/src/algebra/strap/PRIMARR.lsp +++ b/src/algebra/strap/PRIMARR.lsp @@ -36,7 +36,7 @@ (|setSimpleArrayEntry| |x| |i| |s|)) (DEFUN |PRIMARR;fill!;$S$;9| (|x| |s| $) - (PROG (|i| #0=#:G1403) + (PROG (|i| #0=#:G1405) (RETURN (SEQ (SEQ (LETT |i| 0 |PRIMARR;fill!;$S$;9|) (LETT #0# (|maxIndexOfSimpleArray| |x|) @@ -47,10 +47,10 @@ G191 (EXIT NIL)) (EXIT |x|))))) -(DEFUN |PrimitiveArray| (#0=#:G1411) +(DEFUN |PrimitiveArray| (#0=#:G1413) (PROG () (RETURN - (PROG (#1=#:G1412) + (PROG (#1=#:G1414) (RETURN (COND ((LETT #1# @@ -191,3 +191,187 @@ 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|)))) |