CoCalc -- code.lsp

build open-axiom
open-axiom-build / src / algebra / A1AGG.NRLIB / code.lsp
⁵⁴⁵²⁹ views
1

2
(DEFPARAMETER |OneDimensionalArrayAggregate;AL| NIL) 
3

4
(DEFUN |OneDimensionalArrayAggregate;| (|t#1|)
5
  (LET ((#1=#:G572
6
         (|sublisV| (|pairList| '(|t#1|) (LIST (|devaluate| |t#1|)))
7
                    (LET ((#2=#:G571
8
                           (|constructorDB| '|OneDimensionalArrayAggregate|)))
9
                      (COND ((|dbTemplate| #2#))
10
                            (T
11
                             (SETF (|dbTemplate| #2#)
12
                                     (|Join| (|FiniteLinearAggregate| '|t#1|)
13
                                             (|ShallowlyMutableAggregate|
14
                                              '|t#1|)))))))))
15
    (PROGN
16
     (SETF (|shellEntry| #1# 0)
17
             (LIST '|OneDimensionalArrayAggregate| (|devaluate| |t#1|)))
18
     #1#))) 
19

20
(DEFUN |OneDimensionalArrayAggregate| (|t#1|)
21
  (LET ((#1=#:G573 (|assoc| |t#1| |OneDimensionalArrayAggregate;AL|)))
22
    (COND (#1# (CDR #1#))
23
          (T
24
           (PROGN
25
            (SETQ #1# (|OneDimensionalArrayAggregate;| |t#1|))
26
            (SETQ |OneDimensionalArrayAggregate;AL|
27
                    (|cons5| (CONS |t#1| #1#)
28
                             |OneDimensionalArrayAggregate;AL|))
29
            #1#))))) 
30

31
(SETF (|dbConstructorDefault|
32
       (|constructorDB| '|OneDimensionalArrayAggregate|))
33
        '|OneDimensionalArrayAggregate&|) 
34

35
(SETF (|dbConstructorForm| (|constructorDB| '|OneDimensionalArrayAggregate|))
36
        '(|OneDimensionalArrayAggregate| S)) 
37

38
(SETF (|dbConstructorKind| (|constructorDB| '|OneDimensionalArrayAggregate|))
39
        '|category|) 
40

41
(SETF (|dbConstructorModemap|
42
       (|constructorDB| '|OneDimensionalArrayAggregate|))
43
        '(((|OneDimensionalArrayAggregate| |#1|) (|Category|) (|Type|))
44
          (T |OneDimensionalArrayAggregate|))) 
45

46
(SETF (|dbDualSignature| (|constructorDB| '|OneDimensionalArrayAggregate|))
47
        '(T T)) 
48

49
(SETF (|dbCategory| (|constructorDB| '|OneDimensionalArrayAggregate|))
50
        '(|Join| (|FiniteLinearAggregate| |t#1|)
51
                 (|ShallowlyMutableAggregate| |t#1|))) 
52

53
(SETF (|dbSourceFile| (|constructorDB| '|OneDimensionalArrayAggregate|))
54
        '"aggcat.spad") 
55

56
(SETF (|dbOperations| (|constructorDB| '|OneDimensionalArrayAggregate|))
57
        '((~= (#1=((|Boolean|) $ $) 18 (|has| |#1| . #2=((|BasicType|))) ELT))
58
          (|swap!|
59
           (((|Void|) $ #3=(|Integer|) #3#) 35
60
            (|has| $ (|ShallowlyMutableAggregate| |#1|)) ELT))
61
          (|sorted?| ((#4=(|Boolean|) (|Mapping| #4# |#1| |#1|) $) 96 T ELT)
62
           ((#4# $) 90 (|has| |#1| . #5=((|OrderedSet|))) ELT))
63
          (|sort!|
64
           (($ (|Mapping| #4# |#1| |#1|) . #6=($)) 87
65
            (|has| $ (|ShallowlyMutableAggregate| |#1|)) ELT)
66
           (#7=($ $) 86
67
            (AND (|has| |#1| . #5#)
68
                 (|has| $ (|ShallowlyMutableAggregate| |#1|)))
69
            ELT))
70
          (|sort| (($ (|Mapping| #4# |#1| |#1|) . #6#) 97 T ELT)
71
                  (#7# 91 (|has| |#1| . #5#) ELT))
72
          (|setelt|
73
           ((|#1| $ #3# |#1|) 47 (|has| $ (|ShallowlyMutableAggregate| |#1|))
74
            ELT)
75
           ((|#1| $ #8=(|UniversalSegment| #3#) |#1|) 55
76
            (|has| $ (|ShallowlyMutableAggregate| |#1|)) ELT))
77
          (|select|
78
           (($ (|Mapping| #9=(|Boolean|) |#1|) . #10=($)) 69
79
            (|has| $ (|FiniteAggregate| |#1|)) ELT))
80
          (|sample| (#11=($) 6 T CONST))
81
          (|reverse!|
82
           (#7# 88 (|has| $ (|ShallowlyMutableAggregate| |#1|)) ELT))
83
          (|reverse| (#7# 98 T ELT))
84
          (|removeDuplicates|
85
           (($ $) 71
86
            (AND (|has| |#1| . #12=((|BasicType|)))
87
                 (|has| $ (|FiniteAggregate| |#1|)))
88
            ELT))
89
          (|remove|
90
           (($ |#1| $) 70
91
            (AND (|has| |#1| . #12#) (|has| $ (|FiniteAggregate| |#1|))) ELT)
92
           (($ (|Mapping| #9# |#1|) . #10#) 68
93
            (|has| $ (|FiniteAggregate| |#1|)) ELT))
94
          (|reduce|
95
           ((|#1| (|Mapping| |#1| |#1| |#1|) $ |#1| |#1|) 110
96
            (|has| |#1| . #13=((|BasicType|))) ELT)
97
           ((|#1| (|Mapping| |#1| |#1| |#1|) $ |#1|) 106 T ELT)
98
           ((|#1| (|Mapping| |#1| |#1| |#1|) $) 105 T ELT))
99
          (|qsetelt!|
100
           ((|#1| $ #3# |#1|) 48 (|has| $ (|ShallowlyMutableAggregate| |#1|))
101
            ELT))
102
          (|qelt| ((|#1| $ #3#) 46 T ELT))
103
          (|position| ((#14=(|Integer|) (|Mapping| #4# |#1|) $) 95 T ELT)
104
                      ((#14# |#1| $) 94 (|has| |#1| . #15=((|BasicType|))) ELT)
105
                      ((#14# |#1| $ #14#) 93 (|has| |#1| . #15#) ELT))
106
          (|new| (($ (|NonNegativeInteger|) |#1|) 65 T ELT))
107
          (|minIndex|
108
           ((#3# . #16=($)) 38 (|has| #3# . #17=((|OrderedSet|))) ELT))
109
          (|min| (#18=($ $ $) 80 (|has| |#1| . #5#) ELT))
110
          (|merge| (($ (|Mapping| #4# |#1| |#1|) $ $) 99 T ELT)
111
           (($ $ $) 92 (|has| |#1| . #5#) ELT))
112
          (|members| (((|List| |#1|) $) 104 T ELT))
113
          (|member?| ((#19=(|Boolean|) |#1| $) 109 (|has| |#1| . #13#) ELT))
114
          (|maxIndex| ((#3# . #16#) 39 (|has| #3# . #17#) ELT))
115
          (|max| (#18# 81 (|has| |#1| . #5#) ELT))
116
          (|map!| (($ (|Mapping| |#1| |#1|) $) 112 T ELT))
117
          (|map| (($ (|Mapping| |#1| |#1|) $) 26 T ELT)
118
           (($ (|Mapping| |#1| |#1| |#1|) $ $) 60 T ELT))
119
          (|latex|
120
           (((|String|) $) 21 (|has| |#1| . #20=((|SetCategory|))) ELT))
121
          (|insert| (($ |#1| $ #3#) 57 T ELT) (($ $ $ #3#) 56 T ELT))
122
          (|indices| (((|List| #3#) $) 41 T ELT))
123
          (|index?| ((#21=(|Boolean|) #3# $) 42 T ELT))
124
          (|hash| (((|SingleInteger|) $) 20 (|has| |#1| . #20#) ELT))
125
          (|first| ((|#1| $) 37 (|has| #3# . #17#) ELT))
126
          (|find|
127
           (((|Union| |#1| "failed") (|Mapping| #19# |#1|) $) 107 T ELT))
128
          (|fill!|
129
           (($ $ |#1|) 36 (|has| $ (|ShallowlyMutableAggregate| |#1|)) ELT))
130
          (|every?| ((#19# (|Mapping| #19# |#1|) . #22=($)) 102 T ELT))
131
          (|eval|
132
           (($ $ (|List| (|Equation| |#1|))) 25
133
            (AND (|has| |#1| (|Evalable| |#1|)) (|has| |#1| . #20#)) ELT)
134
           (($ $ (|Equation| |#1|)) 24
135
            (AND (|has| |#1| (|Evalable| |#1|)) (|has| |#1| . #20#)) ELT)
136
           (($ $ |#1| |#1|) 23
137
            (AND (|has| |#1| (|Evalable| |#1|)) (|has| |#1| . #20#)) ELT)
138
           (($ $ (|List| |#1|) (|List| |#1|)) 22
139
            (AND (|has| |#1| (|Evalable| |#1|)) (|has| |#1| . #20#)) ELT))
140
          (|eq?| ((#23=(|Boolean|) $ $) 10 T ELT))
141
          (|entry?|
142
           ((#21# |#1| $) 40
143
            (AND (|has| $ (|FiniteAggregate| |#1|)) (|has| |#1| (|BasicType|)))
144
            ELT))
145
          (|entries| (((|List| |#1|) $) 43 T ELT))
146
          (|empty?| ((#23# $) 7 T ELT)) (|empty| (#11# 8 T ELT))
147
          (|elt| ((|#1| $ #3# |#1|) 45 T ELT) ((|#1| $ #3#) 44 T ELT)
148
           (($ $ #8#) 66 T ELT))
149
          (|delete| (($ $ #3#) 59 T ELT) (($ $ #8#) 58 T ELT))
150
          (|count|
151
           ((#24=(|NonNegativeInteger|) |#1| $) 108 (|has| |#1| . #13#) ELT)
152
           ((#24# (|Mapping| #19# |#1|) $) 103 T ELT))
153
          (|copyInto!|
154
           (($ $ $ #14#) 89 (|has| $ (|ShallowlyMutableAggregate| |#1|)) ELT))
155
          (|copy| (($ $) 9 T ELT))
156
          (|convert|
157
           ((#25=(|InputForm|) $) 72 (|has| |#1| (|ConvertibleTo| #25#)) ELT))
158
          (|construct| (($ (|List| |#1|)) 67 T ELT))
159
          (|concat| (($ $ |#1|) 64 T ELT) (($ |#1| $) 63 T ELT)
160
                    (($ $ $) 62 T ELT) (($ (|List| $)) 61 T ELT))
161
          (|coerce|
162
           (((|OutputForm|) $) 16 (|has| |#1| (|CoercibleTo| (|OutputForm|)))
163
            ELT))
164
          (|before?| (#1# 19 (|has| |#1| . #2#) ELT))
165
          (|any?| ((#19# (|Mapping| #19# |#1|) . #22#) 101 T ELT))
166
          (>= (#26=((|Boolean|) $ $) 82 (|has| |#1| . #5#) ELT))
167
          (> (#26# 84 (|has| |#1| . #5#) ELT))
168
          (= (#1# 17 (|has| |#1| . #2#) ELT))
169
          (<= (#26# 83 (|has| |#1| . #5#) ELT))
170
          (< (#26# 85 (|has| |#1| . #5#) ELT)) (|#| ((#24# $) 100 T ELT)))) 
171

172
(SETF (|dbAbbreviation| (|constructorDB| '|OneDimensionalArrayAggregate|))
173
        'A1AGG) 
174

175
(SETF (|dbPrincipals| (|constructorDB| '|OneDimensionalArrayAggregate|))
176
        '(((|FiniteLinearAggregate| S) . T)
177
          ((|ShallowlyMutableAggregate| S) . T))) 
178

179
(SETF (|dbAncestors| (|constructorDB| '|OneDimensionalArrayAggregate|))
180
        '(((|Aggregate|) . T) ((|BasicType|) |has| |#1| (|BasicType|))
181
          ((|CoercibleTo| (|OutputForm|)) |has| |#1|
182
           (|CoercibleTo| (|OutputForm|)))
183
          ((|Collection| |#1|) . T)
184
          (#1=(|ConvertibleTo| (|InputForm|)) |has| |#1| #1#)
185
          ((|Eltable| (|UniversalSegment| #2=(|Integer|)) $) . T)
186
          ((|Eltable| #2# |#1|) . T) ((|EltableAggregate| #2# |#1|) . T)
187
          ((|Evalable| |#1|) AND (|has| |#1| (|Evalable| |#1|))
188
           (|has| |#1| (|SetCategory|)))
189
          ((|FiniteAggregate| |#1|) . T) ((|FiniteLinearAggregate| |#1|) . T)
190
          ((|Functorial| |#1|) . T) ((|HomogeneousAggregate| |#1|) . T)
191
          ((|IndexedAggregate| #2# |#1|) . T)
192
          ((|InnerEvalable| |#1| |#1|) AND (|has| |#1| (|Evalable| |#1|))
193
           (|has| |#1| (|SetCategory|)))
194
          ((|LinearAggregate| |#1|) . T)
195
          (#3=(|OrderedSet|) |has| |#1| . #4=(#3#))
196
          ((|OrderedType|) |has| |#1| . #4#)
197
          ((|SetCategory|) |has| |#1| (|SetCategory|))
198
          ((|ShallowlyMutableAggregate| |#1|) . T) ((|Type|) . T))) 
199

200
Product

Resources

Company
