
(/VERSIONCHECK 2) 

(DEFUN |RECOP;eqAsF| (|l| $) (SPADCALL |l| 1 (QREFELT $ 19))) 

(DEFUN |RECOP;dummy| (|l| $)
  (SPADCALL (SPADCALL |l| 2 (QREFELT $ 19)) (QREFELT $ 20))) 

(DEFUN |RECOP;dummyAsF| (|l| $) (SPADCALL |l| 2 (QREFELT $ 19))) 

(DEFUN |RECOP;displayVariable| (|l| $) (SPADCALL |l| 3 (QREFELT $ 19))) 

(DEFUN |RECOP;operatorName| (|l| $)
  (SPADCALL
   (SPADCALL (SPADCALL (SPADCALL |l| 4 (QREFELT $ 19)) (QREFELT $ 22)) 1
             (QREFELT $ 25))
   (QREFELT $ 26))) 

(DEFUN |RECOP;operatorNameAsF| (|l| $) (SPADCALL |l| 4 (QREFELT $ 19))) 

(DEFUN |RECOP;operatorArgument| (|l| $)
  (SPADCALL
   (SPADCALL
    (SPADCALL (SPADCALL (SPADCALL |l| 4 (QREFELT $ 19)) (QREFELT $ 22)) 1
              (QREFELT $ 25))
    (QREFELT $ 27))
   1 (QREFELT $ 19))) 

(DEFUN |RECOP;initialValues| (|l| $) (SPADCALL |l| 4 (QREFELT $ 29))) 

