aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/VECTOR.lsp
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/strap/VECTOR.lsp')
-rw-r--r--src/algebra/strap/VECTOR.lsp217
1 files changed, 215 insertions, 2 deletions
diff --git a/src/algebra/strap/VECTOR.lsp b/src/algebra/strap/VECTOR.lsp
index 7de3d0c1..ecbc5ece 100644
--- a/src/algebra/strap/VECTOR.lsp
+++ b/src/algebra/strap/VECTOR.lsp
@@ -12,10 +12,10 @@
(|getShellEntry| $ 16)))
(|getShellEntry| $ 18)))
-(DEFUN |Vector| (#0=#:G1402)
+(DEFUN |Vector| (#0=#:G1404)
(PROG ()
(RETURN
- (PROG (#1=#:G1403)
+ (PROG (#1=#:G1405)
(RETURN
(COND
((LETT #1#
@@ -131,3 +131,216 @@
13 0 19 1 0 0 7 9 1 0 7 0 15 1 3 13 0
19 1 0 0 7 8)))))
'|lookupIncomplete|))
+
+(SETQ |$CategoryFrame|
+ (|put| '|Vector| '|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))
+ ((|vector| ($ (|List| |#1|))) T (ELT $ 9))
+ ((|magnitude| (|#1| $))
+ (AND (|has| |#1| (|RadicalCategory|))
+ (|has| |#1| (|Ring|)))
+ (ELT $ NIL))
+ ((|length| (|#1| $))
+ (AND (|has| |#1| (|RadicalCategory|))
+ (|has| |#1| (|Ring|)))
+ (ELT $ NIL))
+ ((|cross| ($ $ $)) (|has| |#1| (|Ring|)) (ELT $ NIL))
+ ((|outerProduct| ((|Matrix| |#1|) $ $))
+ (|has| |#1| (|Ring|)) (ELT $ NIL))
+ ((|dot| (|#1| $ $)) (|has| |#1| (|Ring|)) (ELT $ NIL))
+ ((* ($ $ |#1|)) (|has| |#1| (|Monoid|)) (ELT $ NIL))
+ ((* ($ |#1| $)) (|has| |#1| (|Monoid|)) (ELT $ NIL))
+ ((* ($ (|Integer|) $)) (|has| |#1| (|AbelianGroup|))
+ (ELT $ NIL))
+ ((- ($ $ $)) (|has| |#1| (|AbelianGroup|)) (ELT $ NIL))
+ ((- ($ $)) (|has| |#1| (|AbelianGroup|)) (ELT $ NIL))
+ ((|zero| ($ (|NonNegativeInteger|)))
+ (|has| |#1| (|AbelianMonoid|)) (ELT $ NIL))
+ ((+ ($ $ $)) (|has| |#1| (|AbelianSemiGroup|))
+ (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 $ NIL))
+ ((|construct| ($ (|List| |#1|))) T (ELT $ 8))
+ ((|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 $ 19))
+ ((|swap!| ((|Void|) $ (|Integer|) (|Integer|)))
+ (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
+ ((|fill!| ($ $ |#1|))
+ (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
+ ((|first| (|#1| $)) (|has| (|Integer|) (|OrderedSet|))
+ (ELT $ NIL))
+ ((|minIndex| ((|Integer|) $))
+ (|has| (|Integer|) (|OrderedSet|)) (ELT $ NIL))
+ ((|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 $ NIL))
+ ((|elt| (|#1| $ (|Integer|) |#1|)) T (ELT $ NIL))
+ ((|qelt| (|#1| $ (|Integer|))) T (ELT $ NIL))
+ ((|setelt| (|#1| $ (|Integer|) |#1|))
+ (|has| $ (ATTRIBUTE |shallowlyMutable|)) (ELT $ NIL))
+ ((|qsetelt!| (|#1| $ (|Integer|) |#1|))
+ (|has| $ (ATTRIBUTE |shallowlyMutable|)) (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 $ 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 $ 15))
+ ((|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| '|Vector| '(|Vector| |#1|)
+ '((|Join| (|VectorCategory| |#1|)
+ (CATEGORY |domain|
+ (SIGNATURE |vector| ($ (|List| |#1|)))))
+ (|Type|))
+ T '|Vector|
+ (|put| '|Vector| '|mode|
+ '(|Mapping|
+ (|Join| (|VectorCategory| |#1|)
+ (CATEGORY |domain|
+ (SIGNATURE |vector|
+ ($ (|List| |#1|)))))
+ (|Type|))
+ |$CategoryFrame|))))
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 23:27:36 +0000