
(/VERSIONCHECK 2) 

(DEFUN |RETSOL;PQ2P| (|p| $) (SPADCALL (ELT $ 8) |p| (QREFELT $ 13))) 

(DEFUN |RETSOL;FQ2F| (|f| $)
  (SPADCALL (|RETSOL;PQ2P| (SPADCALL |f| (QREFELT $ 15)) $)
            (|RETSOL;PQ2P| (SPADCALL |f| (QREFELT $ 16)) $) (QREFELT $ 18))) 

(DEFUN |RETSOL;LEQQ2F| (|l| $)
  (PROG (#1=#:G1805 |eq| #2=#:G1804)
    (RETURN
     (SEQ
      (PROGN
       (LETT #2# NIL . #3=(|RETSOL;LEQQ2F|))
       (SEQ (LETT |eq| NIL . #3#) (LETT #1# |l| . #3#) G190
            (COND
             ((OR (ATOM #1#) (PROGN (LETT |eq| (CAR #1#) . #3#) NIL))
              (GO G191)))
            (SEQ
             (EXIT
              (LETT #2#
                    (CONS
                     (SPADCALL (|RETSOL;FQ2F| (SPADCALL |eq| (QREFELT $ 20)) $)
                               (|RETSOL;FQ2F| (SPADCALL |eq| (QREFELT $ 21)) $)
                               (QREFELT $ 23))
                     #2#)
                    . #3#)))
            (LETT #1# (CDR #1#) . #3#) (GO G190) G191
            (EXIT (NREVERSE0 #2#)))))))) 

(DEFUN |RETSOL;solveRetract;LLL;4| (|lp| |lv| $)
  (PROG (#1=#:G1816 |l| #2=#:G1815 #3=#:G1814 |p| #4=#:G1813 |u|)
    (RETURN
     (SEQ
      (LETT |u| (|RETSOL;QIfCan| |lp| $) . #5=(|RETSOL;solveRetract;LLL;4|))
      (EXIT
       (COND
        ((QEQCAR |u| 1)
         (SPADCALL
          (PROGN
           (LETT #4# NIL . #5#)
           (SEQ (LETT |p| NIL . #5#) (LETT #3# |lp| . #5#) G190
                (COND
                 ((OR (ATOM #3#) (PROGN (LETT |p| (CAR #3#) . #5#) NIL))
                  #6=(GO G191)))
                (SEQ
                 (EXIT
                  (LETT #4# (CONS (SPADCALL |p| (QREFELT $ 24)) #4#) . #5#)))
                (LETT #3# (CDR #3#) . #5#) #7=(GO G190) G191
                (EXIT (NREVERSE0 #4#))))
          |lv| (QREFELT $ 29)))
        ('T
         (PROGN
          (LETT #2# NIL . #5#)
          (SEQ (LETT |l| NIL . #5#)
               (LETT #1# (SPADCALL (QCDR |u|) |lv| (QREFELT $ 33)) . #5#) G190
               (COND
                ((OR (ATOM #1#) (PROGN (LETT |l| (CAR #1#) . #5#) NIL)) #6#))
               (SEQ (EXIT (LETT #2# (CONS (|RETSOL;LEQQ2F| |l| $) #2#) . #5#)))
               (LETT #1# (CDR #1#) . #5#) #7# G191
               (EXIT (NREVERSE0 #2#))))))))))) 

(DEFUN |RETSOL;QIfCan| (|l| $)
  (PROG (|ans| #1=#:G1831 |u| #2=#:G1832 |p|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ (LETT |ans| NIL . #3=(|RETSOL;QIfCan|))
            (SEQ (LETT |p| NIL . #3#) (LETT #2# |l| . #3#) G190
                 (COND
                  ((OR (ATOM #2#) (PROGN (LETT |p| (CAR #2#) . #3#) NIL))
                   (GO G191)))
                 (SEQ (LETT |u| (|RETSOL;PQIfCan| |p| $) . #3#)
                      (EXIT
                       (COND
                        ((QEQCAR |u| 1)
                         (PROGN (LETT #1# (CONS 1 "failed") . #3#) (GO #1#)))
                        ('T (LETT |ans| (CONS (QCDR |u|) |ans|) . #3#)))))
                 (LETT #2# (CDR #2#) . #3#) (GO G190) G191 (EXIT NIL))
            (EXIT (CONS 0 |ans|))))
      #1# (EXIT #1#))))) 

(DEFUN |RETSOL;PQIfCan| (|p| $)
  (PROG (|up| |ans| #1=#:G1854 |v| |s| |r| |u|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ (LETT |u| (SPADCALL |p| (QREFELT $ 37)) . #2=(|RETSOL;PQIfCan|))
            (EXIT
             (COND
              ((QEQCAR |u| 1)
               (SEQ
                (LETT |r|
                      (SPADCALL (SPADCALL |p| (QREFELT $ 38)) (QREFELT $ 40))
                      . #2#)
                (EXIT
                 (COND
                  ((QEQCAR |r| 0)
                   (CONS 0
                         (SPADCALL (SPADCALL (QCDR |r|) (QREFELT $ 41))
                                   (QREFELT $ 42))))
                  (#3='T (CONS 1 "failed"))))))
              (#3#
               (SEQ
                (LETT |up|
                      (SPADCALL |p| (LETT |s| (QCDR |u|) . #2#) (QREFELT $ 45))
                      . #2#)
                (LETT |ans| (|spadConstant| $ 46) . #2#)
                (SEQ G190
                     (COND
                      ((NULL
                        (COND
                         ((SPADCALL |up| (|spadConstant| $ 50) (QREFELT $ 52))
                          'NIL)
                         ('T 'T)))
                       (GO G191)))
                     (SEQ
                      (LETT |v|
                            (|RETSOL;PQIfCan| (SPADCALL |up| (QREFELT $ 53)) $)
                            . #2#)
                      (EXIT
                       (COND
                        ((QEQCAR |v| 1)
                         (PROGN (LETT #1# (CONS 1 "failed") . #2#) (GO #1#)))
                        ('T
                         (SEQ
                          (LETT |ans|
                                (SPADCALL |ans|
                                          (SPADCALL
                                           (SPADCALL (|spadConstant| $ 58) |s|
                                                     (SPADCALL |up|
                                                               (QREFELT $ 57))
                                                     (QREFELT $ 59))
                                           (QCDR |v|) (QREFELT $ 60))
                                          (QREFELT $ 61))
                                . #2#)
                          (EXIT
                           (LETT |up| (SPADCALL |up| (QREFELT $ 62))
                                 . #2#)))))))
                     NIL (GO G190) G191 (EXIT NIL))
                (EXIT (CONS 0 |ans|))))))))
      #1# (EXIT #1#))))) 

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

(DEFUN |RetractSolvePackage;| (|#1| |#2|)
  (PROG (|pv$| $ |dv$| DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|RetractSolvePackage|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT |dv$| (LIST '|RetractSolvePackage| DV$1 DV$2) . #1#)
      (LETT $ (GETREFV 63) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|RetractSolvePackage| (LIST DV$1 DV$2)
                  (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 |#2|)
      (SETF |pv$| (QREFELT $ 3))
      $)))) 

(MAKEPROP '|RetractSolvePackage| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
              (0 . |coerce|) (|Polynomial| 7) (|Mapping| 7 6) (|Polynomial| 6)
              (|PolynomialFunctions2| 6 7) (5 . |map|) (|Fraction| 11)
              (11 . |numer|) (16 . |denom|) (|Fraction| 9) (21 . /)
              (|Equation| 14) (27 . |lhs|) (32 . |rhs|) (|Equation| 17)
              (37 . |equation|) (43 . |coerce|) (|List| (|List| 22))
              (|List| 17) (|List| 44) (|SystemSolvePackage| 7) (48 . |solve|)
              (|List| (|List| 19)) (|List| 14) (|SystemSolvePackage| 6)
              (54 . |solve|) (|List| 9) |RETSOL;solveRetract;LLL;4|
              (|Union| 44 '"failed") (60 . |mainVariable|) (65 . |ground|)
              (|Union| 6 '"failed") (70 . |retractIfCan|) (75 . |coerce|)
              (80 . |coerce|) (|SparseUnivariatePolynomial| $) (|Symbol|)
              (85 . |univariate|) (91 . |Zero|) (95 . |Zero|) (99 . |Zero|)
              (|SparseUnivariatePolynomial| 9) (103 . |Zero|) (|Boolean|)
              (107 . =) (113 . |leadingCoefficient|) (118 . |One|)
              (122 . |One|) (|NonNegativeInteger|) (126 . |degree|)
              (131 . |One|) (135 . |monomial|) (142 . *) (148 . +)
              (154 . |reductum|))
           '#(|solveRetract| 159) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 62
                                                 '(1 7 0 6 8 2 12 9 10 11 13 1
                                                   14 11 0 15 1 14 11 0 16 2 17
                                                   0 9 9 18 1 19 14 0 20 1 19
                                                   14 0 21 2 22 0 17 17 23 1 17
                                                   0 9 24 2 28 25 26 27 29 2 32
                                                   30 31 27 33 1 9 36 0 37 1 9
                                                   7 0 38 1 7 39 0 40 1 11 0 6
                                                   41 1 14 0 11 42 2 9 43 0 44
                                                   45 0 14 0 46 0 6 0 47 0 7 0
                                                   48 0 49 0 50 2 49 51 0 0 52
                                                   1 49 9 0 53 0 6 0 54 0 7 0
                                                   55 1 49 56 0 57 0 11 0 58 3
                                                   11 0 0 44 56 59 2 14 0 11 0
                                                   60 2 14 0 0 0 61 1 49 0 0 62
                                                   2 0 25 34 27 35)))))
           '|lookupComplete|)) 
