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.lsp190
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|))))
generated by cgit v1.2.3 (git 2.46.0) at 2025-11-30 23:37:10 +0000