6
(DEFPROP $ROR (LAMBDA ($LIST) (SIMPLIFY ($REOR $LIST 1))) EXPR)
8
(ARGS '$ROR '(NIL . 1))
10
(DEFPROP $ROR T TRANSLATED)
12
(ADD2LNC '$ROR $PROPS)
14
(MDEFPROP $ROR ((LAMBDA) ((MLIST) $LIST) (($REOR) $LIST 1)) MEXPR)
16
(ARGS '$ROR '(NIL . 1))
18
(ADD2LNC '(($ROR) $LIST) $FUNCTIONS)
22
(COND ((AND (LIKE ($PART $EXP 1) ($PART $EXP 2))
23
($MEMBER ($PART $EXP 1) (TRD-MSYMEVAL $IND)))
28
(ARGS '$DCON '(NIL . 1))
30
(DEFPROP $DCON T TRANSLATED)
32
(ADD2LNC '$DCON $PROPS)
39
((MEQUAL) (($PART) $EXP 1) (($PART) $EXP 2))
40
(($MEMBER) (($PART) $EXP 1) $IND))
46
(ARGS '$DCON '(NIL . 1))
48
(ADD2LNC '(($DCON) $EXP) $FUNCTIONS)
52
((LAMBDA ($SOBS $COBS)
59
$BEG (SETQ $SOBS (SIMPLIFY ($SER1 $LIST)))
60
(COND ((LIKE ($PART $SOBS 2)
63
(RETURN (MUL* $COBS ($PART $SOBS 1)))))
64
(SETQ $COBS (MUL* $COBS ($PART $SOBS 1)))
65
(SETQ $LIST ($PART $SOBS 2))
71
(ARGS '$SER '(NIL . 1))
73
(DEFPROP $SER T TRANSLATED)
75
(ADD2LNC '$SER $PROPS)
84
((MEQUAL) $LIST ((MLIST) ((MLIST))))
89
((MSETQ) $SOBS (($SER1) $LIST))
91
((MEQUAL) (($PART) $SOBS 2) ((MLIST) ((MLIST))))
92
((MRETURN) ((MTIMES) $COBS (($PART) $SOBS 1)))
95
((MSETQ) $COBS ((MTIMES) $COBS (($PART) $SOBS 1)))
96
((MSETQ) $LIST (($PART) $SOBS 2))
100
(ARGS '$SER '(NIL . 1))
102
(ADD2LNC '(($SER) $LIST) $FUNCTIONS)
107
((LAMBDA ($L $LI $LIP $A1 $A2)
109
(SETQ $L (MEVAL '(($LISBRE) $LIST $I)))
110
(SETQ $LI ($PART $LIST $I))
111
(SETQ $LIP ($PART $LIST (ADD* $I 1)))
112
(SETQ $A1 ($APPEND ($PART $L 1) ($REST ($PART $L 2) 1)))
113
(SETQ $A2 ($APPEND ($PART $L 1)
114
(LIST '(MLIST) $LIP $LI)
115
($REST ($PART $L 2) 1)))
116
(COND ((OR ($MEMBER $LI (TRD-MSYMEVAL $IND))
117
($MEMBER $LIP (TRD-MSYMEVAL $IND)))
120
$ON (RETURN (ADD* (MUL* 2
121
(MEVAL '(($SOR) $LI $LIP))
122
(SIMPLIFY ($REOR $A1 1)))
123
(SIMPLIFY (LIST '(MMINUS)
124
(SIMPLIFY ($REOR $A2 1))))))
130
(SIMPLIFY ($CRUNCH $A1)))
131
(SIMPLIFY (LIST '(MMINUS)
132
(SIMPLIFY ($CRUNCH $A2))))))))
133
(COND ((AND (IS ($FREEOF ($PART $LIST $I) $A1))
134
(IS ($FREEOF ($PART $LIST (ADD* $I 1)) $A1)))
137
(($MEMBER $LI (TRD-MSYMEVAL $IND))
144
(SIMPLIFY (MAPPLY (TRD-MSYMEVAL $EV)
150
(SIMPLIFY (LIST '(MMINUS)
151
(SIMPLIFY ($CRUNCH $A2))))))))
157
($CRUNCH (SIMPLIFY (MAPPLY (TRD-MSYMEVAL $EV)
163
(SIMPLIFY (LIST '(MMINUS)
164
(SIMPLIFY ($CRUNCH $A2))))))))
172
(ARGS '$SWAP '(NIL . 2))
174
(DEFPROP $SWAP T TRANSLATED)
176
(ADD2LNC '$SWAP $PROPS)
182
((MLIST) $L $LI $LIP $A1 $A2)
183
((MSETQ) $L (($LISBRE) $LIST $I))
184
((MSETQ) $LI (($PART) $LIST $I))
185
((MSETQ) $LIP (($PART) $LIST ((MPLUS) $I 1)))
188
(($APPEND) (($PART) $L 1) (($REST) (($PART) $L 2) 1)))
194
(($REST) (($PART) $L 2) 1)))
196
((MOR) (($MEMBER) $LI $IND) (($MEMBER) $LIP $IND))
203
((MTIMES) 2 (($SOR) $LI $LIP) (($REOR) $A1 1))
204
((MMINUS) (($REOR) $A2 1))))
210
((MTIMES) 2 $N (($CRUNCH) $A1))
211
((MMINUS) (($CRUNCH) $A2))))
216
(($FREEOF) (($PART) $LIST $I) $A1)
217
(($FREEOF) (($PART) $LIST ((MPLUS) $I 1)) $A1))
228
(($APPLY) $EV ((MLIST) $A1 ((MEQUAL) $LI $LIP)))))
229
((MMINUS) (($CRUNCH) $A2))))
237
(($APPLY) $EV ((MLIST) $A1 ((MEQUAL) $LIP $LI)))))
238
((MMINUS) (($CRUNCH) $A2))))))
241
(ARGS '$SWAP '(NIL . 2))
243
(ADD2LNC '(($SWAP) $LIST $I) $FUNCTIONS)
249
(SETQ $QW (SIMPLIFY ($SUBSTITUTE (TRD-MSYMEVAL $CRUNCH0)
252
(SIMPLIFY ($EV $QW)))
256
(ARGS '$CRUNCH1 '(NIL . 1))
258
(DEFPROP $CRUNCH1 T TRANSLATED)
260
(ADD2LNC '$CRUNCH1 $PROPS)
267
((MSETQ) $QW (($SUBSTITUTE) $CRUNCH0 $G $EXP))
268
((MRETURN) (($EV) $QW))))
271
(ARGS '$CRUNCH1 '(NIL . 1))
273
(ADD2LNC '(($CRUNCH1) $EXP) $FUNCTIONS)
278
((LAMBDA ($LI2 $PI $LI)
280
(COND ((NOT (IS (MLSP $I ($LENGTH $LIST))))
281
(RETURN (SIMPLIFY ($G00 $LIST)))))
282
(COND ((LIKE ($PART $LIST $I) ($PART $LIST (ADD* $I 1)))
284
(COND ((IS ($ORDERLESSP ($PART $LIST $I)
285
($PART $LIST (ADD* $I 1))))
286
(RETURN (SIMPLIFY ($REOR $LIST (ADD* $I 1)))))
287
(T (RETURN (SIMPLIFY ($SWAP $LIST $I)))))
288
$FIN (SETQ $PI ($PART $LIST $I))
289
(SETQ $LI (MEVAL '(($LISBRE) $LIST $I)))
290
(COND ((LIKE (ADD* $I 1) ($LENGTH $LIST))
291
(SETQ $LI2 '((MLIST))))
292
(T (SETQ $LI2 ($REST ($PART $LI 2) 1))))
294
(MUL* (MEVAL '(($D) $PI $PI))
295
(SIMPLIFY ($REOR ($APPEND ($PART $LI 1) $LI2)
303
(ARGS '$REOR '(NIL . 2))
305
(DEFPROP $REOR T TRANSLATED)
307
(ADD2LNC '$REOR $PROPS)
313
((MLIST) $LI2 $PI $LI)
315
((MGEQP) $I (($LENGTH) $LIST))
316
((MRETURN) (($G00) $LIST))
322
(($PART) $LIST ((MPLUS) $I 1)))
329
(($PART) $LIST ((MPLUS) $I 1)))
330
((MRETURN) (($REOR) $LIST ((MPLUS) $I 1)))
332
((MRETURN) (($SWAP) $LIST $I)))
334
((MSETQ) $PI (($PART) $LIST $I))
335
((MSETQ) $LI (($LISBRE) $LIST $I))
337
((MEQUAL) ((MPLUS) $I 1) (($LENGTH) $LIST))
338
((MSETQ) $LI2 ((MLIST)))
340
((MSETQ) $LI2 (($REST) (($PART) $LI 2) 1)))
345
(($APPEND) (($PART) $LI 1) $LI2)
346
(($MAX) 1 ((MPLUS) $I ((MMINUS) 1))))))))
349
(ARGS '$REOR '(NIL . 2))
351
(ADD2LNC '(($REOR) $LIST $I) $FUNCTIONS)
356
((LAMBDA ($H1 $H2 $LIS $I $LEN $DEX $VEC1 $VEC2)
358
(SETQ $LEN ($LENGTH $LIST))
359
(SETQ $VEC1 ($PART $LIST 2 2))
360
(SETQ $DEX ($PART $LIST 2 1))
361
(COND ((LIKE $DEX $VEC1)
362
(RETURN (LIST '(MLIST)
364
($APPEND (LIST '(MLIST)
368
$LOOP(SETQ $I (ADD* $I 1))
369
(COND ((NOT (IS (MGRP $I $LEN))) (GO $ONIT)))
370
(COND ((AND ($MEMBER $VEC1 (TRD-MSYMEVAL $IND))
371
(NOT (IS ($FREEOF $VEC1 ($REST $LIST 2)))))
372
(RETURN (LIST '(MLIST)
374
($APPEND (LIST '(MLIST)
380
(T (RETURN (LIST '(MLIST)
381
(MEVAL '(($DP) $VEC1 $DEX))
382
($APPEND (LIST '(MLIST)
385
$ONIT(COND ((LIKE ($PART $LIST $I 1) $DEX) (GO $S1)))
386
(COND ((LIKE ($PART $LIST $I 2) $DEX) (GO $S2)))
388
$S1 (SETQ $VEC2 ($PART $LIST $I 2))
390
$S2 (SETQ $VEC2 ($PART $LIST $I 1))
391
$S3 (SETQ $LIS (MEVAL '(($LISBRE) $LIST $I)))
393
($APPEND (LIST '(MLIST) '((MLIST)))
394
($REST ($APPEND ($FIRST $LIS) ($LAST $LIS))
396
(SETQ $H1 ($MEMBER $VEC1 (TRD-MSYMEVAL $IND)))
397
(SETQ $H2 ($MEMBER $VEC2 (TRD-MSYMEVAL $IND)))
398
(COND ((AND (NOT (IS $H1)) (NOT (IS $H2)))
399
(RETURN (LIST '(MLIST)
400
(MEVAL '(($DP) $VEC1 $VEC2))
403
(RETURN (LIST '(MLIST)
410
(RETURN (LIST '(MLIST)
427
(ARGS '$SER1 '(NIL . 1))
429
(DEFPROP $SER1 T TRANSLATED)
431
(ADD2LNC '$SER1 $PROPS)
437
((MLIST) $H1 $H2 $LIS $I $LEN $DEX $VEC1 $VEC2)
438
((MSETQ) $LEN (($LENGTH) $LIST))
439
((MSETQ) $VEC1 (($PART) $LIST 2 2))
440
((MSETQ) $DEX (($PART) $LIST 2 1))
442
((MEQUAL) $DEX $VEC1)
446
(($APPEND) ((MLIST) ((MLIST))) (($REST) $LIST 2))))
451
((MSETQ) $I ((MPLUS) $I 1))
452
((MCOND) ((MLEQP) $I $LEN) ((MGO) $ONIT) T $FALSE)
455
(($MEMBER) $VEC1 $IND)
456
((MNOT) (($FREEOF) $VEC1 (($REST) $LIST 2))))
461
((MLIST) ((MLIST)) ((MLIST) $VEC1 $DEX))
467
(($APPEND) ((MLIST) ((MLIST))) (($REST) $LIST 2)))))
470
((MEQUAL) (($PART) $LIST $I 1) $DEX)
475
((MEQUAL) (($PART) $LIST $I 2) $DEX)
481
((MSETQ) $VEC2 (($PART) $LIST $I 2))
484
((MSETQ) $VEC2 (($PART) $LIST $I 1))
486
((MSETQ) $LIS (($LISBRE) $LIST $I))
491
(($REST) (($APPEND) (($FIRST) $LIS) (($LAST) $LIS)) 2)))
492
((MSETQ) $H1 (($MEMBER) $VEC1 $IND))
493
((MSETQ) $H2 (($MEMBER) $VEC2 $IND))
495
((MAND) ((MNOT) $H1) ((MNOT) $H2))
496
((MRETURN) ((MLIST) (($DP) $VEC1 $VEC2) $LIS))
504
(($APPEND) $LIS ((MLIST) ((MLIST) $VEC1 $VEC2)))))
510
(($APPEND) $LIS ((MLIST) ((MLIST) $VEC2 $VEC1)))))))
513
(ARGS '$SER1 '(NIL . 1))
515
(ADD2LNC '(($SER1) $LIST) $FUNCTIONS)
520
(SETQ $QE (MEVAL '(($LISBRE) $LIST $I)))
521
($APPEND (SIMPLIFY (MARRAYREF $QE 1))
522
($REST (SIMPLIFY (MARRAYREF $QE 2)))))
526
(ARGS '$SRES '(NIL . 2))
528
(DEFPROP $SRES T TRANSLATED)
530
(ADD2LNC '$SRES $PROPS)
537
((MSETQ) $QE (($LISBRE) $LIST $I))
539
(($APPEND) (($QE ARRAY) 1) (($REST) (($QE ARRAY) 2))))))
542
(ARGS '$SRES '(NIL . 2))
544
(ADD2LNC '(($SRES) $LIST $I) $FUNCTIONS)
548
(SIMPLIFY ($CRUNCH0 (MEVAL '(($GETRED) $LIST)))))
551
(ARGS '$CRUNCH00 '(NIL . 1))
553
(DEFPROP $CRUNCH00 T TRANSLATED)
555
(ADD2LNC '$CRUNCH00 $PROPS)
560
(COND (NOEVALARGS (SETQ NOEVALARGS NIL)
561
($CRUNCH00 (CONS '(MLIST) (LISTIFY N))))
562
(T (SETQ NOEVALARGS NIL)
563
($CRUNCH00 (CONS '(MLIST)
564
(MEVALARGS (LISTIFY N)))))))
569
((MLIST) ((MLIST) $LIST))
570
(($CRUNCH0) (($GETRED) $LIST)))
573
(ARGS '$CRUNCH00 '(NIL . 1))
575
(ADD2LNC '(($CRUNCH00) ((MLIST) $LIST)) $FUNCTIONS)
577
(MDEFPROP $CRUNCH00 T MLEXPRP)
581
(DIV (MEVAL '(($G) $G5 $LIST)) (MUL* 4 '$%I)))
584
(ARGS '$EPSUB '(NIL . 1))
586
(DEFPROP $EPSUB T TRANSLATED)
588
(ADD2LNC '$EPSUB $PROPS)
592
(COND (NOEVALARGS (SETQ NOEVALARGS NIL)
593
($EPSUB (CONS '(MLIST)
595
(T (SETQ NOEVALARGS NIL)
596
($EPSUB (CONS '(MLIST)
597
(MEVALARGS (LISTIFY N)))))))
602
((MLIST) ((MLIST) $LIST))
603
((MQUOTIENT) (($G) $G5 $LIST) ((MTIMES) 4 $%I)))
606
(ARGS '$EPSUB '(NIL . 1))
608
(ADD2LNC '(($EPSUB) ((MLIST) $LIST)) $FUNCTIONS)
610
(MDEFPROP $EPSUB T MLEXPRP)
615
((LAMBDA ($ANS $PO $I $CONS $INE $XP1 $XP2 $H1 $H2)
617
(COND ((IS ($FREEOF (TRD-MSYMEVAL $D) $EXP))
618
(RETURN (COND ((IS ($FREEOF (TRD-MSYMEVAL $EPS)
621
(T (SIMPLIFY ($EPSCON $EXP)))))))
622
(SETQ $INE (LIST '(MLIST) '((MLIST))))
625
$LOOP(SETQ $I (ADD* $I 1))
626
(COND ((LIKE (SIMPLIFY ($INPART $EXP $I))
629
(COND ((NOT (LIKE (SIMPLIFY ($INPART $EXP $I 0))
632
(SETQ $PO (SIMPLIFY ($INPART $EXP $I)))
633
(SETQ $XP1 (SIMPLIFY ($INPART $PO 1)))
634
(SETQ $XP2 (SIMPLIFY ($INPART $PO 2)))
635
(SETQ $H1 ($MEMBER $XP1 (TRD-MSYMEVAL $IND)))
636
(SETQ $H2 ($MEMBER $XP2 (TRD-MSYMEVAL $IND)))
637
(COND ((AND (NOT (IS $H1)) (NOT (IS $H2))) (GO $IN0)))
638
(COND ((LIKE $XP1 $XP2) (GO $EQIND)))
640
(SETQ $INE ($APPEND $INE
645
(T (SETQ $INE ($APPEND $INE
651
$ON (RETURN (MEVAL '(($GCONP) ((MTIMES) $CONS (($SER) $INE)))))
652
$IN0 (SETQ $CONS (MUL* $CONS (MEVAL '(($DP) $XP1 $XP2))))
654
$NONE(SETQ $ANS (SIMPLIFY ($INPART $EXP $I)))
655
(COND ((LIKE ($PART $ANS 0) '&^)
656
(SETQ $ANS (SIMPLIFY ($PCON $ANS))))
657
((LIKE ($PART $ANS 0) (TRD-MSYMEVAL $D))
658
(SETQ $ANS (SIMPLIFY ($DCON $ANS)))))
659
(SETQ $CONS (MUL* $CONS $ANS))
662
(SETQ $CONS (MUL* $CONS (TRD-MSYMEVAL $N)))
675
(ARGS '$TCON '(NIL . 1))
677
(DEFPROP $TCON T TRANSLATED)
679
(ADD2LNC '$TCON $PROPS)
685
((MLIST) $ANS $PO $I $CONS $INE $XP1 $XP2 $H1 $H2)
689
((MCOND) (($FREEOF) $EPS $EXP) $EXP T (($EPSCON) $EXP)))
692
((MSETQ) $INE ((MLIST) ((MLIST))))
696
((MSETQ) $I ((MPLUS) $I 1))
698
((MEQUAL) (($INPART) $EXP $I) $END)
703
((MNOTEQUAL) (($INPART) $EXP $I 0) $D)
707
((MSETQ) $PO (($INPART) $EXP $I))
708
((MSETQ) $XP1 (($INPART) $PO 1))
709
((MSETQ) $XP2 (($INPART) $PO 2))
710
((MSETQ) $H1 (($MEMBER) $XP1 $IND))
711
((MSETQ) $H2 (($MEMBER) $XP2 $IND))
713
((MAND) ((MNOT) $H1) ((MNOT) $H2))
717
((MCOND) ((MEQUAL) $XP1 $XP2) ((MGO) $EQIND) T $FALSE)
722
(($APPEND) $INE ((MLIST) ((MLIST) $XP1 $XP2))))
726
(($APPEND) $INE ((MLIST) ((MLIST) $XP2 $XP1)))))
729
((MRETURN) (($GCONP) ((MTIMES) $CONS (($SER) $INE))))
731
((MSETQ) $CONS ((MTIMES) $CONS (($DP) $XP1 $XP2)))
734
((MSETQ) $ANS (($INPART) $EXP $I))
736
((MEQUAL) (($PART) $ANS 0) &^)
737
((MSETQ) $ANS (($PCON) $ANS))
740
((MEQUAL) (($PART) $ANS 0) $D)
741
((MSETQ) $ANS (($DCON) $ANS))
744
((MSETQ) $CONS ((MTIMES) $CONS $ANS))
747
((MSETQ) $CONS ((MTIMES) $CONS $N))
751
(ARGS '$TCON '(NIL . 1))
753
(ADD2LNC '(($TCON) $EXP) $FUNCTIONS)
758
((LAMBDA ($B1 $B2 $H1 $H2)
760
(COND ((NOT (LIKE ($PART $EXP 1 0) (TRD-MSYMEVAL $D)))
761
(RETURN (COND ((IS ($FREEOF (TRD-MSYMEVAL $EPS)
764
(T (SIMPLIFY ($EPSCON $EXP)))))))
765
(SETQ $B1 ($PART $EXP 1 1))
766
(SETQ $B2 ($PART $EXP 1 2))
767
(SETQ $H1 ($MEMBER $B1 (TRD-MSYMEVAL $IND)))
768
(SETQ $H2 ($MEMBER $B2 (TRD-MSYMEVAL $IND)))
769
(COND ((AND (NOT (IS $H1)) (NOT (IS $H2))) (RETURN $EXP)))
770
(COND ((LIKE $B1 $B2) (RETURN (TRD-MSYMEVAL $N))))
771
(COND ((AND (IS $H1) (IS $H2)) (RETURN (TRD-MSYMEVAL $N))))
772
(COND ((IS $H1) (RETURN (MEVAL '(($D) $B2 $B2)))))
773
(RETURN (COND ((IS $H2)
774
(RETURN (MEVAL '(($D) $B1 $B1))))))))
781
(ARGS '$PCON '(NIL . 1))
783
(DEFPROP $PCON T TRANSLATED)
785
(ADD2LNC '$PCON $PROPS)
791
((MLIST) $B1 $B2 $H1 $H2)
793
((MNOTEQUAL) (($PART) $EXP 1 0) $D)
795
((MCOND) (($FREEOF) $EPS $EXP) $EXP T (($EPSCON) $EXP)))
798
((MSETQ) $B1 (($PART) $EXP 1 1))
799
((MSETQ) $B2 (($PART) $EXP 1 2))
800
((MSETQ) $H1 (($MEMBER) $B1 $IND))
801
((MSETQ) $H2 (($MEMBER) $B2 $IND))
803
((MAND) ((MNOT) $H1) ((MNOT) $H2))
807
((MCOND) ((MEQUAL) $B1 $B2) ((MRETURN) $N) T $FALSE)
808
((MCOND) ((MAND) $H1 $H2) ((MRETURN) $N) T $FALSE)
809
((MCOND) $H1 ((MRETURN) (($D) $B2 $B2)) T $FALSE)
810
((MCOND) $H2 ((MRETURN) (($D) $B1 $B1)) T $FALSE)))
813
(ARGS '$PCON '(NIL . 1))
815
(ADD2LNC '(($PCON) $EXP) $FUNCTIONS)
820
((LAMBDA ($JQ $LEN $BET $CONBIT $LENCON $IN $OUT $BEG $I $J $DEX
823
(COND ((< ($LENGTH $LIST) 2)
824
(RETURN (SIMPLIFY ($G0 $LIST)))))
825
(SETQ $LEN ($LENGTH $LIST))
826
(COND ((AND (LIKE (TRD-MSYMEVAL $N) 4)
827
(IS (TRD-MSYMEVAL $KAHAF))
829
(RETURN (MEVAL '(($KAHG) $LIST)))))
830
(SETQ $NOTIN '((MLIST)))
832
$LOOP(SETQ $I (ADD* $I 1))
833
(COND ((IS (MGRP $I $LEN)) (GO $RETF)))
834
(SETQ $JQ ($PART $LIST $I))
835
(SETQ $ICH (ADD* $I 1))
837
((LIKE $JQ ($PART $LIST (TRD-MSYMEVAL $ICH)))
841
(SETQ $DPI (SIMPLIFY ($DI0 $JQ $JQ)))
844
((LIKE $DPI 0) (RETURN 0))
848
((NOT (LIKE (TRD-MSYMEVAL $ICH) 1))
852
($CRUNCH0 (SIMPLIFY ($SRES $LIST
861
($PART (MEVAL '(($LISBRE) $LIST $I))
863
($PART (MEVAL '(($LISBRE) $LIST $I))
866
(COND ((AND ($MEMBER $JQ (TRD-MSYMEVAL $IND))
867
(NOT ($MEMBER $JQ $NOTIN)))
872
$T2 (SETQ $J (ADD* $J 1))
873
(COND ((IS (MGRP $J $LEN)) (GO $POUT)))
874
(COND ((LIKE ($PART $LIST $J) $DEX) (GO $DOIT))
876
$DOIT(SETQ $BET (ADD* $J (SIMPLIFY (LIST '(MMINUS) $I))))
877
(COND ((IS (MGRP $BET 6)) (GO $BORE)))
878
(SETQ $CONBIT ($PART (TRD-MSYMEVAL $CONTAB) $BET))
879
(SETQ $LENCON ($LENGTH $CONBIT))
880
(SETQ $OUT ($REST $LIST $J))
881
(SETQ $BEG ($REST $LIST
884
(SIMPLIFY (LIST '(MMINUS)
886
(SETQ $IN ($REST ($REST $LIST $I)
888
(SIMPLIFY (LIST '(MMINUS)
891
(RETURN (DOSUM '((MTIMES)
895
((MPLUS) ((MTIMES) 2 $I) ((MMINUS) 1))))
902
(($PART) $CONBIT ((MTIMES) 2 $I))
905
((MEQUAL) (($PART) $NB 1) 0)
914
(($PART) $NB 2))))))))
919
$POUT(SETQ $NOTIN ($APPEND $NOTIN
923
$BORE(SETQ $NOTIN ($APPEND $NOTIN (LIST '(MLIST) $DEX)))
925
$RETF(RETURN (SIMPLIFY ($G0 $LIST)))))
941
(ARGS '$CRUNCH0 '(NIL . 1))
943
(DEFPROP $CRUNCH0 T TRANSLATED)
945
(ADD2LNC '$CRUNCH0 $PROPS)
966
((MLESSP) (($LENGTH) $LIST) 2)
967
((MRETURN) (($G0) $LIST))
970
((MSETQ) $LEN (($LENGTH) $LIST))
972
((MAND) ((MEQUAL) $N 4) $KAHAF ((MGREATERP) $LEN 3))
973
((MRETURN) (($KAHG) $LIST))
976
((MSETQ) $NOTIN ((MLIST)))
980
((MSETQ) $I ((MPLUS) $I 1))
981
((MCOND) ((MGREATERP) $I $LEN) ((MGO) $RETF) T $FALSE)
982
((MSETQ) $JQ (($PART) $LIST $I))
983
((MSETQ) $ICH ((MPLUS) $I 1))
985
((MEQUAL) $JQ (($PART) $LIST $ICH))
989
((MSETQ) $DPI (($DI0) $JQ $JQ))
997
((MTIMES) $DPI (($CRUNCH0) (($SRES) $LIST $I)))
1004
(($PART) (($LISBRE) $LIST $I) 1)
1005
(($PART) (($LISBRE) $LIST $I) 2))))))))))
1010
(($MEMBER) $JQ $IND)
1011
((MNOT) (($MEMBER) $JQ $NOTIN)))
1020
((MSETQ) $J ((MPLUS) $J 1))
1021
((MCOND) ((MGREATERP) $J $LEN) ((MGO) $POUT) T $FALSE)
1023
((MEQUAL) (($PART) $LIST $J) $DEX)
1028
((MSETQ) $BET ((MPLUS) $J ((MMINUS) $I)))
1029
((MCOND) ((MGREATERP) $BET 6) ((MGO) $BORE) T $FALSE)
1030
((MSETQ) $CONBIT (($PART) $CONTAB $BET))
1031
((MSETQ) $LENCON (($LENGTH) $CONBIT))
1032
((MSETQ) $OUT (($REST) $LIST $J))
1035
(($REST) $LIST ((MPLUS) $I ((MMINUS) 1) ((MMINUS) $LEN))))
1040
((MPLUS) $J ((MMINUS) $LEN) ((MMINUS) 1))))
1047
((MPLUS) ((MTIMES) 2 $I) ((MMINUS) 1))))
1052
(($NEWL) $IN (($PART) $CONBIT ((MTIMES) 2 $I)) $OUT))
1054
((MEQUAL) (($PART) $NB 1) 0)
1060
(($CRUNCH0) (($APPEND) $BEG (($PART) $NB 2))))))))
1063
((MQUOTIENT) $LENCON 2)))
1067
(($APPEND) $NOTIN ((MLIST) (($PART) $LIST $I))))
1070
((MSETQ) $NOTIN (($APPEND) $NOTIN ((MLIST) $DEX)))
1073
((MRETURN) (($G0) $LIST))))
1076
(ARGS '$CRUNCH0 '(NIL . 1))
1078
(ADD2LNC '(($CRUNCH0) $LIST) $FUNCTIONS)
1082
(COND ((NOT (IS ($FREEOF $AOB (TRD-MSYMEVAL $IND))))
1084
(T (MEVAL '(($SOR) $AOB $BOB)))))
1087
(ARGS '$DI0 '(NIL . 2))
1089
(DEFPROP $DI0 T TRANSLATED)
1091
(ADD2LNC '$DI0 $PROPS)
1097
((MNOT) (($FREEOF) $AOB $IND))
1100
(($SOR) $AOB $BOB)))
1103
(ARGS '$DI0 '(NIL . 2))
1105
(ADD2LNC '(($DI0) $AOB $BOB) $FUNCTIONS)
1112
(COND ((IS ($FREEOF (TRD-MSYMEVAL $D) $EXP))
1113
(RETURN (COND ((IS ($FREEOF (TRD-MSYMEVAL $EPS)
1116
(T (SIMPLIFY ($EPSCON $EXP)))))))
1117
(SETQ $EXP (SIMPLIFY ($EXPAND $EXP)))
1118
(SETQ $INP (SIMPLIFY ($INPART $EXP 0)))
1119
(COND ((LIKE $INP '&*)
1120
(RETURN (SIMPLIFY ($TCON $EXP)))))
1121
(COND ((LIKE $INP (TRD-MSYMEVAL $D))
1122
(RETURN (SIMPLIFY ($DCON $EXP)))))
1123
(COND ((LIKE $INP '&^)
1124
(RETURN (SIMPLIFY ($PCON $EXP)))))
1125
(RETURN (MAP1 (GETOPR (TRD-MSYMEVAL $CON)) $EXP))))
1129
(ARGS '$CONP '(NIL . 1))
1131
(DEFPROP $CONP T TRANSLATED)
1133
(ADD2LNC '$CONP $PROPS)
1143
((MCOND) (($FREEOF) $EPS $EXP) $EXP T (($EPSCON) $EXP)))
1146
((MSETQ) $EXP (($EXPAND) $EXP))
1147
((MSETQ) $INP (($INPART) $EXP 0))
1150
((MRETURN) (($TCON) $EXP))
1155
((MRETURN) (($DCON) $EXP))
1160
((MRETURN) (($PCON) $EXP))
1163
((MRETURN) (($MAP) $CON $EXP))))
1166
(ARGS '$CONP '(NIL . 1))
1168
(ADD2LNC '(($CONP) $EXP) $FUNCTIONS)
1171
(LAMBDA ($EXP) (SIMPLIFY ($RATSIMP (SIMPLIFY ($CONP $EXP)))))
1174
(ARGS '$CON '(NIL . 1))
1176
(DEFPROP $CON T TRANSLATED)
1178
(ADD2LNC '$CON $PROPS)
1181
((LAMBDA) ((MLIST) $EXP) (($RATSIMP) (($CONP) $EXP)))
1184
(ARGS '$CON '(NIL . 1))
1186
(ADD2LNC '(($CON) $EXP) $FUNCTIONS)
1190
(COND ((AND (IS (TRD-MSYMEVAL $NTR))
1191
(NOT (IS ($FREEOF (TRD-MSYMEVAL $G) $EXP))))
1193
((LIKE ($PART $EXP 0) (TRD-MSYMEVAL $EPS))
1194
(MEVAL '(($EPSFIX) $EXP)))
1197
(($EV) $EXP ((MEQUAL) $EPS $EPSUB))))))))
1200
(ARGS '$EPSCON '(NIL . 1))
1202
(DEFPROP $EPSCON T TRANSLATED)
1204
(ADD2LNC '$EPSCON $PROPS)
1210
((MAND) $NTR ((MNOT) (($FREEOF) $G $EXP)))
1214
((MEQUAL) (($PART) $EXP 0) $EPS)
1217
(($CGT) (($COTR) (($EV) $EXP ((MEQUAL) $EPS $EPSUB)))))))
1220
(ARGS '$EPSCON '(NIL . 1))
1222
(ADD2LNC '(($EPSCON) $EXP) $FUNCTIONS)
1228
(SETQ $QW (SIMPLIFY ($SUBSTITUTE (TRD-MSYMEVAL $CRUNCH00)
1231
(SIMPLIFY ($RATSIMP (SIMPLIFY ($EV $QW)))))
1235
(ARGS '$CRUNCH '(NIL . 1))
1237
(DEFPROP $CRUNCH T TRANSLATED)
1239
(ADD2LNC '$CRUNCH $PROPS)
1246
((MSETQ) $QW (($SUBSTITUTE) $CRUNCH00 $G $EXP))
1247
((MRETURN) (($RATSIMP) (($EV) $QW)))))
1250
(ARGS '$CRUNCH '(NIL . 1))
1252
(ADD2LNC '(($CRUNCH) $EXP) $FUNCTIONS)
1256
(COND ((LIKE $LIST '((MLIST))) 1)
1257
(T (SIMPLIFY (MAPPLY (TRD-MSYMEVAL $G)
1262
(ARGS '$G00 '(NIL . 1))
1264
(DEFPROP $G00 T TRANSLATED)
1266
(ADD2LNC '$G00 $PROPS)
1272
((MEQUAL) $LIST ((MLIST)))
1275
(($APPLY) $G $LIST)))
1278
(ARGS '$G00 '(NIL . 1))
1280
(ADD2LNC '(($G00) $LIST) $FUNCTIONS)
1284
(COND ((LIKE $LIST '((MLIST))) 1)
1285
((IS (TRD-MSYMEVAL $COF)) (SIMPLIFY ($ROR $LIST)))
1286
(T (SIMPLIFY (MAPPLY (TRD-MSYMEVAL $G)
1291
(ARGS '$G0 '(NIL . 1))
1293
(DEFPROP $G0 T TRANSLATED)
1295
(ADD2LNC '$G0 $PROPS)
1301
((MEQUAL) $LIST ((MLIST)))
1304
((MCOND) $COF (($ROR) $LIST) T (($APPLY) $G $LIST))))
1307
(ARGS '$G0 '(NIL . 1))
1309
(ADD2LNC '(($G0) $LIST) $FUNCTIONS)
1314
((LAMBDA ($CONS $I $GBITS $SUBLIS $PI $H1 $H2)
1316
(COND ((IS ($FREEOF (TRD-MSYMEVAL $G)
1320
(SETQ $EXP (SIMPLIFY ($EXPAND $EXP)))
1321
(COND (($MEMBER ($PART $EXP 0)
1326
(RETURN (MAP1 (GETOPR (TRD-MSYMEVAL $GCONP))
1328
(COND ((NOT (LIKE ($PART $EXP 0) '&*))
1329
(RETURN (COND ((IS ($FREEOF (TRD-MSYMEVAL $EPS)
1332
(T (SIMPLIFY ($EPSCON $EXP)))))))
1334
(SETQ $SUBLIS '((MLIST)))
1337
$LOOP(SETQ $I (ADD* $I 1))
1338
(COND ((IS (MGRP $I ($LENGTH $EXP))) (GO $ON)))
1339
(SETQ $PI ($PART $EXP $I))
1340
(COND (($MEMBER ($PART $PI 0)
1343
(TRD-MSYMEVAL $EPS)))
1345
(COND ((NOT (LIKE ($PART $PI 0) (TRD-MSYMEVAL $D)))
1347
(SETQ $H1 (SIMPLIFY ($FREEOF ($PART $PI 1)
1348
(TRD-MSYMEVAL $IND))))
1349
(SETQ $H2 (SIMPLIFY ($FREEOF ($PART $PI 2)
1350
(TRD-MSYMEVAL $IND))))
1351
(COND ((AND (IS $H1) (IS $H2)) (GO $NOTD)))
1353
((AND (IS $H1) (NOT (IS $H2)))
1359
(($PART) $PI 1)))))))
1365
(($PART) $PI 2))))))))
1367
$NOTD(SETQ $CONS (MUL* $CONS $PI))
1369
$GBIT(SETQ $GBITS (MUL* $GBITS $PI))
1371
$ON (DO (($I 1 (+ 1 $I)))
1372
((> $I ($LENGTH $SUBLIS)) '$DONE)
1374
((IS ($FREEOF ($LHS (SIMPLIFY (MARRAYREF $SUBLIS $I)))
1377
((OR (IS ($FREEOF ($RHS (SIMPLIFY (MARRAYREF $SUBLIS
1379
(TRD-MSYMEVAL $IND)))
1380
(IS ($FREEOF ($RHS (SIMPLIFY (MARRAYREF $SUBLIS
1385
(($LHS) (($SUBLIS ARRAY) $I))
1386
(($RHS) (($SUBLIS ARRAY) $I))))
1389
(SIMPLIFY (PART1 (LIST (LIST '(MQUOTE SIMP)
1391
(LIST '(MQUOTE SIMP)
1393
(LIST '(MQUOTE SIMP)
1399
(SIMPLIFY (PART1 '(((MEQUAL)
1401
(($SUBLIS ARRAY) $I))
1403
(($SUBLIS ARRAY) $I)))
1409
(SETQ $GBITS (SIMPLIFY (MAPPLY (TRD-MSYMEVAL $EV)
1410
(LIST $GBITS $SUBLIS)
1412
(COND ((NOT (IS ($FREEOF (TRD-MSYMEVAL $EPS) $GBITS)))
1413
(SETQ $GBITS (SIMPLIFY ($EPSCON $GBITS)))))
1414
(RETURN (MUL* $GBITS $CONS))))
1424
(ARGS '$GCONP '(NIL . 1))
1426
(DEFPROP $GCONP T TRANSLATED)
1428
(ADD2LNC '$GCONP $PROPS)
1434
((MLIST) $CONS $I $GBITS $SUBLIS $PI $H1 $H2)
1436
(($FREEOF) $G $EPS $EXP)
1440
((MSETQ) $EXP (($EXPAND) $EXP))
1442
(($MEMBER) (($PART) $EXP 0) ((MLIST) &+ &// &-))
1443
((MRETURN) (($MAP) $GCONP $EXP))
1447
((MNOTEQUAL) (($PART) $EXP 0) &*)
1449
((MCOND) (($FREEOF) $EPS $EXP) $EXP T (($EPSCON) $EXP)))
1453
((MSETQ) $SUBLIS ((MLIST)))
1457
((MSETQ) $I ((MPLUS) $I 1))
1459
((MGREATERP) $I (($LENGTH) $EXP))
1463
((MSETQ) $PI (($PART) $EXP $I))
1465
(($MEMBER) (($PART) $PI 0) ((MLIST) $G $EPS))
1470
((MNOTEQUAL) (($PART) $PI 0) $D)
1474
((MSETQ) $H1 (($FREEOF) (($PART) $PI 1) $IND))
1475
((MSETQ) $H2 (($FREEOF) (($PART) $PI 2) $IND))
1476
((MCOND) ((MAND) $H1 $H2) ((MGO) $NOTD) T $FALSE)
1478
((MAND) $H1 ((MNOT) $H2))
1483
((MLIST) ((MEQUAL) (($PART) $PI 2) (($PART) $PI 1)))))
1489
((MLIST) ((MEQUAL) (($PART) $PI 1) (($PART) $PI 2))))))
1492
((MSETQ) $CONS ((MTIMES) $CONS $PI))
1495
((MSETQ) $GBITS ((MTIMES) $GBITS $PI))
1506
(($FREEOF) (($LHS) (($SUBLIS ARRAY) $I)) $GBITS)
1509
(($FREEOF) (($RHS) (($SUBLIS ARRAY) $I)) $IND)
1510
(($FREEOF) (($RHS) (($SUBLIS ARRAY) $I)) $GBITS))
1517
(($LHS) (($SUBLIS ARRAY) $I))
1518
(($RHS) (($SUBLIS ARRAY) $I)))
1520
((MSETQ) $SUBLIS (($SUBSTPART) ((MLIST)) $SUBLIS $I)))
1526
(($RHS) (($SUBLIS ARRAY) $I))
1527
(($LHS) (($SUBLIS ARRAY) $I)))
1532
((MSETQ) $GBITS (($APPLY) $EV ((MLIST) $GBITS $SUBLIS)))
1534
((MNOT) (($FREEOF) $EPS $GBITS))
1535
((MSETQ) $GBITS (($EPSCON) $GBITS))
1538
((MRETURN) ((MTIMES) $GBITS $CONS))))
1541
(ARGS '$GCONP '(NIL . 1))
1543
(ADD2LNC '(($GCONP) $EXP) $FUNCTIONS)
1545
(DEFPROP $KAHG (GAMKAH > DSK SHARE2) AUTOLOAD)
1547
(ADD2LNC '$KAHG $PROPS)
added
removed
share/physics/gamcon.lisp
