CoCalc -- code.lsp

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

2
(DECLAIM
3
 (FTYPE (FUNCTION (|%Thing| |%Shell|) (|%List| *)) |A1AGG-;members;$L;1|)) 
4

5
(DECLAIM
6
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) |A1AGG-;sort!;M2$;2|)) 
7

8
(DECLAIM
9
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|) |A1AGG-;any?;M$B;3|)) 
10

11
(DECLAIM
12
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
13
  |A1AGG-;every?;M$B;4|)) 
14

15
(DECLAIM
16
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Integer|)
17
  |A1AGG-;position;M$I;5|)) 
18

19
(DECLAIM
20
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) (|%Pair| |%Short| |%Thing|))
21
  |A1AGG-;find;M$U;6|)) 
22

23
(DECLAIM
24
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) (|%IntegerSection| 0))
25
  |A1AGG-;count;M$Nni;7|)) 
26

27
(DECLAIM
28
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) |A1AGG-;map!;M2$;8|)) 
29

30
(DECLAIM
31
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Shell|) |%Thing|)
32
  |A1AGG-;setelt;$Us2S;9|)) 
33

34
(DECLAIM
35
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
36
  |A1AGG-;reduce;M$S;10|)) 
37

38
(DECLAIM
39
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Shell|) |%Thing|)
40
  |A1AGG-;reduce;M$2S;11|)) 
41

42
(DECLAIM
43
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Thing| |%Shell|) |%Thing|)
44
  |A1AGG-;reduce;M$3S;12|)) 
45

46
(DECLAIM
47
 (FTYPE (FUNCTION ((|%IntegerSection| 0) |%Thing| |%Thing| |%Shell|) |%Thing|)
48
  |A1AGG-;stupidnew|)) 
49

50
(DECLAIM (FTYPE (FUNCTION ((|%List| *) |%Shell|) |%Thing|) |A1AGG-;stupidget|)) 
51

52
(DECLAIM
53
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Shell|) |%Thing|)
54
  |A1AGG-;map;M3$;15|)) 
55

56
(DECLAIM
57
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Thing| |%Shell|) |%Thing|)
58
  |A1AGG-;merge;M3$;16|)) 
59

60
(DECLAIM
61
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) |A1AGG-;elt;$Us$;17|)) 
62

63
(DECLAIM
64
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Integer| |%Shell|) |%Thing|)
65
  |A1AGG-;insert;2$I$;18|)) 
66

67
(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) |A1AGG-;copy;2$;19|)) 
68

69
(DECLAIM
70
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Integer| |%Shell|) |%Thing|)
71
  |A1AGG-;copyInto!;2$I$;20|)) 
72

73
(DECLAIM
74
 (FTYPE (FUNCTION ((|%List| *) |%Shell|) |%Thing|) |A1AGG-;construct;L$;21|)) 
75

76
(DECLAIM
77
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|)
78
  |A1AGG-;delete;$Us$;22|)) 
79

80
(DECLAIM
81
 (FTYPE (FUNCTION (|%Thing| |%Integer| |%Shell|) |%Thing|)
82
  |A1AGG-;delete;$I$;23|)) 
83

84
(DECLAIM
85
 (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) |A1AGG-;reverse!;2$;24|)) 
86

87
(DECLAIM
88
 (FTYPE (FUNCTION ((|%List| *) |%Shell|) |%Thing|) |A1AGG-;concat;L$;25|)) 
89

90
(DECLAIM
91
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|)
92
  |A1AGG-;sorted?;M$B;26|)) 
93

94
(DECLAIM
95
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Thing|) |A1AGG-;concat;3$;27|)) 
96

97
(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Thing|) |A1AGG-;coerce;$Of;28|)) 
98

99
(DECLAIM
100
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|) |A1AGG-;=;2$B;29|)) 
101

102
(DECLAIM
103
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Integer| |%Shell|) |%Integer|)
104
  |A1AGG-;position;S$2I;30|)) 
105

106
(DECLAIM
107
 (FTYPE (FUNCTION (|%Thing| |%Thing| |%Shell|) |%Boolean|) |A1AGG-;<;2$B;31|)) 
108

