From 5e504b6abaef6cf7e7c58c17e26bec33856b60c0 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 17 Aug 2008 08:59:26 +0000
Subject: 	* algebra/Makefile.pamphlet (all-algstrap): New. 	*
 algebra/strap: Update cached Lisp translation.

---
 src/algebra/strap/VECTOR.lsp | 217 ++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 215 insertions(+), 2 deletions(-)

(limited to 'src/algebra/strap/VECTOR.lsp')

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|)))) 
-- 
cgit v1.2.3