(DEFUN |RECOP;getShiftRec;BoKSU;9| (|op| |f| |n| $)
  (PROG (#1=#:G1300 |num| |p| |a|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ
        (LETT |a| (SPADCALL |f| (QREFELT $ 27))
              . #2=(|RECOP;getShiftRec;BoKSU;9|))
        (COND
         ((SPADCALL (CONS #'|RECOP;getShiftRec;BoKSU;9!0| (VECTOR $ |n|)) |a|
                    (QREFELT $ 34))
          (PROGN (LETT #1# (CONS 0 0) . #2#) (GO #1#))))
        (COND
         ((NULL (EQL (LENGTH |a|) 1))
          (|error| "RECOP: operator should have only one argument")))
        (LETT |p|
              (SPADCALL (SPADCALL |a| 1 (QREFELT $ 19))
                        (SPADCALL (SPADCALL |n| (QREFELT $ 30)) (QREFELT $ 36))
                        (QREFELT $ 38))
              . #2#)
        (COND
         ((NULL
           (SPADCALL (SPADCALL |p| (QREFELT $ 40)) (|spadConstant| $ 41)
                     (QREFELT $ 42)))
          (PROGN (LETT #1# (CONS 1 "failed") . #2#) (GO #1#))))
        (LETT |num| (SPADCALL |p| (QREFELT $ 44)) . #2#)
        (EXIT
         (COND
          ((EQL (SPADCALL |num| (QREFELT $ 45)) 1)
           (COND
            ((SPADCALL (SPADCALL |num| 1 (QREFELT $ 46)) (|spadConstant| $ 16)
                       (QREFELT $ 47))
             (COND
              ((SPADCALL (CONS #'|RECOP;getShiftRec;BoKSU;9!1| (VECTOR $ |n|))
                         (SPADCALL |num| (QREFELT $ 48)) (QREFELT $ 34))
               (PROGN
                (LETT #1#
                      (SPADCALL (SPADCALL |num| 0 (QREFELT $ 46))
                                (QREFELT $ 52))
                      . #2#)
                (GO #1#)))
              (#3='T (PROGN (LETT #1# (CONS 1 #4="failed") . #2#) (GO #1#)))))
            (#3# (PROGN (LETT #1# (CONS 1 #4#) . #2#) (GO #1#)))))
          (#3# (PROGN (LETT #1# (CONS 1 #4#) . #2#) (GO #1#)))))))
      #1# (EXIT #1#))))) 

(DEFUN |RECOP;getShiftRec;BoKSU;9!1| (|z| $$)
  (PROG (|n| $)
    (LETT |n| (QREFELT $$ 1) . #1=(|RECOP;getShiftRec;BoKSU;9|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN (SPADCALL |z| (SPADCALL |n| (QREFELT $ 30)) (QREFELT $ 32)))))) 

(DEFUN |RECOP;getShiftRec;BoKSU;9!0| (|z| $$)
  (PROG (|n| $)
    (LETT |n| (QREFELT $$ 1) . #1=(|RECOP;getShiftRec;BoKSU;9|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN (SPADCALL |z| (SPADCALL |n| (QREFELT $ 30)) (QREFELT $ 32)))))) 

(DEFUN |RECOP;shiftInfoRec;BoSFR;10| (|op| |argsym| |eq| $)
  (PROG (#1=#:G1314 |minShift| |nextKernel| |maxShift| |error?| |shift|
         #2=#:G1315 |f|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ (LETT |error?| 'T . #3=(|RECOP;shiftInfoRec;BoSFR;10|))
            (SEQ (LETT |f| NIL . #3#)
                 (LETT #2# (SPADCALL |eq| (QREFELT $ 22)) . #3#) G190
                 (COND
                  ((OR (ATOM #2#) (PROGN (LETT |f| (CAR #2#) . #3#) NIL))
                   (GO G191)))
                 (SEQ
                  (EXIT
                   (COND
                    ((SPADCALL |f| |op| (QREFELT $ 54))
                     (SEQ
                      (LETT |shift| (SPADCALL |op| |f| |argsym| (QREFELT $ 53))
                            . #3#)
                      (EXIT
                       (COND
                        (|error?|
                         (SEQ (LETT |error?| 'NIL . #3#)
                              (LETT |nextKernel| |f| . #3#)
                              (EXIT
                               (COND
                                ((QEQCAR |shift| 0)
                                 (SEQ (LETT |maxShift| (QCDR |shift|) . #3#)
                                      (EXIT
                                       (LETT |minShift| (QCDR |shift|)
                                             . #3#))))
                                ('T
                                 (PROGN
                                  (LETT #1#
                                        (VECTOR (CONS 1 "failed")
                                                (CONS 1 "failed") |nextKernel|)
                                        . #3#)
                                  (GO #1#)))))))
                        ((QEQCAR |shift| 0)
                         (SEQ
                          (COND
                           ((< |maxShift| (QCDR |shift|))
                            (SEQ (LETT |maxShift| (QCDR |shift|) . #3#)
                                 (EXIT (LETT |nextKernel| |f| . #3#)))))
                          (EXIT
                           (COND
                            ((< (QCDR |shift|) |minShift|)
                             (LETT |minShift| (QCDR |shift|) . #3#))))))
                        ('T
                         (PROGN
                          (LETT #1#
                                (VECTOR (CONS 1 "failed") (CONS 1 "failed")
                                        |nextKernel|)
                                . #3#)
                          (GO #1#))))))))))
                 (LETT #2# (CDR #2#) . #3#) (GO G190) G191 (EXIT NIL))
            (COND
             (|error?|
              (|error| "evalRec: equation does not contain operator")))
            (EXIT
             (VECTOR (CONS 0 |maxShift|) (CONS 0 (- |maxShift| |minShift|))
                     |nextKernel|))))
      #1# (EXIT #1#))))) 

(DEFUN |RECOP;evalRec;BoS3FLF;11|
       (|op| |argsym| |argdisp| |arg| |eq| |values| $)
  (PROG (|newval| |nextval| #1=#:G1317 |next| |num| |p| |shiftInfo| |len| |n|)
    (RETURN
     (SEQ
      (LETT |n| (SPADCALL |arg| (QREFELT $ 52))
            . #2=(|RECOP;evalRec;BoS3FLF;11|))
      (EXIT
       (COND
        ((OR (QEQCAR |n| 1) (< (QCDR |n|) 0))
         (SEQ
          (LETT |shiftInfo| (SPADCALL |op| |argsym| |eq| (QREFELT $ 56)) . #2#)
          (EXIT
           (COND
            ((OR (QEQCAR (QVELT |shiftInfo| 1) 1)
                 (< 0
                    (PROG2
                        (LETT #1# (QVELT |shiftInfo| 1) . #2#)
                        (QCDR #1#)
                      (|check-union| (QEQCAR #1# 0) (|Integer|) #1#))))
             (SPADCALL (QREFELT $ 11)
                       (APPEND
                        (LIST |eq| (SPADCALL |argsym| (QREFELT $ 30)) |argdisp|
                              (SPADCALL |op| |arg| (QREFELT $ 57)))
                        |values|)
                       (QREFELT $ 59)))
            ('T
             (SEQ
              (LETT |p| (SPADCALL |eq| (QVELT |shiftInfo| 2) (QREFELT $ 38))
                    . #2#)
              (LETT |num| (SPADCALL |p| (QREFELT $ 44)) . #2#)
              (EXIT
               (COND
                ((EQL (SPADCALL |num| (QREFELT $ 45)) 1)
                 (SPADCALL
                  (SPADCALL
                   (SPADCALL (SPADCALL |num| 0 (QREFELT $ 46))
                             (SPADCALL |num| 1 (QREFELT $ 46)) (QREFELT $ 60))
                   (QREFELT $ 61))
                  (SPADCALL |argsym| (QREFELT $ 30))
                  (SPADCALL |arg|
                            (SPADCALL
                             (PROG2
                                 (LETT #1# (QVELT |shiftInfo| 0) . #2#)
                                 (QCDR #1#)
                               (|check-union| (QEQCAR #1# 0) (|Integer|) #1#))
                             (QREFELT $ 62))
                            (QREFELT $ 63))
                  (QREFELT $ 64)))
                (#3='T
                 (SPADCALL (QREFELT $ 11)
                           (APPEND
                            (LIST |eq| (SPADCALL |argsym| (QREFELT $ 30))
                                  |argdisp|
                                  (SPADCALL |op| |arg| (QREFELT $ 57)))
                            |values|)
                           (QREFELT $ 59)))))))))))
        ('T
         (SEQ (LETT |len| (LENGTH |values|) . #2#)
              (EXIT
               (COND
                ((< (QCDR |n|) |len|)
                 (SPADCALL |values| (- |len| (QCDR |n|)) (QREFELT $ 19)))
                (#3#
                 (SEQ
                  (LETT |shiftInfo|
                        (SPADCALL |op| |argsym| |eq| (QREFELT $ 56)) . #2#)
                  (EXIT
                   (COND
                    ((QEQCAR (QVELT |shiftInfo| 0) 0)
                     (SEQ
                      (LETT |p|
                            (SPADCALL |eq| (QVELT |shiftInfo| 2)
                                      (QREFELT $ 38))
                            . #2#)
                      (LETT |num| (SPADCALL |p| (QREFELT $ 44)) . #2#)
                      (EXIT
                       (COND
                        ((EQL (SPADCALL |num| (QREFELT $ 45)) 1)
                         (SEQ
                          (LETT |next|
                                (SPADCALL
                                 (SPADCALL (SPADCALL |num| 0 (QREFELT $ 46))
                                           (SPADCALL |num| 1 (QREFELT $ 46))
                                           (QREFELT $ 60))
                                 (QREFELT $ 61))
                                . #2#)
                          (LETT |nextval|
                                (SPADCALL |next|
                                          (SPADCALL |argsym| (QREFELT $ 30))
                                          (SPADCALL
                                           (- |len|
                                              (PROG2
                                                  (LETT #1#
                                                        (QVELT |shiftInfo| 0)
                                                        . #2#)
                                                  (QCDR #1#)
                                                (|check-union| (QEQCAR #1# 0)
                                                               (|Integer|)
                                                               #1#)))
                                           (QREFELT $ 62))
                                          (QREFELT $ 64))
                                . #2#)
                          (LETT |newval|
                                (SPADCALL |nextval| |op|
                                          (CONS #'|RECOP;evalRec;BoS3FLF;11!0|
                                                (VECTOR $ |values| |eq|
                                                        |argdisp| |argsym|
                                                        |op|))
                                          (QREFELT $ 71))
                                . #2#)
                          (EXIT
                           (SPADCALL |op| |argsym| |argdisp| |arg| |eq|
                                     (CONS |newval| |values|)
                                     (QREFELT $ 69)))))
                        (#3#
                         (SPADCALL (QREFELT $ 11)
                                   (APPEND
                                    (LIST |eq|
                                          (SPADCALL |argsym| (QREFELT $ 30))
                                          |argdisp|
                                          (SPADCALL |op| |arg| (QREFELT $ 57)))
                                    |values|)
                                   (QREFELT $ 59)))))))
                    (#3#
                     (SPADCALL (QREFELT $ 11)
                               (APPEND
                                (LIST |eq| (SPADCALL |argsym| (QREFELT $ 30))
                                      |argdisp|
                                      (SPADCALL |op| |arg| (QREFELT $ 57)))
                                |values|)
                               (QREFELT $ 59))))))))))))))))) 

(DEFUN |RECOP;evalRec;BoS3FLF;11!0| (|z| $$)
  (PROG (|op| |argsym| |argdisp| |eq| |values| $)
    (LETT |op| (QREFELT $$ 5) . #1=(|RECOP;evalRec;BoS3FLF;11|))
    (LETT |argsym| (QREFELT $$ 4) . #1#)
    (LETT |argdisp| (QREFELT $$ 3) . #1#)
    (LETT |eq| (QREFELT $$ 2) . #1#)
    (LETT |values| (QREFELT $$ 1) . #1#)
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN
      (SPADCALL |op| |argsym| |argdisp| |z| |eq| |values| (QREFELT $ 69)))))) 

(DEFUN |RECOP;numberOfValuesNeeded;IBoSFI;12|
       (|numberOfValues| |op| |argsym| |eq| $)
  (PROG (|order|)
    (RETURN
     (SEQ
      (LETT |order| (QVELT (SPADCALL |op| |argsym| |eq| (QREFELT $ 56)) 1)
            |RECOP;numberOfValuesNeeded;IBoSFI;12|)
      (EXIT
       (COND
        ((QEQCAR |order| 0)
         (MIN |numberOfValues| (SPADCALL (QCDR |order|) (QREFELT $ 72))))
        ('T |numberOfValues|))))))) 

(DEFUN |RECOP;evalRec;BoS3FLF;13|
       (|op| |argsym| |argdisp| |arg| |eq| |values| $)
  (SPADCALL (QREFELT $ 11)
            (APPEND
             (LIST |eq| (SPADCALL |argsym| (QREFELT $ 30)) |argdisp|
                   (SPADCALL |op| |arg| (QREFELT $ 57)))
             |values|)
            (QREFELT $ 59))) 

(PUT '|RECOP;numberOfValuesNeeded;IBoSFI;14| '|SPADreplace|
     '(XLAM (|numberOfValues| |op| |argsym| |eq|) |numberOfValues|)) 

(DEFUN |RECOP;numberOfValuesNeeded;IBoSFI;14|
       (|numberOfValues| |op| |argsym| |eq| $)
  |numberOfValues|) 

(DEFUN |RECOP;irecur| (|l| $)
  (SPADCALL (|RECOP;operatorName| |l| $) (|RECOP;dummy| |l| $)
            (|RECOP;displayVariable| |l| $) (|RECOP;operatorArgument| |l| $)
            (|RECOP;eqAsF| |l| $) (|RECOP;initialValues| |l| $) (QREFELT $ 69))) 

(DEFUN |RECOP;ddrec| (|l| $)
  (PROG (|vals| |i| #1=#:G1346 |numberOfValues| |eq| |values| |op|)
    (RETURN
     (SEQ (LETT |op| (|RECOP;operatorName| |l| $) . #2=(|RECOP;ddrec|))
          (LETT |values| (REVERSE |l|) . #2#)
          (LETT |eq| (|RECOP;eqAsF| |l| $) . #2#)
          (LETT |numberOfValues|
                (SPADCALL (- (LENGTH |values|) 4) |op| (|RECOP;dummy| |l| $)
                          |eq| (QREFELT $ 73))
                . #2#)
          (LETT |vals|
                (CONS
                 (SPADCALL
                  (SPADCALL
                   (SPADCALL |eq| (|RECOP;dummyAsF| |l| $)
                             (|RECOP;displayVariable| |l| $) (QREFELT $ 64))
                   (QREFELT $ 78))
                  (SPADCALL (|spadConstant| $ 49) (QREFELT $ 79))
                  (QREFELT $ 80))
                 (PROGN
                  (LETT #1# NIL . #2#)
                  (SEQ (LETT |i| 1 . #2#) G190
                       (COND ((QSGREATERP |i| |numberOfValues|) (GO G191)))
                       (SEQ
                        (EXIT
                         (LETT #1#
                               (CONS
                                (SPADCALL
                                 (SPADCALL (SPADCALL |op| (QREFELT $ 81))
                                           (LIST
                                            (SPADCALL (- |i| 1)
                                                      (QREFELT $ 82)))
                                           (QREFELT $ 83))
                                 (SPADCALL
                                  (SPADCALL |values| |i| (QREFELT $ 19))
                                  (QREFELT $ 78))
                                 (QREFELT $ 80))
                                #1#)
                               . #2#)))
                       (LETT |i| (QSADD1 |i|) . #2#) (GO G190) G191
                       (EXIT (NREVERSE0 #1#)))))
                . #2#)
          (EXIT
           (SPADCALL
            (SPADCALL
             (LIST (SPADCALL (|RECOP;operatorNameAsF| |l| $) (QREFELT $ 78))
                   ": " (SPADCALL |vals| (QREFELT $ 84)))
             (QREFELT $ 85))
            (QREFELT $ 86))))))) 

(DEFUN |RECOP;getOrder| (|op| |f| $)
  (PROG (|res| |g|)
    (RETURN
     (SEQ (LETT |res| 0 . #1=(|RECOP;getOrder|)) (LETT |g| |f| . #1#)
          (SEQ G190
               (COND ((NULL (SPADCALL |g| '|%diff| (QREFELT $ 87))) (GO G191)))
               (SEQ
                (LETT |g|
                      (SPADCALL
                       (SPADCALL
                        (SPADCALL (SPADCALL |g| (QREFELT $ 27)) 1
                                  (QREFELT $ 19))
                        (QREFELT $ 22))
                       1 (QREFELT $ 25))
                      . #1#)
                (EXIT (LETT |res| (+ |res| 1) . #1#)))
               NIL (GO G190) G191 (EXIT NIL))
          (EXIT (COND ((SPADCALL |g| |op| (QREFELT $ 54)) |res|) ('T 0))))))) 

(DEFUN |RECOP;evalADE;BoS3FLF;18|
       (|op| |argsym| |argdisp| |arg| |eq| |values| $)
  (PROG (#1=#:G1360 |s| #2=#:G1358 |p| |order| #3=#:G1366 |k| |keq| #4=#:G1365
         |n|)
    (RETURN
     (SEQ
      (COND
       ((NULL
         (SPADCALL |eq| (SPADCALL |argdisp| (QREFELT $ 20)) (QREFELT $ 88)))
        (|error|
         "RECOP: The argument should not be used in the equation of the ADE")))
      (LETT |n| (SPADCALL |arg| (QREFELT $ 52))
            . #5=(|RECOP;evalADE;BoS3FLF;18|))
      (EXIT
       (COND
        ((QEQCAR |n| 1)
         (SEQ (LETT |keq| (SPADCALL |eq| (QREFELT $ 22)) . #5#)
              (LETT |order|
                    (|RECOP;getOrder| |op| (SPADCALL |keq| 1 (QREFELT $ 25)) $)
                    . #5#)
              (SEQ (LETT |k| NIL . #5#) (LETT #4# (CDR |keq|) . #5#) G190
                   (COND
                    ((OR (ATOM #4#) (PROGN (LETT |k| (CAR #4#) . #5#) NIL))
                     #6=(GO G191)))
                   (SEQ
                    (EXIT
                     (LETT |order| (MAX |order| (|RECOP;getOrder| |op| |k| $))
                           . #5#)))
                   (LETT #4# (CDR #4#) . #5#) #7=(GO G190) G191 (EXIT NIL))
              (LETT |p|
                    (SPADCALL |eq|
                              (SPADCALL
                               (SPADCALL
                                (SPADCALL
                                 (SPADCALL |op|
                                           (SPADCALL |argsym| (QREFELT $ 30))
                                           (QREFELT $ 57))
                                 |argsym| |order| (QREFELT $ 89))
                                (QREFELT $ 22))
                               1 (QREFELT $ 25))
                              (QREFELT $ 38))
                    . #5#)
              (EXIT
               (COND
                ((EQL (SPADCALL (SPADCALL |p| (QREFELT $ 44)) (QREFELT $ 45))
                      1)
                 (SPADCALL (QREFELT $ 12)
                           (APPEND
                            (LIST |eq| (SPADCALL |argsym| (QREFELT $ 30))
                                  |argdisp|
                                  (SPADCALL |op| |arg| (QREFELT $ 57)))
                            (REVERSE
                             (SPADCALL (REVERSE |values|) |order|
                                       (QREFELT $ 90))))
                           (QREFELT $ 59)))
                (#8='T
                 (SPADCALL (QREFELT $ 12)
                           (APPEND
                            (LIST |eq| (SPADCALL |argsym| (QREFELT $ 30))
                                  |argdisp|
                                  (SPADCALL |op| |arg| (QREFELT $ 57)))
                            |values|)
                           (QREFELT $ 59)))))))
        ((< (QCDR |n|) 0) (|spadConstant| $ 50))
        (#8#
         (SEQ (LETT |keq| (SPADCALL |eq| (QREFELT $ 22)) . #5#)
              (LETT |order|
                    (|RECOP;getOrder| |op| (SPADCALL |keq| 1 (QREFELT $ 25)) $)
                    . #5#)
              (SEQ (LETT |k| NIL . #5#) (LETT #3# (CDR |keq|) . #5#) G190
                   (COND
                    ((OR (ATOM #3#) (PROGN (LETT |k| (CAR #3#) . #5#) NIL))
                     #6#))
                   (SEQ
                    (EXIT
                     (LETT |order| (MAX |order| (|RECOP;getOrder| |op| |k| $))
                           . #5#)))
                   (LETT #3# (CDR #3#) . #5#) #7# G191 (EXIT NIL))
              (LETT |p|
                    (SPADCALL |eq|
                              (SPADCALL
                               (SPADCALL
                                (SPADCALL
                                 (SPADCALL |op|
                                           (SPADCALL |argsym| (QREFELT $ 30))
                                           (QREFELT $ 57))
                                 |argsym| |order| (QREFELT $ 89))
                                (QREFELT $ 22))
                               1 (QREFELT $ 25))
                              (QREFELT $ 38))
                    . #5#)
              (EXIT
               (COND
                ((< 1 (SPADCALL (SPADCALL |p| (QREFELT $ 44)) (QREFELT $ 45)))
                 (SEQ
                  (LETT |s|
                        (SPADCALL |eq| |op| |argsym| (REVERSE |values|)
                                  (QREFELT $ 94))
                        . #5#)
                  (EXIT
                   (SPADCALL |s|
                             (PROG1 (LETT #2# (QCDR |n|) . #5#)
                               (|check-subtype| (>= #2# 0)
                                                '(|NonNegativeInteger|) #2#))
                             (QREFELT $ 95)))))
                (#8#
                 (SEQ
                  (LETT |s|
                        (SPADCALL |eq| |op| |argsym|
                                  (SPADCALL (REVERSE |values|) |order|
                                            (QREFELT $ 90))
                                  (QREFELT $ 94))
                        . #5#)
                  (EXIT
                   (SPADCALL |s|
                             (PROG1 (LETT #1# (QCDR |n|) . #5#)
                               (|check-subtype| (>= #1# 0)
                                                '(|NonNegativeInteger|) #1#))
                             (QREFELT $ 95))))))))))))))) 

(DEFUN |RECOP;iADE| (|l| $)
  (SPADCALL (|RECOP;operatorName| |l| $) (|RECOP;dummy| |l| $)
            (|RECOP;displayVariable| |l| $) (|RECOP;operatorArgument| |l| $)
            (|RECOP;eqAsF| |l| $) (|RECOP;initialValues| |l| $) (QREFELT $ 96))) 

(DEFUN |RECOP;getEq;2F;20| (|f| $)
  (PROG (|l| |ker|)
    (RETURN
     (SEQ (LETT |ker| (SPADCALL |f| (QREFELT $ 22)) . #1=(|RECOP;getEq;2F;20|))
          (EXIT
           (COND
            ((EQL (LENGTH |ker|) 1)
             (COND
              ((OR
                (SPADCALL
                 (SPADCALL (SPADCALL |ker| 1 (QREFELT $ 25)) (QREFELT $ 26))
                 '|rootOfADE| (QREFELT $ 97))
                (SPADCALL
                 (SPADCALL (SPADCALL |ker| 1 (QREFELT $ 25)) (QREFELT $ 26))
                 '|rootOfRec| (QREFELT $ 97)))
               (SEQ
                (LETT |l|
                      (SPADCALL (SPADCALL |ker| 1 (QREFELT $ 25))
                                (QREFELT $ 27))
                      . #1#)
                (EXIT
                 (SPADCALL (|RECOP;eqAsF| |l| $) (|RECOP;dummyAsF| |l| $)
                           (|RECOP;displayVariable| |l| $) (QREFELT $ 64)))))
              ('T
               (|error|
                #2="getEq: argument should be a single rootOfADE or rootOfRec object"))))
            ('T (|error| #2#)))))))) 

(DEFUN |RECOP;getOp;FBo;21| (|f| $)
  (PROG (|ker|)
    (RETURN
     (SEQ (LETT |ker| (SPADCALL |f| (QREFELT $ 22)) |RECOP;getOp;FBo;21|)
          (EXIT
           (COND
            ((EQL (LENGTH |ker|) 1)
             (COND
              ((OR
                (SPADCALL
                 (SPADCALL (SPADCALL |ker| 1 (QREFELT $ 25)) (QREFELT $ 26))
                 '|rootOfADE| (QREFELT $ 97))
                (SPADCALL
                 (SPADCALL (SPADCALL |ker| 1 (QREFELT $ 25)) (QREFELT $ 26))
                 '|rootOfRec| (QREFELT $ 97)))
               (|RECOP;operatorName|
                (SPADCALL (SPADCALL |ker| 1 (QREFELT $ 25)) (QREFELT $ 27)) $))
              ('T
               (|error|
                #1="getOp: argument should be a single rootOfADE or rootOfRec object"))))
            ('T (|error| #1#)))))))) 

(DEFUN |RECOP;ddADE| (|l| $)
  (PROG (|TaylorPoly| |TaylorO| |TaylorList| #1=#:G1385 |i| #2=#:G1384 |DiffEq|
         |TaylorCoeff| |values| |x| |op|)
    (RETURN
     (SEQ (LETT |op| (|RECOP;operatorName| |l| $) . #3=(|RECOP;ddADE|))
          (LETT |x| (|RECOP;displayVariable| |l| $) . #3#)
          (LETT |values| (REVERSE |l|) . #3#)
          (LETT |TaylorCoeff|
                (SPADCALL
                 (SPADCALL (SPADCALL |x| (QREFELT $ 78))
                           (SPADCALL (|RECOP;operatorArgument| |l| $)
                                     (QREFELT $ 78))
                           (QREFELT $ 100))
                 (QREFELT $ 86))
                . #3#)
          (LETT |DiffEq|
                (SPADCALL
                 (LIST |TaylorCoeff|
                       (SPADCALL (SPADCALL |op| |x| (QREFELT $ 57))
                                 (QREFELT $ 78))
                       ": "
                       (SPADCALL
                        (SPADCALL
                         (SPADCALL (|RECOP;eqAsF| |l| $)
                                   (|RECOP;dummyAsF| |l| $) |x| (QREFELT $ 64))
                         (QREFELT $ 78))
                        (SPADCALL (|spadConstant| $ 49) (QREFELT $ 79))
                        (QREFELT $ 80)))
                 (QREFELT $ 85))
                . #3#)
          (EXIT
           (COND ((< (LENGTH |values|) 5) (SPADCALL |DiffEq| (QREFELT $ 86)))
                 (#4='T
                  (SEQ
                   (LETT |TaylorList|
                         (PROGN
                          (LETT #2# NIL . #3#)
                          (SEQ (LETT |i| 0 . #3#)
                               (LETT #1# (MIN 4 (- (LENGTH |values|) 5)) . #3#)
                               G190 (COND ((QSGREATERP |i| #1#) (GO G191)))
                               (SEQ
                                (EXIT
                                 (COND
                                  ((COND
                                    ((SPADCALL
                                      (SPADCALL |values| (+ |i| 1)
                                                (QREFELT $ 19))
                                      (|spadConstant| $ 50) (QREFELT $ 47))
                                     'NIL)
                                    (#4# 'T))
                                   (LETT #2#
                                         (CONS
                                          (SPADCALL
                                           (SPADCALL
                                            (SPADCALL |values| (+ |i| 1)
                                                      (QREFELT $ 19))
                                            (SPADCALL |x| |i| (QREFELT $ 101))
                                            (QREFELT $ 102))
                                           (QREFELT $ 78))
                                          #2#)
                                         . #3#)))))
                               (LETT |i| (QSADD1 |i|) . #3#) (GO G190) G191
                               (EXIT (NREVERSE0 #2#))))
                         . #3#)
                   (LETT |TaylorO|
                         (SPADCALL "O"
                                   (LIST
                                    (SPADCALL
                                     (SPADCALL |x|
                                               (+ 1
                                                  (MIN 4
                                                       (- (LENGTH |values|)
                                                          5)))
                                               (QREFELT $ 103))
                                     (QREFELT $ 78)))
                                   (QREFELT $ 104))
                         . #3#)
                   (LETT |TaylorPoly|
                         (SPADCALL
                          (SPADCALL (SPADCALL |op| |x| (QREFELT $ 57))
                                    (QREFELT $ 78))
                          (SPADCALL (ELT $ 105)
                                    (SPADCALL |TaylorList| |TaylorO|
                                              (QREFELT $ 107))
                                    (QREFELT $ 109))
                          (QREFELT $ 80))
                         . #3#)
                   (EXIT
                    (SPADCALL
                     (SPADCALL (LIST |DiffEq| |TaylorPoly|) (QREFELT $ 84))
                     (QREFELT $ 86))))))))))) 

(DEFUN |RecurrenceOperator| (&REST #1=#:G1386)
  (PROG ()
    (RETURN
     (PROG (#2=#:G1387)
       (RETURN
        (COND
         ((LETT #2#
                (|lassocShiftWithFunction| (|devaluateList| #1#)
                                           (HGET |$ConstructorCache|
                                                 '|RecurrenceOperator|)
                                           '|domainEqualList|)
                . #3=(|RecurrenceOperator|))
          (|CDRwithIncrement| #2#))
         ('T
          (UNWIND-PROTECT
              (PROG1 (APPLY (|function| |RecurrenceOperator;|) #1#)
                (LETT #2# T . #3#))
            (COND
             ((NOT #2#)
              (HREM |$ConstructorCache| '|RecurrenceOperator|))))))))))) 

(DEFUN |RecurrenceOperator;| (|#1| |#2|)
  (PROG (|pv$| $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|RecurrenceOperator|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT |dv$| (LIST '|RecurrenceOperator| DV$1 DV$2) . #1#)
      (LETT $ (GETREFV 110) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3
                (LETT |pv$|
                      (|buildPredVector| 0 0
                                         (LIST (|HasCategory| |#1| '(|Ring|))))
                      . #1#))
      (|haddProp| |$ConstructorCache| '|RecurrenceOperator| (LIST DV$1 DV$2)
                  (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (QSETREFV $ 11 (SPADCALL '|rootOfRec| (QREFELT $ 10)))
      (QSETREFV $ 12 (SPADCALL '|rootOfADE| (QREFELT $ 10)))
      (SPADCALL (QREFELT $ 11) '|%dummyVar| 2 (QREFELT $ 14))
      (SPADCALL (QREFELT $ 12) '|%dummyVar| 2 (QREFELT $ 14))
      (COND
       ((|testBitVector| |pv$| 1)
        (PROGN
         (QSETREFV $ 53
                   (CONS (|dispatchFunction| |RECOP;getShiftRec;BoKSU;9|) $))
         (QSETREFV $ 56
                   (CONS (|dispatchFunction| |RECOP;shiftInfoRec;BoSFR;10|) $))
         (QSETREFV $ 69
                   (CONS (|dispatchFunction| |RECOP;evalRec;BoS3FLF;11|) $))
         (QSETREFV $ 73
                   (CONS
                    (|dispatchFunction| |RECOP;numberOfValuesNeeded;IBoSFI;12|)
                    $))))
       ('T
        (PROGN
         (QSETREFV $ 69
                   (CONS (|dispatchFunction| |RECOP;evalRec;BoS3FLF;13|) $))
         (QSETREFV $ 73
                   (CONS
                    (|dispatchFunction| |RECOP;numberOfValuesNeeded;IBoSFI;14|)
                    $)))))
      (SPADCALL (QREFELT $ 11) (CONS (|function| |RECOP;irecur|) $)
                (QREFELT $ 76))
      (SPADCALL (QREFELT $ 11) '|%specialDisp|
                (CONS (|function| |RECOP;ddrec|) $) (QREFELT $ 14))
      (SPADCALL (QREFELT $ 12) (CONS (|function| |RECOP;iADE|) $)
                (QREFELT $ 76))
      (SPADCALL (QREFELT $ 12) '|%specialDisp|
                (CONS (|function| |RECOP;ddADE|) $) (QREFELT $ 14))
      $)))) 

(MAKEPROP '|RecurrenceOperator| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|) (|Symbol|)
              (|BasicOperator|) (0 . |operator|) '|oprecur| '|opADE| (|None|)
              (5 . |setProperty|) (12 . |One|) (16 . |One|) (|Integer|)
              (|List| 7) (20 . |elt|) (26 . |retract|) (|List| 35)
              (31 . |kernels|) (|Kernel| 7) (|List| 23) (36 . |elt|)
              (42 . |operator|) (47 . |argument|) (|NonNegativeInteger|)
              (52 . |rest|) (58 . |coerce|) (|Boolean|) (63 . |freeOf?|)
              (|Mapping| 31 7) (69 . |every?|) (|Kernel| $) (75 . |retract|)
              (|Fraction| (|SparseUnivariatePolynomial| $)) (80 . |univariate|)
              (|Fraction| 43) (86 . |denominator|) (91 . |One|) (95 . =)
              (|SparseUnivariatePolynomial| 7) (101 . |numer|) (106 . |degree|)
              (111 . |coefficient|) (117 . =) (123 . |coefficients|)
              (128 . |Zero|) (132 . |Zero|) (|Union| 17 '"failed")
              (136 . |retractIfCan|) (141 . |getShiftRec|) (148 . |is?|)
              (|Record| (|:| |max| 51) (|:| |ord| 51) (|:| |ker| 23))
              (154 . |shiftInfoRec|) (161 . |elt|) (|List| $) (167 . |kernel|)
              (173 . /) (179 . -) (184 . |coerce|) (189 . -) (195 . |eval|)
              (202 . |Zero|) (206 . |Zero|)
              (|SparseMultivariatePolynomial| 6 23) (210 . |Zero|)
              (214 . |evalRec|) (|Mapping| $ $) (224 . |eval|)
              (231 . |retract|) (236 . |numberOfValuesNeeded|) (|Mapping| 7 18)
              (|BasicOperatorFunctions1| 7) (244 . |evaluate|) (|OutputForm|)
              (250 . |coerce|) (255 . |coerce|) (260 . =) (266 . |coerce|)
              (271 . |coerce|) (276 . |elt|) (282 . |commaSeparate|)
              (287 . |hconcat|) (292 . |bracket|) (297 . |is?|)
              (303 . |freeOf?|) (309 . D) (316 . |first|) (322 . |One|)
              (|UnivariateFormalPowerSeries| 7)
              (|ExpressionSolve| 6 7 92
                                 (|UnivariateFormalPowerSeries|
                                  (|SparseUnivariatePolynomialExpressions| 7)))
              (326 . |seriesSolve|) (334 . |elt|) |RECOP;evalADE;BoS3FLF;18|
              (340 . |is?|) |RECOP;getEq;2F;20| |RECOP;getOp;FBo;21| (346 . ^)
              (352 . ^) (358 . *) (364 . ^) (370 . |prefix|) (376 . +)
              (|List| 77) (382 . |concat|) (|Mapping| 77 77 77)
              (388 . |reduce|))
           '#(|shiftInfoRec| 394 |numberOfValuesNeeded| 401 |getShiftRec| 409
              |getOp| 416 |getEq| 421 |evalRec| 426 |evalADE| 436)
           'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 109
                                                 '(1 9 0 8 10 3 9 0 0 8 13 14 0
                                                   6 0 15 0 7 0 16 2 18 7 0 17
                                                   19 1 7 8 0 20 1 7 21 0 22 2
                                                   24 23 0 17 25 1 23 9 0 26 1
                                                   23 18 0 27 2 18 0 0 28 29 1
                                                   7 0 8 30 2 7 31 0 0 32 2 18
                                                   31 33 0 34 1 7 35 0 36 2 7
                                                   37 0 35 38 1 39 0 0 40 0 39
                                                   0 41 2 39 31 0 0 42 1 39 43
                                                   0 44 1 43 28 0 45 2 43 7 0
                                                   28 46 2 7 31 0 0 47 1 43 18
                                                   0 48 0 6 0 49 0 7 0 50 1 7
                                                   51 0 52 3 0 51 9 23 8 53 2
                                                   23 31 0 9 54 3 0 55 9 8 7 56
                                                   2 7 0 9 0 57 2 7 0 9 58 59 2
                                                   7 0 0 0 60 1 7 0 0 61 1 7 0
                                                   17 62 2 7 0 0 0 63 3 7 0 0 0
                                                   0 64 0 39 0 65 0 43 0 66 0
                                                   67 0 68 6 0 7 9 8 7 7 7 18
                                                   69 3 7 0 0 9 70 71 1 17 17 0
                                                   72 4 0 17 17 9 8 7 73 2 75 9
                                                   9 74 76 1 7 77 0 78 1 6 77 0
                                                   79 2 77 0 0 0 80 1 9 77 0 81
                                                   1 17 77 0 82 2 77 0 0 58 83
                                                   1 77 0 58 84 1 77 0 58 85 1
                                                   77 0 0 86 2 23 31 0 8 87 2 7
                                                   31 0 8 88 3 7 0 0 8 28 89 2
                                                   18 0 0 28 90 0 43 0 91 4 93
                                                   92 7 9 8 18 94 2 92 7 0 28
                                                   95 2 9 31 0 8 97 2 77 0 0 0
                                                   100 2 7 0 0 28 101 2 7 0 0 0
                                                   102 2 7 0 0 17 103 2 77 0 0
                                                   58 104 2 77 0 0 0 105 2 106
                                                   0 0 77 107 2 106 77 108 0
                                                   109 3 1 55 9 8 7 56 4 0 17
                                                   17 9 8 7 73 3 1 51 9 23 8 53
                                                   1 0 9 7 99 1 0 7 7 98 6 0 7
                                                   9 8 7 7 7 18 69 6 0 7 9 8 7
                                                   7 7 18 96)))))
           '|lookupComplete|)) 