109
(DEFUN |A1AGG-;members;$L;1| (|x| $)
110
  (LET ((|i| (SPADCALL |x| (|shellEntry| $ 9)))
111
        (#1=#:G754 (SPADCALL |x| (|shellEntry| $ 10)))
112
        (#2=#:G574 NIL))
113
    (LOOP
114
     (COND ((< #1# |i|) (RETURN (|reverse!| #2#)))
115
           (T (SETQ #2# (CONS (SPADCALL |x| |i| (|shellEntry| $ 11)) #2#))))
116
     (SETQ |i| (+ |i| 1))))) 
117

118
(DEFUN |A1AGG-;sort!;M2$;2| (|f| |a| $) (SPADCALL |f| |a| (|shellEntry| $ 17))) 
119

120
(DEFUN |A1AGG-;any?;M$B;3| (|f| |a| $)
121
  (PROGN
122
   (LET ((|i| (SPADCALL |a| (|shellEntry| $ 9)))
123
         (#1=#:G755 (SPADCALL |a| (|shellEntry| $ 10))))
124
     (LOOP
125
      (COND ((< #1# |i|) (RETURN NIL))
126
            (T
127
             (COND
128
              ((FUNCALL (CAR |f|) (SPADCALL |a| |i| (|shellEntry| $ 11))
129
                        (CDR |f|))
130
               (RETURN-FROM |A1AGG-;any?;M$B;3| T)))))
131
      (SETQ |i| (+ |i| 1))))
132
   NIL)) 
133

134
(DEFUN |A1AGG-;every?;M$B;4| (|f| |a| $)
135
  (PROGN
136
   (LET ((|i| (SPADCALL |a| (|shellEntry| $ 9)))
137
         (#1=#:G756 (SPADCALL |a| (|shellEntry| $ 10))))
138
     (LOOP
139
      (COND ((< #1# |i|) (RETURN NIL))
140
            (T
141
             (COND
142
              ((NOT
143
                (FUNCALL (CAR |f|) (SPADCALL |a| |i| (|shellEntry| $ 11))
144
                         (CDR |f|)))
145
               (RETURN-FROM |A1AGG-;every?;M$B;4| NIL)))))
146
      (SETQ |i| (+ |i| 1))))
147
   T)) 
148

149
(DEFUN |A1AGG-;position;M$I;5| (|f| |a| $)
150
  (PROGN
151
   (LET ((|i| (SPADCALL |a| (|shellEntry| $ 9)))
152
         (#1=#:G757 (SPADCALL |a| (|shellEntry| $ 10))))
153
     (LOOP
154
      (COND ((< #1# |i|) (RETURN NIL))
155
            (T
156
             (COND
157
              ((FUNCALL (CAR |f|) (SPADCALL |a| |i| (|shellEntry| $ 11))
158
                        (CDR |f|))
159
               (RETURN-FROM |A1AGG-;position;M$I;5| |i|)))))
160
      (SETQ |i| (+ |i| 1))))
161
   (- (SPADCALL |a| (|shellEntry| $ 9)) 1))) 
162

163
(DEFUN |A1AGG-;find;M$U;6| (|f| |a| $)
164
  (PROGN
165
   (LET ((|i| (SPADCALL |a| (|shellEntry| $ 9)))
166
         (#1=#:G758 (SPADCALL |a| (|shellEntry| $ 10))))
167
     (LOOP
168
      (COND ((< #1# |i|) (RETURN NIL))
169
            (T
170
             (COND
171
              ((FUNCALL (CAR |f|) (SPADCALL |a| |i| (|shellEntry| $ 11))
172
                        (CDR |f|))
173
               (RETURN-FROM |A1AGG-;find;M$U;6|
174
                 (CONS 0 (SPADCALL |a| |i| (|shellEntry| $ 11))))))))
175
      (SETQ |i| (+ |i| 1))))
176
   (CONS 1 "failed"))) 
177

178
(DEFUN |A1AGG-;count;M$Nni;7| (|f| |a| $)
179
  (LET ((|n| 0))
180
    (PROGN
181
     (LET ((|i| (SPADCALL |a| (|shellEntry| $ 9)))
182
           (#1=#:G759 (SPADCALL |a| (|shellEntry| $ 10))))
183
       (LOOP
184
        (COND ((< #1# |i|) (RETURN NIL))
185
              (T
186
               (COND
187
                ((FUNCALL (CAR |f|) (SPADCALL |a| |i| (|shellEntry| $ 11))
188
                          (CDR |f|))
189
                 (SETQ |n| (+ |n| 1))))))
190
        (SETQ |i| (+ |i| 1))))
191
     |n|))) 
192

193
(DEFUN |A1AGG-;map!;M2$;8| (|f| |a| $)
194
  (PROGN
195
   (LET ((|i| (SPADCALL |a| (|shellEntry| $ 9)))
196
         (#1=#:G760 (SPADCALL |a| (|shellEntry| $ 10))))
197
     (LOOP
198
      (COND ((< #1# |i|) (RETURN NIL))
199
            (T
200
             (SPADCALL |a| |i|
201
                       (FUNCALL (CAR |f|)
202
                                (SPADCALL |a| |i| (|shellEntry| $ 11))
203
                                (CDR |f|))
204
                       (|shellEntry| $ 35))))
205
      (SETQ |i| (+ |i| 1))))
206
   |a|)) 
207

208
(DEFUN |A1AGG-;setelt;$Us2S;9| (|a| |s| |x| $)
209
  (LET ((|l| (SPADCALL |s| (|shellEntry| $ 39)))
210
        (|h|
211
         (COND
212
          ((SPADCALL |s| (|shellEntry| $ 40))
213
           (SPADCALL |s| (|shellEntry| $ 41)))
214
          (T (SPADCALL |a| (|shellEntry| $ 10))))))
215
    (SEQ
216
     (COND
217
      ((< |l| (SPADCALL |a| (|shellEntry| $ 9)))
218
       (EXIT (|error| #1="index out of range"))))
219
     (COND ((< (SPADCALL |a| (|shellEntry| $ 10)) |h|) (EXIT (|error| #1#))))
220
     (LET ((|k| |l|))
221
       (LOOP
222
        (COND ((< |h| |k|) (RETURN NIL))
223
              (T (SPADCALL |a| |k| |x| (|shellEntry| $ 35))))
224
        (SETQ |k| (+ |k| 1))))
225
     (EXIT |x|)))) 
226

227
(DEFUN |A1AGG-;reduce;M$S;10| (|f| |a| $)
228
  (COND
229
   ((SPADCALL |a| (|shellEntry| $ 45))
230
    (|error| "cannot reduce an empty aggregate"))
231
   (T
232
    (LET* ((|m| (SPADCALL |a| (|shellEntry| $ 9)))
233
           (|r| (SPADCALL |a| |m| (|shellEntry| $ 11))))
234
      (PROGN
235
       (LET ((|k| (+ |m| 1)) (#1=#:G761 (SPADCALL |a| (|shellEntry| $ 10))))
236
         (LOOP
237
          (COND ((< #1# |k|) (RETURN NIL))
238
                (T
239
                 (SETQ |r|
240
                         (FUNCALL (CAR |f|) |r|
241
                                  (SPADCALL |a| |k| (|shellEntry| $ 11))
242
                                  (CDR |f|)))))
243
          (SETQ |k| (+ |k| 1))))
244
       |r|))))) 
245

246
(DEFUN |A1AGG-;reduce;M$2S;11| (|f| |a| |identity| $)
247
  (PROGN
248
   (LET ((|k| (SPADCALL |a| (|shellEntry| $ 9)))
249
         (#1=#:G762 (SPADCALL |a| (|shellEntry| $ 10))))
250
     (LOOP
251
      (COND ((< #1# |k|) (RETURN NIL))
252
            (T
253
             (SETQ |identity|
254
                     (FUNCALL (CAR |f|) |identity|
255
                              (SPADCALL |a| |k| (|shellEntry| $ 11))
256
                              (CDR |f|)))))
257
      (SETQ |k| (+ |k| 1))))
258
   |identity|)) 
259

260
(DEFUN |A1AGG-;reduce;M$3S;12| (|f| |a| |identity| |absorber| $)
261
  (PROGN
262
   (LET ((|k| (SPADCALL |a| (|shellEntry| $ 9)))
263
         (#1=#:G763 (SPADCALL |a| (|shellEntry| $ 10))))
264
     (LOOP
265
      (COND
266
       ((OR (< #1# |k|)
267
            (NOT (SPADCALL |identity| |absorber| (|shellEntry| $ 51))))
268
        (RETURN NIL))
269
       (T
270
        (SETQ |identity|
271
                (FUNCALL (CAR |f|) |identity|
272
                         (SPADCALL |a| |k| (|shellEntry| $ 11)) (CDR |f|)))))
273
      (SETQ |k| (+ |k| 1))))
274
   |identity|)) 
275

276
(DEFUN |A1AGG-;stupidnew| (|n| |a| |b| $)
277
  (COND ((ZEROP |n|) (SPADCALL (|shellEntry| $ 54)))
278
        (T
279
         (SPADCALL |n|
280
                   (COND
281
                    ((SPADCALL |a| (|shellEntry| $ 45))
282
                     (SPADCALL |b| (SPADCALL |b| (|shellEntry| $ 9))
283
                               (|shellEntry| $ 11)))
284
                    (T
285
                     (SPADCALL |a| (SPADCALL |a| (|shellEntry| $ 9))
286
                               (|shellEntry| $ 11))))
287
                   (|shellEntry| $ 55))))) 
288

289
(DEFUN |A1AGG-;stupidget| (|l| $)
290
  (PROGN
291
   (LET ((#1=#:G764 |l|))
292
     (LOOP
293
      (COND ((NOT (CONSP #1#)) (RETURN NIL))
294
            (T
295
             (LET ((|a| (CAR #1#)))
296
               (COND
297
                ((NOT (SPADCALL |a| (|shellEntry| $ 45)))
298
                 (RETURN-FROM |A1AGG-;stupidget|
299
                   (SPADCALL |a| (|shellEntry| $ 56))))))))
300
      (SETQ #1# (CDR #1#))))
301
   (|error| "Should not happen"))) 
302

303
(DEFUN |A1AGG-;map;M3$;15| (|f| |a| |b| $)
304
  (LET* ((|m|
305
          (MAX (SPADCALL |a| (|shellEntry| $ 9))
306
               (SPADCALL |b| (|shellEntry| $ 9))))
307
         (|n|
308
          (MIN (SPADCALL |a| (|shellEntry| $ 10))
309
               (SPADCALL |b| (|shellEntry| $ 10))))
310
         (|l|
311
          (LET ((#1=#:G638 (MAX 0 (+ (- |n| |m|) 1))))
312
            (COND ((NOT (MINUSP #1#)) #1#)
313
                  (T (|moanRetract| #1# '(|NonNegativeInteger|))))))
314
         (|c| (|A1AGG-;stupidnew| |l| |a| |b| $)))
315
    (PROGN
316
     (LET ((|i| (SPADCALL |c| (|shellEntry| $ 9))) (|j| |m|))
317
       (LOOP
318
        (COND ((< |n| |j|) (RETURN NIL))
319
              (T
320
               (SPADCALL |c| |i|
321
                         (FUNCALL (CAR |f|)
322
                                  (SPADCALL |a| |j| (|shellEntry| $ 11))
323
                                  (SPADCALL |b| |j| (|shellEntry| $ 11))
324
                                  (CDR |f|))
325
                         (|shellEntry| $ 35))))
326
        (SETQ |i| (+ |i| 1))
327
        (SETQ |j| (+ |j| 1))))
328
     |c|))) 
329

330
(DEFUN |A1AGG-;merge;M3$;16| (|f| |a| |b| $)
331
  (LET* ((|r|
332
          (|A1AGG-;stupidnew|
333
           (+ (SPADCALL |a| (|shellEntry| $ 61))
334
              (SPADCALL |b| (|shellEntry| $ 61)))
335
           |a| |b| $))
336
         (|i| (SPADCALL |a| (|shellEntry| $ 9)))
337
         (|m| (SPADCALL |a| (|shellEntry| $ 10)))
338
         (|j| (SPADCALL |b| (|shellEntry| $ 9)))
339
         (|n| (SPADCALL |b| (|shellEntry| $ 10)))
340
         (|k| (SPADCALL |r| (|shellEntry| $ 9))))
341
    (SEQ
342
     (LOOP
343
      (COND ((NOT (AND (NOT (< |m| |i|)) (NOT (< |n| |j|)))) (RETURN NIL))
344
            (T
345
             (SEQ
346
              (COND
347
               ((FUNCALL (CAR |f|) (SPADCALL |a| |i| (|shellEntry| $ 11))
348
                         (SPADCALL |b| |j| (|shellEntry| $ 11)) (CDR |f|))
349
                (PROGN
350
                 (SPADCALL |r| |k| (SPADCALL |a| |i| (|shellEntry| $ 11))
351
                           (|shellEntry| $ 35))
352
                 (SETQ |i| (+ |i| 1))))
353
               (T
354
                (PROGN
355
                 (SPADCALL |r| |k| (SPADCALL |b| |j| (|shellEntry| $ 11))
356
                           (|shellEntry| $ 35))
357
                 (SETQ |j| (+ |j| 1)))))
358
              (EXIT (SETQ |k| (+ |k| 1)))))))
359
     (LOOP
360
      (COND ((< |m| |i|) (RETURN NIL))
361
            (T
362
             (PROGN
363
              (SPADCALL |r| |k| (SPADCALL |a| |i| (|shellEntry| $ 63))
364
                        (|shellEntry| $ 35))
365
              (SETQ |k| (+ |k| 1))
366
              (SETQ |i| (+ |i| 1))))))
367
     (LOOP
368
      (COND ((< |n| |j|) (RETURN NIL))
369
            (T
370
             (PROGN
371
              (SPADCALL |r| |k| (SPADCALL |b| |j| (|shellEntry| $ 63))
372
                        (|shellEntry| $ 35))
373
              (SETQ |k| (+ |k| 1))
374
              (SETQ |j| (+ |j| 1))))))
375
     (EXIT |r|)))) 
376

377
(DEFUN |A1AGG-;elt;$Us$;17| (|a| |s| $)
378
  (PROG (|r|)
379
    (RETURN
380
     (LET ((|l| (SPADCALL |s| (|shellEntry| $ 39)))
381
           (|h|
382
            (COND
383
             ((SPADCALL |s| (|shellEntry| $ 40))
384
              (SPADCALL |s| (|shellEntry| $ 41)))
385
             (T (SPADCALL |a| (|shellEntry| $ 10))))))
386
       (SEQ
387
        (COND
388
         ((< |l| (SPADCALL |a| (|shellEntry| $ 9)))
389
          (EXIT (|error| #1="index out of range"))))
390
        (COND
391
         ((< (SPADCALL |a| (|shellEntry| $ 10)) |h|) (EXIT (|error| #1#))))
392
        (LETT |r|
393
              (|A1AGG-;stupidnew|
394
               (LET ((#2=#:G666 (MAX 0 (+ (- |h| |l|) 1))))
395
                 (COND ((NOT (MINUSP #2#)) #2#)
396
                       (T (|moanRetract| #2# '(|NonNegativeInteger|)))))
397
               |a| |a| $)
398
              |A1AGG-;elt;$Us$;17|)
399
        (LET ((|k| (SPADCALL |r| (|shellEntry| $ 9))) (|i| |l|))
400
          (LOOP
401
           (COND ((< |h| |i|) (RETURN NIL))
402
                 (T
403
                  (SPADCALL |r| |k| (SPADCALL |a| |i| (|shellEntry| $ 11))
404
                            (|shellEntry| $ 35))))
405
           (SETQ |k| (+ |k| 1))
406
           (SETQ |i| (+ |i| 1))))
407
        (EXIT |r|)))))) 
408

409
(DEFUN |A1AGG-;insert;2$I$;18| (|a| |b| |i| $)
410
  (PROG (|k| |y|)
411
    (RETURN
412
     (LET ((|m| (SPADCALL |b| (|shellEntry| $ 9)))
413
           (|n| (SPADCALL |b| (|shellEntry| $ 10))))
414
       (COND ((OR (< |i| |m|) (< |n| |i|)) (|error| "index out of range"))
415
             (T
416
              (SEQ
417
               (LETT |y|
418
                     (|A1AGG-;stupidnew|
419
                      (+ (SPADCALL |a| (|shellEntry| $ 61))
420
                         (SPADCALL |b| (|shellEntry| $ 61)))
421
                      |a| |b| $)
422
                     . #1=(|A1AGG-;insert;2$I$;18|))
423
               (LETT |k| (SPADCALL |y| (|shellEntry| $ 9)) . #1#)
424
               (LET ((|j| |m|) (#2=#:G765 (- |i| 1)))
425
                 (LOOP
426
                  (COND ((< #2# |j|) (RETURN NIL))
427
                        (T
428
                         (PROGN
429
                          (SPADCALL |y| |k|
430
                                    (SPADCALL |b| |j| (|shellEntry| $ 11))
431
                                    (|shellEntry| $ 35))
432
                          (SETQ |k| (+ |k| 1)))))
433
                  (SETQ |j| (+ |j| 1))))
434
               (LET ((|j| (SPADCALL |a| (|shellEntry| $ 9)))
435
                     (#3=#:G766 (SPADCALL |a| (|shellEntry| $ 10))))
436
                 (LOOP
437
                  (COND ((< #3# |j|) (RETURN NIL))
438
                        (T
439
                         (PROGN
440
                          (SPADCALL |y| |k|
441
                                    (SPADCALL |a| |j| (|shellEntry| $ 11))
442
                                    (|shellEntry| $ 35))
443
                          (SETQ |k| (+ |k| 1)))))
444
                  (SETQ |j| (+ |j| 1))))
445
               (LET ((|j| |i|))
446
                 (LOOP
447
                  (COND ((< |n| |j|) (RETURN NIL))
448
                        (T
449
                         (PROGN
450
                          (SPADCALL |y| |k|
451
                                    (SPADCALL |b| |j| (|shellEntry| $ 11))
452
                                    (|shellEntry| $ 35))
453
                          (SETQ |k| (+ |k| 1)))))
454
                  (SETQ |j| (+ |j| 1))))
455
               (EXIT |y|)))))))) 
456

457
(DEFUN |A1AGG-;copy;2$;19| (|x| $)
458
  (LET ((|y| (|A1AGG-;stupidnew| (SPADCALL |x| (|shellEntry| $ 61)) |x| |x| $)))
459
    (PROGN
460
     (LET ((|i| (SPADCALL |x| (|shellEntry| $ 9)))
461
           (#1=#:G767 (SPADCALL |x| (|shellEntry| $ 10)))
462
           (|j| (SPADCALL |y| (|shellEntry| $ 9))))
463
       (LOOP
464
        (COND ((< #1# |i|) (RETURN NIL))
465
              (T
466
               (SPADCALL |y| |j| (SPADCALL |x| |i| (|shellEntry| $ 11))
467
                         (|shellEntry| $ 35))))
468
        (SETQ |i| (+ |i| 1))
469
        (SETQ |j| (+ |j| 1))))
470
     |y|))) 
471

472
(DEFUN |A1AGG-;copyInto!;2$I$;20| (|y| |x| |s| $)
473
  (COND
474
   ((OR (< |s| (SPADCALL |y| (|shellEntry| $ 9)))
475
        (< (+ (SPADCALL |y| (|shellEntry| $ 10)) 1)
476
           (+ |s| (SPADCALL |x| (|shellEntry| $ 61)))))
477
    (|error| "index out of range"))
478
   (T
479
    (PROGN
480
     (LET ((|i| (SPADCALL |x| (|shellEntry| $ 9)))
481
           (#1=#:G768 (SPADCALL |x| (|shellEntry| $ 10)))
482
           (|j| |s|))
483
       (LOOP
484
        (COND ((< #1# |i|) (RETURN NIL))
485
              (T
486
               (SPADCALL |y| |j| (SPADCALL |x| |i| (|shellEntry| $ 11))
487
                         (|shellEntry| $ 35))))
488
        (SETQ |i| (+ |i| 1))
489
        (SETQ |j| (+ |j| 1))))
490
     |y|)))) 
491

492
(DEFUN |A1AGG-;construct;L$;21| (|l| $)
493
  (COND ((NULL |l|) (SPADCALL (|shellEntry| $ 54)))
494
        (T
495
         (LET ((|a|
496
                (SPADCALL (LIST-LENGTH |l|) (|SPADfirst| |l|)
497
                          (|shellEntry| $ 55))))
498
           (PROGN
499
            (LET ((|i| (SPADCALL |a| (|shellEntry| $ 9))) (#1=#:G769 |l|))
500
              (LOOP
501
               (COND ((NOT (CONSP #1#)) (RETURN NIL))
502
                     (T (SPADCALL |a| |i| (CAR #1#) (|shellEntry| $ 35))))
503
               (SETQ |i| (+ |i| 1))
504
               (SETQ #1# (CDR #1#))))
505
            |a|))))) 
506

507
(DEFUN |A1AGG-;delete;$Us$;22| (|a| |s| $)
508
  (PROG (|k| |r|)
509
    (RETURN
510
     (LET ((|l| (SPADCALL |s| (|shellEntry| $ 39)))
511
           (|h|
512
            (COND
513
             ((SPADCALL |s| (|shellEntry| $ 40))
514
              (SPADCALL |s| (|shellEntry| $ 41)))
515
             (T (SPADCALL |a| (|shellEntry| $ 10))))))
516
       (SEQ
517
        (COND
518
         ((< |l| (SPADCALL |a| (|shellEntry| $ 9)))
519
          (EXIT (|error| #1="index out of range"))))
520
        (COND
521
         ((< (SPADCALL |a| (|shellEntry| $ 10)) |h|) (EXIT (|error| #1#))))
522
        (EXIT
523
         (COND ((< |h| |l|) (SPADCALL |a| (|shellEntry| $ 74)))
524
               (T
525
                (SEQ
526
                 (LETT |r|
527
                       (|A1AGG-;stupidnew|
528
                        (LET ((#2=#:G704
529
                               (-
530
                                (+ (- (SPADCALL |a| (|shellEntry| $ 61)) |h|)
531
                                   |l|)
532
                                1)))
533
                          (COND ((NOT (MINUSP #2#)) #2#)
534
                                (T
535
                                 (|moanRetract| #2# '(|NonNegativeInteger|)))))
536
                        |a| |a| $)
537
                       . #3=(|A1AGG-;delete;$Us$;22|))
538
                 (LETT |k| (SPADCALL |r| (|shellEntry| $ 9)) . #3#)
539
                 (LET ((|i| (SPADCALL |a| (|shellEntry| $ 9)))
540
                       (#4=#:G770 (- |l| 1)))
541
                   (LOOP
542
                    (COND ((< #4# |i|) (RETURN NIL))
543
                          (T
544
                           (PROGN
545
                            (SPADCALL |r| |k|
546
                                      (SPADCALL |a| |i| (|shellEntry| $ 11))
547
                                      (|shellEntry| $ 35))
548
                            (SETQ |k| (+ |k| 1)))))
549
                    (SETQ |i| (+ |i| 1))))
550
                 (LET ((|i| (+ |h| 1))
551
                       (#5=#:G771 (SPADCALL |a| (|shellEntry| $ 10))))
552
                   (LOOP
553
                    (COND ((< #5# |i|) (RETURN NIL))
554
                          (T
555
                           (PROGN
556
                            (SPADCALL |r| |k|
557
                                      (SPADCALL |a| |i| (|shellEntry| $ 11))
558
                                      (|shellEntry| $ 35))
559
                            (SETQ |k| (+ |k| 1)))))
560
                    (SETQ |i| (+ |i| 1))))
561
                 (EXIT |r|)))))))))) 
562

563
(DEFUN |A1AGG-;delete;$I$;23| (|x| |i| $)
564
  (COND
565
   ((OR (< |i| (SPADCALL |x| (|shellEntry| $ 9)))
566
        (< (SPADCALL |x| (|shellEntry| $ 10)) |i|))
567
    (|error| "index out of range"))
568
   (T
569
    (LET* ((|y|
570
            (|A1AGG-;stupidnew|
571
             (LET ((#1=#:G715 (- (SPADCALL |x| (|shellEntry| $ 61)) 1)))
572
               (COND ((NOT (MINUSP #1#)) #1#)
573
                     (T (|moanRetract| #1# '(|NonNegativeInteger|)))))
574
             |x| |x| $))
575
           (|k| (SPADCALL |y| (|shellEntry| $ 9))))
576
      (SEQ
577
       (LET ((|j| (SPADCALL |x| (|shellEntry| $ 9))) (#2=#:G772 (- |i| 1)))
578
         (LOOP
579
          (COND ((< #2# |j|) (RETURN NIL))
580
                (T
581
                 (PROGN
582
                  (SPADCALL |y| |k| (SPADCALL |x| |j| (|shellEntry| $ 11))
583
                            (|shellEntry| $ 35))
584
                  (SETQ |k| (+ |k| 1)))))
585
          (SETQ |j| (+ |j| 1))))
586
       (LET ((|j| (+ |i| 1)) (#3=#:G773 (SPADCALL |x| (|shellEntry| $ 10))))
587
         (LOOP
588
          (COND ((< #3# |j|) (RETURN NIL))
589
                (T
590
                 (PROGN
591
                  (SPADCALL |y| |k| (SPADCALL |x| |j| (|shellEntry| $ 11))
592
                            (|shellEntry| $ 35))
593
                  (SETQ |k| (+ |k| 1)))))
594
          (SETQ |j| (+ |j| 1))))
595
       (EXIT |y|)))))) 
596

597
(DEFUN |A1AGG-;reverse!;2$;24| (|x| $)
598
  (LET ((|m| (SPADCALL |x| (|shellEntry| $ 9)))
599
        (|n| (SPADCALL |x| (|shellEntry| $ 10))))
600
    (PROGN
601
     (LET ((|i| 0) (#1=#:G774 (TRUNCATE (- |n| |m|) 2)))
602
       (LOOP
603
        (COND ((< #1# |i|) (RETURN NIL))
604
              (T (SPADCALL |x| (+ |m| |i|) (- |n| |i|) (|shellEntry| $ 79))))
605
        (SETQ |i| (+ |i| 1))))
606
     |x|))) 
607

608
(DEFUN |A1AGG-;concat;L$;25| (|l| $)
609
  (COND ((NULL |l|) (SPADCALL (|shellEntry| $ 54)))
610
        (T
611
         (LET* ((|n|
612
                 (LET ((#1=#:G720 NIL) (#2=#:G721 T) (#3=#:G776 |l|))
613
                   (LOOP
614
                    (COND ((NOT (CONSP #3#)) (RETURN (COND (#2# 0) (T #1#))))
615
                          (T
616
                           (LET ((#4=#:G719
617
                                  (SPADCALL (CAR #3#) (|shellEntry| $ 61))))
618
                             (PROGN
619
                              (COND (#2# (SETQ #1# #4#))
620
                                    (T (SETQ #1# (+ #1# #4#))))
621
                              (SETQ #2# NIL)))))
622
                    (SETQ #3# (CDR #3#)))))
623
                (|r|
624
                 (SPADCALL |n| (|A1AGG-;stupidget| |l| $) (|shellEntry| $ 55)))
625
                (|i| (SPADCALL |r| (|shellEntry| $ 9))))
626
           (SEQ
627
            (LET ((#5=#:G775 |l|))
628
              (LOOP
629
               (COND ((NOT (CONSP #5#)) (RETURN NIL))
630
                     (T
631
                      (LET ((|a| (CAR #5#)))
632
                        (PROGN
633
                         (SPADCALL |r| |a| |i| (|shellEntry| $ 83))
634
                         (SETQ |i|
635
                                 (+ |i|
636
                                    (SPADCALL |a| (|shellEntry| $ 61))))))))
637
               (SETQ #5# (CDR #5#))))
638
            (EXIT |r|)))))) 
639

640
(DEFUN |A1AGG-;sorted?;M$B;26| (|f| |a| $)
641
  (PROGN
642
   (LET ((|i| (SPADCALL |a| (|shellEntry| $ 9)))
643
         (#1=#:G777 (- (SPADCALL |a| (|shellEntry| $ 10)) 1)))
644
     (LOOP
645
      (COND ((< #1# |i|) (RETURN NIL))
646
            (T
647
             (COND
648
              ((NOT
649
                (FUNCALL (CAR |f|) (SPADCALL |a| |i| (|shellEntry| $ 11))
650
                         (SPADCALL |a| (+ |i| 1) (|shellEntry| $ 11))
651
                         (CDR |f|)))
652
               (RETURN-FROM |A1AGG-;sorted?;M$B;26| NIL)))))
653
      (SETQ |i| (+ |i| 1))))
654
   T)) 
655

656
(DEFUN |A1AGG-;concat;3$;27| (|x| |y| $)
657
  (LET* ((|z|
658
          (|A1AGG-;stupidnew|
659
           (+ (SPADCALL |x| (|shellEntry| $ 61))
660
              (SPADCALL |y| (|shellEntry| $ 61)))
661
           |x| |y| $))
662
         (|i| (SPADCALL |z| (|shellEntry| $ 9))))
663
    (PROGN
664
     (SPADCALL |z| |x| |i| (|shellEntry| $ 83))
665
     (SPADCALL |z| |y| (+ |i| (SPADCALL |x| (|shellEntry| $ 61)))
666
               (|shellEntry| $ 83))
667
     |z|))) 
668

669
(DEFUN |A1AGG-;coerce;$Of;28| (|r| $)
670
  (SPADCALL
671
   (SPADCALL
672
    (LET ((|k| (SPADCALL |r| (|shellEntry| $ 9)))
673
          (#1=#:G778 (SPADCALL |r| (|shellEntry| $ 10)))
674
          (#2=#:G735 NIL))
675
      (LOOP
676
       (COND ((< #1# |k|) (RETURN (|reverse!| #2#)))
677
             (T
678
              (SETQ #2#
679
                      (CONS
680
                       (SPADCALL (SPADCALL |r| |k| (|shellEntry| $ 11))
681
                                 (|shellEntry| $ 89))
682
                       #2#))))
683
       (SETQ |k| (+ |k| 1))))
684
    (|shellEntry| $ 90))
685
   (|shellEntry| $ 91))) 
686

687
(DEFUN |A1AGG-;=;2$B;29| (|x| |y| $)
688
  (AND
689
   (NOT
690
    (SPADCALL (SPADCALL |x| (|shellEntry| $ 61))
691
              (SPADCALL |y| (|shellEntry| $ 61)) (|shellEntry| $ 93)))
692
   (PROGN
693
    (LET ((|i| (SPADCALL |x| (|shellEntry| $ 9)))
694
          (#1=#:G779 (SPADCALL |x| (|shellEntry| $ 10))))
695
      (LOOP
696
       (COND ((< #1# |i|) (RETURN NIL))
697
             (T
698
              (COND
699
               ((NOT
700
                 (SPADCALL (SPADCALL |x| |i| (|shellEntry| $ 11))
701
                           (SPADCALL |y| |i| (|shellEntry| $ 11))
702
                           (|shellEntry| $ 94)))
703
                (RETURN-FROM |A1AGG-;=;2$B;29| NIL)))))
704
       (SETQ |i| (+ |i| 1))))
705
    T))) 
706

707
(DEFUN |A1AGG-;position;S$2I;30| (|x| |t| |s| $)
708
  (LET ((|n| (SPADCALL |t| (|shellEntry| $ 10))))
709
    (SEQ
710
     (COND
711
      ((OR (< |s| (SPADCALL |t| (|shellEntry| $ 9))) (< |n| |s|))
712
       (EXIT (|error| "index out of range"))))
713
     (LET ((|k| |s|))
714
       (LOOP
715
        (COND ((< |n| |k|) (RETURN NIL))
716
              (T
717
               (COND
718
                ((SPADCALL (SPADCALL |t| |k| (|shellEntry| $ 11)) |x|
719
                           (|shellEntry| $ 94))
720
                 (RETURN-FROM |A1AGG-;position;S$2I;30| |k|)))))
721
        (SETQ |k| (+ |k| 1))))
722
     (EXIT (- (SPADCALL |t| (|shellEntry| $ 9)) 1))))) 
723

724
(DEFUN |A1AGG-;<;2$B;31| (|a| |b| $)
725
  (PROGN
726
   (LET ((|i| (SPADCALL |a| (|shellEntry| $ 9)))
727
         (#1=#:G780 (SPADCALL |a| (|shellEntry| $ 10)))
728
         (|j| (SPADCALL |b| (|shellEntry| $ 9)))
729
         (#2=#:G781 (SPADCALL |b| (|shellEntry| $ 10))))
730
     (LOOP
731
      (COND ((OR (< #1# |i|) (< #2# |j|)) (RETURN NIL))
732
            (T
733
             (COND
734
              ((SPADCALL (SPADCALL |a| |i| (|shellEntry| $ 11))
735
                         (SPADCALL |b| |j| (|shellEntry| $ 11))
736
                         (|shellEntry| $ 51))
737
               (RETURN-FROM |A1AGG-;<;2$B;31|
738
                 (SPADCALL (SPADCALL |a| |i| (|shellEntry| $ 63))
739
                           (SPADCALL |b| |j| (|shellEntry| $ 63))
740
                           (|shellEntry| $ 97)))))))
741
      (SETQ |i| (+ |i| 1))
742
      (SETQ |j| (+ |j| 1))))
743
   (< (SPADCALL |a| (|shellEntry| $ 61)) (SPADCALL |b| (|shellEntry| $ 61))))) 
744

745
(DEFUN |OneDimensionalArrayAggregate&| (|#1| |#2|)
746
  (LET* ((|dv$1| (|devaluate| |#1|))
747
         (|dv$2| (|devaluate| |#2|))
748
         (|dv$| (LIST '|OneDimensionalArrayAggregate&| |dv$1| |dv$2|))
749
         ($ (|newShell| 100))
750
         (|pv$| (|buildPredVector| 0 0 NIL)))
751
    (PROGN
752
     (SETF (|shellEntry| $ 0) |dv$|)
753
     (SETF (|shellEntry| $ 3) |pv$|)
754
     (|stuffDomainSlots| $)
755
     (SETF (|shellEntry| $ 6) |#1|)
756
     (SETF (|shellEntry| $ 7) |#2|)
757
     (COND
758
      ((|HasCategory| |#2| '(|BasicType|))
759
       (SETF (|shellEntry| $ 52) (CONS #'|A1AGG-;reduce;M$3S;12| $))))
760
     (COND
761
      ((|HasCategory| |#2| '(|CoercibleTo| (|OutputForm|)))
762
       (SETF (|shellEntry| $ 92) (CONS #'|A1AGG-;coerce;$Of;28| $))))
763
     (COND
764
      ((|HasCategory| |#2| '(|BasicType|))
765
       (PROGN
766
        (SETF (|shellEntry| $ 95) (CONS #'|A1AGG-;=;2$B;29| $))
767
        (SETF (|shellEntry| $ 96) (CONS #'|A1AGG-;position;S$2I;30| $)))))
768
     (COND
769
      ((|HasCategory| |#2| '(|OrderedSet|))
770
       (SETF (|shellEntry| $ 99) (CONS #'|A1AGG-;<;2$B;31| $))))
771
     $))) 
772

773
(MAKEPROP '|OneDimensionalArrayAggregate&| '|infovec|
774
          (LIST
775
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) (|Integer|)
776
              (0 . |minIndex|) (5 . |maxIndex|) (10 . |qelt|) (|List| 7)
777
              |A1AGG-;members;$L;1| (|FiniteLinearAggregateSort| 7 6)
778
              (|Boolean|) (|Mapping| 15 7 7) (16 . |quickSort|)
779
              |A1AGG-;sort!;M2$;2| (22 . |true|) (26 . |false|)
780
              (|Mapping| 15 7) |A1AGG-;any?;M$B;3| |A1AGG-;every?;M$B;4|
781
              (|PositiveInteger|) (30 . |One|) (34 . -) |A1AGG-;position;M$I;5|
782
              (|Union| 7 '"failed") |A1AGG-;find;M$U;6| (|NonNegativeInteger|)
783
              (40 . |Zero|) (44 . |One|) (48 . +) |A1AGG-;count;M$Nni;7|
784
              (54 . |qsetelt!|) (|Mapping| 7 7) |A1AGG-;map!;M2$;8|
785
              (|UniversalSegment| 8) (61 . |lo|) (66 . |hasHi|) (71 . |hi|)
786
              (76 . <) (82 . >) |A1AGG-;setelt;$Us2S;9| (88 . |empty?|)
787
              (93 . |One|) (97 . +) (|Mapping| 7 7 7) |A1AGG-;reduce;M$S;10|
788
              |A1AGG-;reduce;M$2S;11| (103 . ~=) (109 . |reduce|)
789
              (117 . |zero?|) (122 . |empty|) (126 . |new|) (132 . |first|)
790
              (137 . |max|) (143 . |min|) (149 . |Zero|) |A1AGG-;map;M3$;15|
791
              (153 . |#|) (158 . <=) (164 . |elt|) |A1AGG-;merge;M3$;16|
792
              (170 . |max|) |A1AGG-;elt;$Us$;17| |A1AGG-;insert;2$I$;18|
793
              |A1AGG-;copy;2$;19| |A1AGG-;copyInto!;2$I$;20| (174 . |empty?|)
794
              (179 . |#|) (184 . |first|) |A1AGG-;construct;L$;21|
795
              (189 . |copy|) |A1AGG-;delete;$Us$;22| |A1AGG-;delete;$I$;23|
796
              (194 . |quo|) (|Void|) (200 . |swap!|) |A1AGG-;reverse!;2$;24|
797
              (|List| 6) (207 . |empty?|) (212 . |copyInto!|) (|List| $)
798
              |A1AGG-;concat;L$;25| |A1AGG-;sorted?;M$B;26|
799
              |A1AGG-;concat;3$;27| (|OutputForm|) (219 . |coerce|)
800
              (224 . |commaSeparate|) (229 . |bracket|) (234 . |coerce|)
801
              (239 . ~=) (245 . =) (251 . =) (257 . |position|) (264 . <)
802
              (270 . <) (276 . <))
803
           '#(|sorted?| 282 |sort!| 288 |setelt| 294 |reverse!| 301 |reduce|
804
              306 |position| 327 |merge| 340 |members| 347 |map!| 352 |map| 358
805
              |insert| 365 |find| 372 |every?| 378 |elt| 384 |delete| 390
806
              |count| 402 |copyInto!| 408 |copy| 415 |construct| 420 |concat|
807
              425 |coerce| 436 |any?| 441 = 447 < 453)
808
           'NIL
809
           (CONS (|makeByteWordVec2| 1 'NIL)
810
                 (CONS '#()
811
                       (CONS '#()
812
                             (|makeByteWordVec2| 99
813
                                                 '(1 6 8 0 9 1 6 8 0 10 2 6 7 0
814
                                                   8 11 2 14 6 16 6 17 0 15 0
815
                                                   19 0 15 0 20 0 24 0 25 2 8 0
816
                                                   0 0 26 0 30 0 31 0 30 0 32 2
817
                                                   30 0 0 0 33 3 6 7 0 8 7 35 1
818
                                                   38 8 0 39 1 38 15 0 40 1 38
819
                                                   8 0 41 2 8 15 0 0 42 2 8 15
820
                                                   0 0 43 1 6 15 0 45 0 8 0 46
821
                                                   2 8 0 0 0 47 2 7 15 0 0 51 4
822
                                                   0 7 48 0 7 7 52 1 30 15 0 53
823
                                                   0 6 0 54 2 6 0 30 7 55 1 6 7
824
                                                   0 56 2 8 0 0 0 57 2 8 0 0 0
825
                                                   58 0 8 0 59 1 6 30 0 61 2 8
826
                                                   15 0 0 62 2 6 7 0 8 63 0 15
827
                                                   0 65 1 12 15 0 70 1 12 30 0
828
                                                   71 1 12 7 0 72 1 6 0 0 74 2
829
                                                   8 0 0 0 77 3 6 78 0 8 8 79 1
830
                                                   81 15 0 82 3 6 0 0 0 8 83 1
831
                                                   7 88 0 89 1 88 0 84 90 1 88
832
                                                   0 0 91 1 0 88 0 92 2 30 15 0
833
                                                   0 93 2 7 15 0 0 94 2 0 15 0
834
                                                   0 95 3 0 8 7 0 8 96 2 7 15 0
835
                                                   0 97 2 30 15 0 0 98 2 0 15 0
836
                                                   0 99 2 0 15 16 0 86 2 0 0 16
837
                                                   0 18 3 0 7 0 38 7 44 1 0 0 0
838
                                                   80 2 0 7 48 0 49 3 0 7 48 0
839
                                                   7 50 4 0 7 48 0 7 7 52 3 0 8
840
                                                   7 0 8 96 2 0 8 21 0 27 3 0 0
841
                                                   16 0 0 64 1 0 12 0 13 2 0 0
842
                                                   36 0 37 3 0 0 48 0 0 60 3 0
843
                                                   0 0 0 8 67 2 0 28 21 0 29 2
844
                                                   0 15 21 0 23 2 0 0 0 38 66 2
845
                                                   0 0 0 38 75 2 0 0 0 8 76 2 0
846
                                                   30 21 0 34 3 0 0 0 0 8 69 1
847
                                                   0 0 0 68 1 0 0 12 73 2 0 0 0
848
                                                   0 87 1 0 0 84 85 1 0 88 0 92
849
                                                   2 0 15 21 0 22 2 0 15 0 0 95
850
                                                   2 0 15 0 0 99)))))
851
           '|lookupComplete|)) 
852

853
(SETF (|dbTemplate| (|constructorDB| '|OneDimensionalArrayAggregate&|))
854
        #(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) (|Integer|)
855
          (0 . |minIndex|) (5 . |maxIndex|) (10 . |qelt|) (|List| 7)
856
          |A1AGG-;members;$L;1| (|FiniteLinearAggregateSort| 7 6) (|Boolean|)
857
          (|Mapping| 15 7 7) (16 . |quickSort|) |A1AGG-;sort!;M2$;2|
858
          (22 . |true|) (26 . |false|) (|Mapping| 15 7) |A1AGG-;any?;M$B;3|
859
          |A1AGG-;every?;M$B;4| (|PositiveInteger|) (30 . |One|) (34 . -)
860
          |A1AGG-;position;M$I;5| (|Union| 7 '"failed") |A1AGG-;find;M$U;6|
861
          (|NonNegativeInteger|) (40 . |Zero|) (44 . |One|) (48 . +)
862
          |A1AGG-;count;M$Nni;7| (54 . |qsetelt!|) (|Mapping| 7 7)
863
          |A1AGG-;map!;M2$;8| (|UniversalSegment| 8) (61 . |lo|) (66 . |hasHi|)
864
          (71 . |hi|) (76 . <) (82 . >) |A1AGG-;setelt;$Us2S;9| (88 . |empty?|)
865
          (93 . |One|) (97 . +) (|Mapping| 7 7 7) |A1AGG-;reduce;M$S;10|
866
          |A1AGG-;reduce;M$2S;11| (103 . ~=) (109 . |reduce|) (117 . |zero?|)
867
          (122 . |empty|) (126 . |new|) (132 . |first|) (137 . |max|)
868
          (143 . |min|) (149 . |Zero|) |A1AGG-;map;M3$;15| (153 . |#|)
869
          (158 . <=) (164 . |elt|) |A1AGG-;merge;M3$;16| (170 . |max|)
870
          |A1AGG-;elt;$Us$;17| |A1AGG-;insert;2$I$;18| |A1AGG-;copy;2$;19|
871
          |A1AGG-;copyInto!;2$I$;20| (174 . |empty?|) (179 . |#|)
872
          (184 . |first|) |A1AGG-;construct;L$;21| (189 . |copy|)
873
          |A1AGG-;delete;$Us$;22| |A1AGG-;delete;$I$;23| (194 . |quo|) (|Void|)
874
          (200 . |swap!|) |A1AGG-;reverse!;2$;24| (|List| 6) (207 . |empty?|)
875
          (212 . |copyInto!|) (|List| $) |A1AGG-;concat;L$;25|
876
          |A1AGG-;sorted?;M$B;26| |A1AGG-;concat;3$;27| (|OutputForm|)
877
          (219 . |coerce|) (224 . |commaSeparate|) (229 . |bracket|)
878
          (234 . |coerce|) (239 . ~=) (245 . =) (251 . =) (257 . |position|)
879
          (264 . <) (270 . <) (276 . <))) 
880

881
(SETF (|dbLookupFunction| (|constructorDB| '|OneDimensionalArrayAggregate&|))
882
        '|lookupComplete|) 
883

884
(SETF (|dbConstructorForm| (|constructorDB| '|OneDimensionalArrayAggregate&|))
885
        '(|OneDimensionalArrayAggregate&| A S)) 
886

887
(SETF (|dbConstructorKind| (|constructorDB| '|OneDimensionalArrayAggregate&|))
888
        '|package|) 
889

890
(SETF (|dbConstructorModemap|
891
       (|constructorDB| '|OneDimensionalArrayAggregate&|))
892
        '(((|OneDimensionalArrayAggregate&| |#1| |#2|)
893
           (CATEGORY |package| (SIGNATURE = ((|Boolean|) |#1| |#1|))
894
            (SIGNATURE |coerce| ((|OutputForm|) |#1|))
895
            (SIGNATURE |map!| (|#1| (|Mapping| |#2| |#2|) |#1|))
896
            (SIGNATURE < ((|Boolean|) |#1| |#1|))
897
            (SIGNATURE |sort!| (|#1| |#1|))
898
            (SIGNATURE |sort!| (|#1| (|Mapping| (|Boolean|) |#2| |#2|) |#1|))
899
            (SIGNATURE |reverse!| (|#1| |#1|))
900
            (SIGNATURE |copyInto!| (|#1| |#1| |#1| (|Integer|)))
901
            (SIGNATURE |sorted?| ((|Boolean|) |#1|))
902
            (SIGNATURE |merge| (|#1| |#1| |#1|))
903
            (SIGNATURE |position| ((|Integer|) |#2| |#1| (|Integer|)))
904
            (SIGNATURE |position| ((|Integer|) |#2| |#1|))
905
            (SIGNATURE |position|
906
             ((|Integer|) (|Mapping| (|Boolean|) |#2|) |#1|))
907
            (SIGNATURE |sorted?|
908
             ((|Boolean|) (|Mapping| (|Boolean|) |#2| |#2|) |#1|))
909
            (SIGNATURE |merge|
910
             (|#1| (|Mapping| (|Boolean|) |#2| |#2|) |#1| |#1|))
911
            (SIGNATURE |any?| ((|Boolean|) (|Mapping| (|Boolean|) |#2|) |#1|))
912
            (SIGNATURE |every?|
913
             ((|Boolean|) (|Mapping| (|Boolean|) |#2|) |#1|))
914
            (SIGNATURE |count|
915
             ((|NonNegativeInteger|) (|Mapping| (|Boolean|) |#2|) |#1|))
916
            (SIGNATURE |members| ((|List| |#2|) |#1|))
917
            (SIGNATURE |reduce| (|#2| (|Mapping| |#2| |#2| |#2|) |#1|))
918
            (SIGNATURE |reduce| (|#2| (|Mapping| |#2| |#2| |#2|) |#1| |#2|))
919
            (SIGNATURE |find|
920
             ((|Union| |#2| "failed") (|Mapping| (|Boolean|) |#2|) |#1|))
921
            (SIGNATURE |count| ((|NonNegativeInteger|) |#2| |#1|))
922
            (SIGNATURE |reduce|
923
             (|#2| (|Mapping| |#2| |#2| |#2|) |#1| |#2| |#2|))
924
            (SIGNATURE |setelt|
925
             (|#2| |#1| (|UniversalSegment| (|Integer|)) |#2|))
926
            (SIGNATURE |insert| (|#1| |#1| |#1| (|Integer|)))
927
            (SIGNATURE |insert| (|#1| |#2| |#1| (|Integer|)))
928
            (SIGNATURE |delete| (|#1| |#1| (|UniversalSegment| (|Integer|))))
929
            (SIGNATURE |delete| (|#1| |#1| (|Integer|)))
930
            (SIGNATURE |map| (|#1| (|Mapping| |#2| |#2| |#2|) |#1| |#1|))
931
            (SIGNATURE |concat| (|#1| (|List| |#1|)))
932
            (SIGNATURE |concat| (|#1| |#1| |#1|))
933
            (SIGNATURE |concat| (|#1| |#2| |#1|))
934
            (SIGNATURE |concat| (|#1| |#1| |#2|))
935
            (SIGNATURE |elt| (|#1| |#1| (|UniversalSegment| (|Integer|))))
936
            (SIGNATURE |construct| (|#1| (|List| |#2|)))
937
            (SIGNATURE |elt| (|#2| |#1| (|Integer|)))
938
            (SIGNATURE |elt| (|#2| |#1| (|Integer|) |#2|))
939
            (SIGNATURE |setelt| (|#2| |#1| (|Integer|) |#2|))
940
            (SIGNATURE |map| (|#1| (|Mapping| |#2| |#2|) |#1|))
941
            (SIGNATURE |copy| (|#1| |#1|)))
942
           (|OneDimensionalArrayAggregate| |#2|) (|Type|))
943
          (T |OneDimensionalArrayAggregate&|))) 
944

945
(SETF (|dbDualSignature| (|constructorDB| '|OneDimensionalArrayAggregate&|))
946
        '(NIL T T)) 
947

948
(SETF (|dbSourceFile| (|constructorDB| '|OneDimensionalArrayAggregate&|))
949
        '"aggcat.spad") 
950

951
(SETF (|dbOperations| (|constructorDB| '|OneDimensionalArrayAggregate&|))
952
        '((|sorted?|
953
           (((|Boolean|) (|Mapping| (|Boolean|) |#2| |#2|) $) 86 T ELT)
954
           (((|Boolean|) $) NIL T ELT))
955
          (|sort!| (($ (|Mapping| (|Boolean|) |#2| |#2|) $) 18 T ELT)
956
           (($ $) NIL T ELT))
957
          (|setelt| ((|#2| $ (|Integer|) |#2|) NIL T ELT)
958
           ((|#2| $ (|UniversalSegment| (|Integer|)) |#2|) 44 T ELT))
959
          (|reverse!| (($ $) 80 T ELT))
960
          (|reduce| ((|#2| (|Mapping| |#2| |#2| |#2|) $ |#2| |#2|) 52 T ELT)
961
           ((|#2| (|Mapping| |#2| |#2| |#2|) $ |#2|) 50 T ELT)
962
           ((|#2| (|Mapping| |#2| |#2| |#2|) $) 49 T ELT))
963
          (|position| (((|Integer|) (|Mapping| (|Boolean|) |#2|) $) 27 T ELT)
964
                      (((|Integer|) |#2| $) NIL T ELT)
965
                      (((|Integer|) |#2| $ (|Integer|)) 96 T ELT))
966
          (|merge| (($ (|Mapping| (|Boolean|) |#2| |#2|) $ $) 64 T ELT)
967
           (($ $ $) NIL T ELT))
968
          (|members| (((|List| |#2|) $) 13 T ELT))
969
          (|map!| (($ (|Mapping| |#2| |#2|) $) 37 T ELT))
970
          (|map| (($ (|Mapping| |#2| |#2|) $) NIL T ELT)
971
           (($ (|Mapping| |#2| |#2| |#2|) $ $) 60 T ELT))
972
          (|insert| (($ |#2| $ (|Integer|)) NIL T ELT)
973
                    (($ $ $ (|Integer|)) 67 T ELT))
974
          (|find|
975
           (((|Union| |#2| "failed") (|Mapping| (|Boolean|) |#2|) $) 29 T ELT))
976
          (|every?| (((|Boolean|) (|Mapping| (|Boolean|) |#2|) $) 23 T ELT))
977
          (|elt| ((|#2| $ (|Integer|) |#2|) NIL T ELT)
978
           ((|#2| $ (|Integer|)) NIL T ELT)
979
           (($ $ (|UniversalSegment| (|Integer|))) 66 T ELT))
980
          (|delete| (($ $ (|Integer|)) 76 T ELT)
981
           (($ $ (|UniversalSegment| (|Integer|))) 75 T ELT))
982
          (|count| (((|NonNegativeInteger|) |#2| $) NIL T ELT)
983
           (((|NonNegativeInteger|) (|Mapping| (|Boolean|) |#2|) $) 34 T ELT))
984
          (|copyInto!| (($ $ $ (|Integer|)) 69 T ELT))
985
          (|copy| (($ $) 68 T ELT)) (|construct| (($ (|List| |#2|)) 73 T ELT))
986
          (|concat| (($ $ |#2|) NIL T ELT) (($ |#2| $) NIL T ELT)
987
                    (($ $ $) 87 T ELT) (($ (|List| $)) 85 T ELT))
988
          (|coerce| (((|OutputForm|) $) 92 T ELT))
989
          (|any?| (((|Boolean|) (|Mapping| (|Boolean|) |#2|) $) 22 T ELT))
990
          (= (((|Boolean|) $ $) 95 T ELT)) (< (((|Boolean|) $ $) 99 T ELT)))) 
991

992
(SETF (|dbOperationTable| (|constructorDB| '|OneDimensionalArrayAggregate&|))
993
        #(|sorted?| 282 |sort!| 288 |setelt| 294 |reverse!| 301 |reduce| 306
994
          |position| 327 |merge| 340 |members| 347 |map!| 352 |map| 358
995
          |insert| 365 |find| 372 |every?| 378 |elt| 384 |delete| 390 |count|
996
          402 |copyInto!| 408 |copy| 415 |construct| 420 |concat| 425 |coerce|
997
          436 |any?| 441 = 447 < 453)) 
998

999
(SETF (|dbCapsuleDefinitions|
1000
       (|constructorDB| '|OneDimensionalArrayAggregate&|))
1001
        '((|A1AGG-;<;2$B;31| ((|Boolean|) $ $))
1002
          (|A1AGG-;position;S$2I;30| ((|Integer|) S $ (|Integer|)))
1003
          (|A1AGG-;=;2$B;29| ((|Boolean|) $ $))
1004
          (|A1AGG-;coerce;$Of;28| ((|OutputForm|) $))
1005
          (|A1AGG-;concat;3$;27| ($ $ $))
1006
          (|A1AGG-;sorted?;M$B;26| ((|Boolean|) (|Mapping| (|Boolean|) S S) $))
1007
          (|A1AGG-;concat;L$;25| ($ (|List| $)))
1008
          (|A1AGG-;reverse!;2$;24| ($ $))
1009
          (|A1AGG-;delete;$I$;23| ($ $ (|Integer|)))
1010
          (|A1AGG-;delete;$Us$;22| ($ $ (|UniversalSegment| (|Integer|))))
1011
          (|A1AGG-;construct;L$;21| ($ (|List| S)))
1012
          (|A1AGG-;copyInto!;2$I$;20| ($ $ $ (|Integer|)))
1013
          (|A1AGG-;copy;2$;19| ($ $))
1014
          (|A1AGG-;insert;2$I$;18| ($ $ $ (|Integer|)))
1015
          (|A1AGG-;elt;$Us$;17| ($ $ (|UniversalSegment| (|Integer|))))
1016
          (|A1AGG-;merge;M3$;16| ($ (|Mapping| (|Boolean|) S S) $ $))
1017
          (|A1AGG-;map;M3$;15| ($ (|Mapping| S S S) $ $))
1018
          (|A1AGG-;reduce;M$3S;12| (S (|Mapping| S S S) $ S S))
1019
          (|A1AGG-;reduce;M$2S;11| (S (|Mapping| S S S) $ S))
1020
          (|A1AGG-;reduce;M$S;10| (S (|Mapping| S S S) $))
1021
          (|A1AGG-;setelt;$Us2S;9| (S $ (|UniversalSegment| (|Integer|)) S))
1022
          (|A1AGG-;map!;M2$;8| ($ (|Mapping| S S) $))
1023
          (|A1AGG-;count;M$Nni;7|
1024
           ((|NonNegativeInteger|) (|Mapping| (|Boolean|) S) $))
1025
          (|A1AGG-;find;M$U;6|
1026
           ((|Union| S "failed") (|Mapping| (|Boolean|) S) $))
1027
          (|A1AGG-;position;M$I;5| ((|Integer|) (|Mapping| (|Boolean|) S) $))
1028
          (|A1AGG-;every?;M$B;4| ((|Boolean|) (|Mapping| (|Boolean|) S) $))
1029
          (|A1AGG-;any?;M$B;3| ((|Boolean|) (|Mapping| (|Boolean|) S) $))
1030
          (|A1AGG-;sort!;M2$;2| ($ (|Mapping| (|Boolean|) S S) $))
1031
          (|A1AGG-;members;$L;1| ((|List| S) $)))) 
1032

1033
(SETF (|dbAbbreviation| (|constructorDB| '|OneDimensionalArrayAggregate&|))
1034
        'A1AGG-) 
1035

1036
Product

Resources

Company
