
(/VERSIONCHECK 2) 

(DEFUN |ZDSOLVE;convert;NsmpNsmp;1| (|q| $)
  (PROG (|v| |d| #0=#:G1848 |v2| |iq2| |lq2| |q2|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |q| (QREFELT $ 22))
              (SPADCALL (SPADCALL |q| (QREFELT $ 23)) (QREFELT $ 24)))
             ('T
              (SEQ (LETT |q2| (|spadConstant| $ 25)
                         . #1=(|ZDSOLVE;convert;NsmpNsmp;1|))
                   (SEQ G190
                        (COND
                          ((NULL (COND
                                   ((SPADCALL |q| (QREFELT $ 22)) 'NIL)
                                   ('T 'T)))
                           (GO G191)))
                        (SEQ (LETT |v|
                                   (SPADCALL |q| (QREFELT $ 27)) . #1#)
                             (LETT |d|
                                   (SPADCALL |q| (QREFELT $ 29)) . #1#)
                             (LETT |v2|
                                   (PROG2
                                    (LETT #0#
                                     (SPADCALL
                                      (SPADCALL |v| (QREFELT $ 30))
                                      (QREFELT $ 15)) . #1#)
                                    (QCDR #0#)
                                     (|check-union| (QEQCAR #0# 0)
                                      (|OrderedVariableList|
                                       (QREFELT $ 8))
                                      #0#)) . #1#)
                             (LETT |iq2|
                                   (SPADCALL
                                    (SPADCALL |q| (QREFELT $ 31))
                                    (QREFELT $ 32)) . #1#)
                             (LETT |lq2|
                                   (SPADCALL |v2| (QREFELT $ 18)) . #1#)
                             (LETT |lq2|
                                   (SPADCALL |lq2| |d| (QREFELT $ 33)) . #1#)
                             (LETT |q2|
                                   (SPADCALL
                                    (SPADCALL |iq2| |lq2|
                                     (QREFELT $ 34))
                                    |q2| (QREFELT $ 35)) . #1#)
                             (EXIT (LETT |q|
                                    (SPADCALL |q| (QREFELT $ 36)) . #1#)))
                        NIL (GO G190) G191 (EXIT NIL))
                   (EXIT (SPADCALL |q2|
                             (SPADCALL (SPADCALL |q| (QREFELT $ 23))
                                 (QREFELT $ 24))
                             (QREFELT $ 35)))))))))) 

(DEFUN |ZDSOLVE;squareFree;RcL;2| (|ts| $)
  (PROG (|irred?| #0=#:G1876 |p| #1=#:G1877 |lf| |f| #2=#:G1878 |lqwt|
            |toSave| |lq| |lsfqwt| |sfqwt| #3=#:G1879 |st| |newts|
            #4=#:G1880 |q| #5=#:G1881 |newlq| |toSee|)
    (RETURN
      (SEQ (LETT |irred?| 'NIL . #6=(|ZDSOLVE;squareFree;RcL;2|))
           (LETT |st|
                 (SPADCALL (LIST (QREFELT $ 19)) (QREFELT $ 39)) . #6#)
           (LETT |lq|
                 (PROGN
                   (LETT #0# NIL . #6#)
                   (SEQ (LETT |p| NIL . #6#)
                        (LETT #1# (SPADCALL |ts| (QREFELT $ 42)) . #6#)
                        G190
                        (COND
                          ((OR (ATOM #1#)
                               (PROGN (LETT |p| (CAR #1#) . #6#) NIL))
                           #7=(GO G191)))
                        (SEQ (EXIT (LETT #0#
                                    (CONS (SPADCALL |p| (QREFELT $ 32))
                                     #0#) . #6#)))
                        (LETT #1# (CDR #1#) . #6#) #8=(GO G190) G191
                        (EXIT (NREVERSE0 #0#)))) . #6#)
           (LETT |lq| (SPADCALL (ELT $ 43) |lq| (QREFELT $ 45)) . #6#)
           (LETT |toSee| NIL . #6#)
           (COND
             (|irred?|
                 (SEQ (LETT |lf|
                            (SPADCALL (LIST (|SPADfirst| |lq|))
                                (QREFELT $ 47)) . #6#)
                      (LETT |lq| (CDR |lq|) . #6#)
                      (EXIT (SEQ (LETT |f| NIL . #6#)
                                 (LETT #2# |lf| . #6#) G190
                                 (COND
                                   ((OR (ATOM #2#)
                                     (PROGN
                                       (LETT |f| (CAR #2#) . #6#)
                                       NIL))
                                    #7#))
                                 (SEQ (EXIT
                                       (LETT |toSee|
                                        (CONS
                                         (CONS (CONS |f| |lq|) |st|)
                                         |toSee|) . #6#)))
                                 (LETT #2# (CDR #2#) . #6#) #8# G191
                                 (EXIT NIL)))))
             ('T (LETT |toSee| (LIST (CONS |lq| |st|)) . #6#)))
           (LETT |toSave| NIL . #6#)
           (SEQ G190
                (COND
                  ((NULL (COND ((NULL |toSee|) 'NIL) ('T 'T))) #7#))
                (SEQ (LETT |lqwt| (|SPADfirst| |toSee|) . #6#)
                     (LETT |toSee| (CDR |toSee|) . #6#)
                     (LETT |lq| (QCAR |lqwt|) . #6#)
                     (LETT |st| (QCDR |lqwt|) . #6#)
                     (EXIT (COND
                             ((NULL |lq|)
                              (LETT |toSave|
                                    (CONS |st| |toSave|) . #6#))
                             ('T
                              (SEQ (LETT |q| (|SPADfirst| |lq|) . #6#)
                                   (LETT |lq| (CDR |lq|) . #6#)
                                   (LETT |lsfqwt|
                                    (SPADCALL |q| |st| (QREFELT $ 50)) . #6#)
                                   (EXIT
                                    (SEQ (LETT |sfqwt| NIL . #6#)
                                     (LETT #3# |lsfqwt| . #6#) G190
                                     (COND
                                       ((OR (ATOM #3#)
                                         (PROGN
                                           (LETT |sfqwt|
                                            (CAR #3#) . #6#)
                                           NIL))
                                        #7#))
                                     (SEQ
                                      (LETT |q| (QCAR |sfqwt|) . #6#)
                                      (LETT |st| (QCDR |sfqwt|) . #6#)
                                      (COND
                                        ((NULL
                                          (SPADCALL
                                           (SPADCALL |q|
                                            (QREFELT $ 51))
                                           (QREFELT $ 52)))
                                         (LETT |q|
                                          (SPADCALL |q| |st|
                                           (QREFELT $ 54)) . #6#)))
                                      (LETT |newts|
                                       (SPADCALL |q| |st|
                                        (QREFELT $ 55)) . #6#)
                                      (LETT |newlq|
                                       (PROGN
                                         (LETT #4# NIL . #6#)
                                         (SEQ (LETT |q| NIL . #6#)
                                          (LETT #5# |lq| . #6#) G190
                                          (COND
                                            ((OR (ATOM #5#)
                                              (PROGN
                                                (LETT |q|
                                                 (CAR #5#) . #6#)
                                                NIL))
                                             #7#))
                                          (SEQ
                                           (EXIT
                                            (LETT #4#
                                             (CONS
                                              (QVELT
                                               (SPADCALL |q| |newts|
                                                (QREFELT $ 57))
                                               1)
                                              #4#) . #6#)))
                                          (LETT #5# (CDR #5#) . #6#)
                                          #8# G191
                                          (EXIT (NREVERSE0 #4#)))) . #6#)
                                      (EXIT
                                       (LETT |toSee|
                                        (CONS (CONS |newlq| |newts|)
                                         |toSee|) . #6#)))
                                     (LETT #3# (CDR #3#) . #6#) #8#
                                     G191 (EXIT NIL))))))))
                NIL #8# G191 (EXIT NIL))
           (EXIT |toSave|))))) 

(DEFUN |ZDSOLVE;triangSolve;L2BL;3| (|lp| |info?| |lextri?| $)
  (PROG (#0=#:G1885 |p| #1=#:G1886 |lq|)
    (RETURN
      (SEQ (LETT |lq|
                 (PROGN
                   (LETT #0# NIL . #2=(|ZDSOLVE;triangSolve;L2BL;3|))
                   (SEQ (LETT |p| NIL . #2#) (LETT #1# |lp| . #2#) G190
                        (COND
                          ((OR (ATOM #1#)
                               (PROGN (LETT |p| (CAR #1#) . #2#) NIL))
                           (GO G191)))
                        (SEQ (EXIT (LETT #0#
                                    (CONS (SPADCALL |p| (QREFELT $ 61))
                                     #0#) . #2#)))
                        (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                        (EXIT (NREVERSE0 #0#)))) . #2#)
           (EXIT (COND
                   (|lextri?| (SPADCALL |lq| 'NIL (QREFELT $ 64)))
                   ('T (SPADCALL |lq| 'T |info?| (QREFELT $ 66))))))))) 

(DEFUN |ZDSOLVE;triangSolve;LBL;4| (|lp| |info?| $)
  (SPADCALL |lp| |info?| 'NIL (QREFELT $ 68))) 

(DEFUN |ZDSOLVE;triangSolve;LL;5| (|lp| $)
  (SPADCALL |lp| 'NIL (QREFELT $ 69))) 

(DEFUN |ZDSOLVE;convert;SupSup;6| (|u| $)
  (PROG (|uu|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |u| (QREFELT $ 72)) (|spadConstant| $ 74))
             ((SPADCALL |u| (QREFELT $ 75))
              (SPADCALL
                  (SPADCALL
                      (SPADCALL (SPADCALL |u| (QREFELT $ 76))
                          (QREFELT $ 78))
                      (QREFELT $ 80))
                  (QREFELT $ 81)))
             ('T
              (SEQ (LETT |uu| (|spadConstant| $ 74)
                         . #0=(|ZDSOLVE;convert;SupSup;6|))
                   (SEQ G190
                        (COND
                          ((NULL (COND
                                   ((SPADCALL |u| (QREFELT $ 75)) 'NIL)
                                   ('T 'T)))
                           (GO G191)))
                        (SEQ (LETT |uu|
                                   (SPADCALL
                                    (SPADCALL
                                     (SPADCALL
                                      (SPADCALL
                                       (SPADCALL |u| (QREFELT $ 82))
                                       (QREFELT $ 78))
                                      (QREFELT $ 80))
                                     (SPADCALL |u| (QREFELT $ 83))
                                     (QREFELT $ 84))
                                    |uu| (QREFELT $ 85)) . #0#)
                             (EXIT (LETT |u|
                                    (SPADCALL |u| (QREFELT $ 86)) . #0#)))
                        NIL (GO G190) G191 (EXIT NIL))
                   (EXIT (SPADCALL |uu|
                             (SPADCALL
                                 (SPADCALL
                                     (SPADCALL
                                      (SPADCALL |u| (QREFELT $ 76))
                                      (QREFELT $ 78))
                                     (QREFELT $ 80))
                                 (QREFELT $ 81))
                             (QREFELT $ 85)))))))))) 

(DEFUN |ZDSOLVE;coerceFromRtoRC| (|r| $)
  (SPADCALL (SPADCALL |r| (QREFELT $ 78)) (QREFELT $ 80))) 

(DEFUN |ZDSOLVE;convert;PP;8| (|p| $)
  (SPADCALL (CONS (|function| |ZDSOLVE;coerceFromRtoRC|) $) |p|
      (QREFELT $ 91))) 

(DEFUN |ZDSOLVE;convert;NsmpP;9| (|q2| $)
  (PROG (|p|)
    (RETURN
      (SEQ (LETT |p| (SPADCALL |q2| (QREFELT $ 93))
                 |ZDSOLVE;convert;NsmpP;9|)
           (EXIT (SPADCALL |p| (QREFELT $ 92))))))) 

(DEFUN |ZDSOLVE;convert;SfrtsL;10| (|sts| $)
  (PROG (|lq2|)
    (RETURN
      (SEQ (LETT |lq2| (SPADCALL |sts| (QREFELT $ 95))
                 . #0=(|ZDSOLVE;convert;SfrtsL;10|))
           (LETT |lq2|
                 (SPADCALL (ELT $ 43) |lq2| (QREFELT $ 45)) . #0#)
           (EXIT (CDR |lq2|)))))) 

(DEFUN |ZDSOLVE;realSolve;RcL;11| (|ts| $)
  (PROG (|lsts| #0=#:G1921 |sts| #1=#:G1922 |wip| |lr| |toSave| |q2|
                |lq2| |v| #2=#:G1924 |r| #3=#:G1923 |qrc| #4=#:G1914
                |lv| |urc| |urcRoots| |urcRoot| #5=#:G1925 |toSee|)
    (RETURN
      (SEQ (LETT |lsts| (SPADCALL |ts| (QREFELT $ 59))
                 . #6=(|ZDSOLVE;realSolve;RcL;11|))
           (LETT |lr| NIL . #6#) (LETT |lv| NIL . #6#)
           (LETT |toSee|
                 (PROGN
                   (LETT #0# NIL . #6#)
                   (SEQ (LETT |sts| NIL . #6#) (LETT #1# |lsts| . #6#)
                        G190
                        (COND
                          ((OR (ATOM #1#)
                               (PROGN
                                 (LETT |sts| (CAR #1#) . #6#)
                                 NIL))
                           #7=(GO G191)))
                        (SEQ (EXIT (LETT #0#
                                    (CONS
                                     (VECTOR |lr| |lv|
                                      (SPADCALL |sts| (QREFELT $ 96)))
                                     #0#) . #6#)))
                        (LETT #1# (CDR #1#) . #6#) #8=(GO G190) G191
                        (EXIT (NREVERSE0 #0#)))) . #6#)
           (LETT |toSave| NIL . #6#)
           (SEQ G190
                (COND
                  ((NULL (COND ((NULL |toSee|) 'NIL) ('T 'T))) #7#))
                (SEQ (LETT |wip| (|SPADfirst| |toSee|) . #6#)
                     (LETT |toSee| (CDR |toSee|) . #6#)
                     (LETT |lr| (QVELT |wip| 0) . #6#)
                     (LETT |lv| (QVELT |wip| 1) . #6#)
                     (LETT |lq2| (QVELT |wip| 2) . #6#)
                     (COND
                       ((NULL |lq2|)
                        (COND
                          ((NULL (NULL |lr|))
                           (EXIT (LETT |toSave|
                                       (CONS (REVERSE |lr|) |toSave|) . #6#))))))
                     (LETT |q2| (|SPADfirst| |lq2|) . #6#)
                     (LETT |lq2| (CDR |lq2|) . #6#)
                     (LETT |qrc| (SPADCALL |q2| (QREFELT $ 94)) . #6#)
                     (COND
                       ((NULL (NULL |lr|))
                        (SEQ (LETT |v| NIL . #6#)
                             (LETT #2# (REVERSE |lv|) . #6#)
                             (LETT |r| NIL . #6#)
                             (LETT #3# (REVERSE |lr|) . #6#) G190
                             (COND
                               ((OR (ATOM #3#)
                                    (PROGN
                                      (LETT |r| (CAR #3#) . #6#)
                                      NIL)
                                    (ATOM #2#)
                                    (PROGN
                                      (LETT |v| (CAR #2#) . #6#)
                                      NIL))
                                #7#))
                             (SEQ (EXIT (LETT |qrc|
                                         (SPADCALL |qrc| |v| |r|
                                          (QREFELT $ 97)) . #6#)))
                             (LETT #3#
                                   (PROG1 (CDR #3#)
                                     (LETT #2# (CDR #2#) . #6#)) . #6#)
                             #8# G191 (EXIT NIL))))
                     (LETT |lv|
                           (CONS (PROG2 (LETT #4#
                                         (SPADCALL |qrc|
                                          (QREFELT $ 99)) . #6#)
                                        (QCDR #4#)
                                   (|check-union| (QEQCAR #4# 0)
                                    (|Symbol|) #4#))
                                 |lv|) . #6#)
                     (LETT |urc|
                           (SPADCALL |qrc| (QREFELT $ 100)) . #6#)
                     (LETT |urcRoots|
                           (SPADCALL |urc| (QREFELT $ 102)) . #6#)
                     (EXIT (SEQ (LETT |urcRoot| NIL . #6#)
                                (LETT #5# |urcRoots| . #6#) G190
                                (COND
                                  ((OR (ATOM #5#)
                                    (PROGN
                                      (LETT |urcRoot| (CAR #5#) . #6#)
                                      NIL))
                                   #7#))
                                (SEQ (EXIT
                                      (LETT |toSee|
                                       (CONS
                                        (VECTOR (CONS |urcRoot| |lr|)
                                         |lv| |lq2|)
                                        |toSee|) . #6#)))
                                (LETT #5# (CDR #5#) . #6#) #8# G191
                                (EXIT NIL))))
                NIL #8# G191 (EXIT NIL))
           (EXIT |toSave|))))) 

(DEFUN |ZDSOLVE;realSolve;L3BL;12| (|lp| |info?| |check?| |lextri?| $)
  (PROG (#0=#:G1947 #1=#:G1948 |lq| |lts| |ts| #2=#:G1949 |lsts|
            #3=#:G1950 |sts| #4=#:G1951 |wip| |lr| |toSave| |q2| |lq2|
            |v| #5=#:G1953 |r| #6=#:G1952 |qrc| #7=#:G1936 |lv| |urc|
            |urcRoots| |urcRoot| #8=#:G1954 |toSee| |p| #9=#:G1955
            |realsol| #10=#:G1956 |symb| #11=#:G1958 |rr| #12=#:G1957
            |prc| #13=#:G1942)
    (RETURN
      (SEQ (LETT |lq|
                 (PROGN
                   (LETT #0# NIL . #14=(|ZDSOLVE;realSolve;L3BL;12|))
                   (SEQ (LETT |p| NIL . #14#) (LETT #1# |lp| . #14#)
                        G190
                        (COND
                          ((OR (ATOM #1#)
                               (PROGN (LETT |p| (CAR #1#) . #14#) NIL))
                           #15=(GO G191)))
                        (SEQ (EXIT (LETT #0#
                                    (CONS (SPADCALL |p| (QREFELT $ 61))
                                     #0#) . #14#)))
                        (LETT #1# (CDR #1#) . #14#) #16=(GO G190) G191
                        (EXIT (NREVERSE0 #0#)))) . #14#)
           (COND
             (|lextri?|
                 (LETT |lts|
                       (SPADCALL |lq| 'NIL (QREFELT $ 64)) . #14#))
             ('T
              (LETT |lts|
                    (SPADCALL |lq| 'T |info?| (QREFELT $ 66)) . #14#)))
           (LETT |lsts| NIL . #14#)
           (SEQ (LETT |ts| NIL . #14#) (LETT #2# |lts| . #14#) G190
                (COND
                  ((OR (ATOM #2#)
                       (PROGN (LETT |ts| (CAR #2#) . #14#) NIL))
                   #15#))
                (SEQ (EXIT (LETT |lsts|
                                 (SPADCALL
                                     (SPADCALL |ts| (QREFELT $ 59))
                                     |lsts| (QREFELT $ 105)) . #14#)))
                (LETT #2# (CDR #2#) . #14#) #16# G191 (EXIT NIL))
           (LETT |lsts| (SPADCALL |lsts| (QREFELT $ 107)) . #14#)
           (LETT |lr| NIL . #14#) (LETT |lv| NIL . #14#)
           (LETT |toSee|
                 (PROGN
                   (LETT #3# NIL . #14#)
                   (SEQ (LETT |sts| NIL . #14#)
                        (LETT #4# |lsts| . #14#) G190
                        (COND
                          ((OR (ATOM #4#)
                               (PROGN
                                 (LETT |sts| (CAR #4#) . #14#)
                                 NIL))
                           #15#))
                        (SEQ (EXIT (LETT #3#
                                    (CONS
                                     (VECTOR |lr| |lv|
                                      (SPADCALL |sts| (QREFELT $ 96)))
                                     #3#) . #14#)))
                        (LETT #4# (CDR #4#) . #14#) #16# G191
                        (EXIT (NREVERSE0 #3#)))) . #14#)
           (LETT |toSave| NIL . #14#)
           (SEQ G190
                (COND
                  ((NULL (COND ((NULL |toSee|) 'NIL) ('T 'T))) #15#))
                (SEQ (LETT |wip| (|SPADfirst| |toSee|) . #14#)
                     (LETT |toSee| (CDR |toSee|) . #14#)
                     (LETT |lr| (QVELT |wip| 0) . #14#)
                     (LETT |lv| (QVELT |wip| 1) . #14#)
                     (LETT |lq2| (QVELT |wip| 2) . #14#)
                     (COND
                       ((NULL |lq2|)
                        (COND
                          ((NULL (NULL |lr|))
                           (EXIT (LETT |toSave|
                                       (CONS (REVERSE |lr|) |toSave|) . #14#))))))
                     (LETT |q2| (|SPADfirst| |lq2|) . #14#)
                     (LETT |lq2| (CDR |lq2|) . #14#)
                     (LETT |qrc| (SPADCALL |q2| (QREFELT $ 94)) . #14#)
                     (COND
                       ((NULL (NULL |lr|))
                        (SEQ (LETT |v| NIL . #14#)
                             (LETT #5# (REVERSE |lv|) . #14#)
                             (LETT |r| NIL . #14#)
                             (LETT #6# (REVERSE |lr|) . #14#) G190
                             (COND
                               ((OR (ATOM #6#)
                                    (PROGN
                                      (LETT |r| (CAR #6#) . #14#)
                                      NIL)
                                    (ATOM #5#)
                                    (PROGN
                                      (LETT |v| (CAR #5#) . #14#)
                                      NIL))
                                #15#))
                             (SEQ (EXIT (LETT |qrc|
                                         (SPADCALL |qrc| |v| |r|
                                          (QREFELT $ 97)) . #14#)))
                             (LETT #6#
                                   (PROG1 (CDR #6#)
                                     (LETT #5# (CDR #5#) . #14#)) . #14#)
                             #16# G191 (EXIT NIL))))
                     (LETT |lv|
                           (CONS (PROG2 (LETT #7#
                                         (SPADCALL |qrc|
                                          (QREFELT $ 99)) . #14#)
                                        (QCDR #7#)
                                   (|check-union| (QEQCAR #7# 0)
                                    (|Symbol|) #7#))
                                 |lv|) . #14#)
                     (LETT |urc|
                           (SPADCALL |qrc| (QREFELT $ 100)) . #14#)
                     (LETT |urcRoots|
                           (SPADCALL |urc| (QREFELT $ 102)) . #14#)
                     (EXIT (SEQ (LETT |urcRoot| NIL . #14#)
                                (LETT #8# |urcRoots| . #14#) G190
                                (COND
                                  ((OR (ATOM #8#)
                                    (PROGN
                                      (LETT |urcRoot| (CAR #8#) . #14#)
                                      NIL))
                                   #15#))
                                (SEQ (EXIT
                                      (LETT |toSee|
                                       (CONS
                                        (VECTOR (CONS |urcRoot| |lr|)
                                         |lv| |lq2|)
                                        |toSee|) . #14#)))
                                (LETT #8# (CDR #8#) . #14#) #16# G191
                                (EXIT NIL))))
                NIL #16# G191 (EXIT NIL))
           (COND
             (|check?|
                 (SEQ (LETT |p| NIL . #14#) (LETT #9# |lp| . #14#) G190
                      (COND
                        ((OR (ATOM #9#)
                             (PROGN (LETT |p| (CAR #9#) . #14#) NIL))
                         #15#))
                      (SEQ (EXIT (SEQ (LETT |realsol| NIL . #14#)
                                      (LETT #10# |toSave| . #14#) G190
                                      (COND
                                        ((OR (ATOM #10#)
                                          (PROGN
                                            (LETT |realsol|
                                             (CAR #10#) . #14#)
                                            NIL))
                                         #15#))
                                      (SEQ
                                       (EXIT
                                        (SEQ
                                         (LETT |prc|
                                          (SPADCALL |p| (QREFELT $ 92)) . #14#)
                                         (SEQ (LETT |symb| NIL . #14#)
                                          (LETT #11#
                                           (REVERSE (QREFELT $ 7)) . #14#)
                                          (LETT |rr| NIL . #14#)
                                          (LETT #12# |realsol| . #14#)
                                          G190
                                          (COND
                                            ((OR (ATOM #12#)
                                              (PROGN
                                                (LETT |rr|
                                                 (CAR #12#) . #14#)
                                                NIL)
                                              (ATOM #11#)
                                              (PROGN
                                                (LETT |symb|
                                                 (CAR #11#) . #14#)
                                                NIL))
                                             #15#))
                                          (SEQ
                                           (EXIT
                                            (LETT |prc|
                                             (SPADCALL |prc| |symb|
                                              |rr| (QREFELT $ 97)) . #14#)))
                                          (LETT #12#
                                           (PROG1 (CDR #12#)
                                             (LETT #11#
                                              (CDR #11#) . #14#)) . #14#)
                                          #16# G191 (EXIT NIL))
                                         (EXIT
                                          (COND
                                            ((NULL
                                              (SPADCALL |prc|
                                               (QREFELT $ 108)))
                                             (PROGN
                                               (LETT #13#
                                                (|error|
                                                 "realSolve$ZDSOLVE: bad result") . #14#)
                                               (GO #13#)))))))
                                       #13# (EXIT #13#))
                                      (LETT #10# (CDR #10#) . #14#)
                                      #16# G191 (EXIT NIL))))
                      (LETT #9# (CDR #9#) . #14#) #16# G191 (EXIT NIL))))
           (EXIT |toSave|))))) 

(DEFUN |ZDSOLVE;realSolve;L2BL;13| (|lp| |info?| |check?| $)
  (SPADCALL |lp| |info?| |check?| 'NIL (QREFELT $ 109))) 

(DEFUN |ZDSOLVE;realSolve;LBL;14| (|lp| |info?| $)
  (SPADCALL |lp| |info?| 'NIL 'NIL (QREFELT $ 109))) 

(DEFUN |ZDSOLVE;realSolve;LL;15| (|lp| $)
  (SPADCALL |lp| 'NIL 'NIL 'NIL (QREFELT $ 109))) 

(DEFUN |ZDSOLVE;positiveSolve;RcL;16| (|ts| $)
  (PROG (|lsts| #0=#:G1978 |sts| #1=#:G1979 |wip| |lr| |toSave| |q2|
                |lq2| |v| #2=#:G1981 |r| #3=#:G1980 |qrc| #4=#:G1970
                |lv| |urc| |urcRoots| |urcRoot| #5=#:G1982 |toSee|)
    (RETURN
      (SEQ (LETT |lsts| (SPADCALL |ts| (QREFELT $ 59))
                 . #6=(|ZDSOLVE;positiveSolve;RcL;16|))
           (LETT |lr| NIL . #6#) (LETT |lv| NIL . #6#)
           (LETT |toSee|
                 (PROGN
                   (LETT #0# NIL . #6#)
                   (SEQ (LETT |sts| NIL . #6#) (LETT #1# |lsts| . #6#)
                        G190
                        (COND
                          ((OR (ATOM #1#)
                               (PROGN
                                 (LETT |sts| (CAR #1#) . #6#)
                                 NIL))
                           #7=(GO G191)))
                        (SEQ (EXIT (LETT #0#
                                    (CONS
                                     (VECTOR |lr| |lv|
                                      (SPADCALL |sts| (QREFELT $ 96)))
                                     #0#) . #6#)))
                        (LETT #1# (CDR #1#) . #6#) #8=(GO G190) G191
                        (EXIT (NREVERSE0 #0#)))) . #6#)
           (LETT |toSave| NIL . #6#)
           (SEQ G190
                (COND
                  ((NULL (COND ((NULL |toSee|) 'NIL) ('T 'T))) #7#))
                (SEQ (LETT |wip| (|SPADfirst| |toSee|) . #6#)
                     (LETT |toSee| (CDR |toSee|) . #6#)
                     (LETT |lr| (QVELT |wip| 0) . #6#)
                     (LETT |lv| (QVELT |wip| 1) . #6#)
                     (LETT |lq2| (QVELT |wip| 2) . #6#)
                     (COND
                       ((NULL |lq2|)
                        (COND
                          ((NULL (NULL |lr|))
                           (EXIT (LETT |toSave|
                                       (CONS (REVERSE |lr|) |toSave|) . #6#))))))
                     (LETT |q2| (|SPADfirst| |lq2|) . #6#)
                     (LETT |lq2| (CDR |lq2|) . #6#)
                     (LETT |qrc| (SPADCALL |q2| (QREFELT $ 94)) . #6#)
                     (COND
                       ((NULL (NULL |lr|))
                        (SEQ (LETT |v| NIL . #6#)
                             (LETT #2# (REVERSE |lv|) . #6#)
                             (LETT |r| NIL . #6#)
                             (LETT #3# (REVERSE |lr|) . #6#) G190
                             (COND
                               ((OR (ATOM #3#)
                                    (PROGN
                                      (LETT |r| (CAR #3#) . #6#)
                                      NIL)
                                    (ATOM #2#)
                                    (PROGN
                                      (LETT |v| (CAR #2#) . #6#)
                                      NIL))
                                #7#))
                             (SEQ (EXIT (LETT |qrc|
                                         (SPADCALL |qrc| |v| |r|
                                          (QREFELT $ 97)) . #6#)))
                             (LETT #3#
                                   (PROG1 (CDR #3#)
                                     (LETT #2# (CDR #2#) . #6#)) . #6#)
                             #8# G191 (EXIT NIL))))
                     (LETT |lv|
                           (CONS (PROG2 (LETT #4#
                                         (SPADCALL |qrc|
                                          (QREFELT $ 99)) . #6#)
                                        (QCDR #4#)
                                   (|check-union| (QEQCAR #4# 0)
                                    (|Symbol|) #4#))
                                 |lv|) . #6#)
                     (LETT |urc|
                           (SPADCALL |qrc| (QREFELT $ 100)) . #6#)
                     (LETT |urcRoots|
                           (SPADCALL |urc| (QREFELT $ 102)) . #6#)
                     (EXIT (SEQ (LETT |urcRoot| NIL . #6#)
                                (LETT #5# |urcRoots| . #6#) G190
                                (COND
                                  ((OR (ATOM #5#)
                                    (PROGN
                                      (LETT |urcRoot| (CAR #5#) . #6#)
                                      NIL))
                                   #7#))
                                (SEQ (EXIT
                                      (COND
                                        ((SPADCALL |urcRoot|
                                          (QREFELT $ 113))
                                         (LETT |toSee|
                                          (CONS
                                           (VECTOR
                                            (CONS |urcRoot| |lr|) |lv|
                                            |lq2|)
                                           |toSee|) . #6#)))))
                                (LETT #5# (CDR #5#) . #6#) #8# G191
                                (EXIT NIL))))
                NIL #8# G191 (EXIT NIL))
           (EXIT |toSave|))))) 

(DEFUN |ZDSOLVE;positiveSolve;L2BL;17| (|lp| |info?| |lextri?| $)
  (PROG (#0=#:G2001 |p| #1=#:G2002 |lq| |lts| |ts| #2=#:G2003 |lsts|
            #3=#:G2004 |sts| #4=#:G2005 |wip| |lr| |toSave| |q2| |lq2|
            |v| #5=#:G2007 |r| #6=#:G2006 |qrc| #7=#:G1993 |lv| |urc|
            |urcRoots| |urcRoot| #8=#:G2008 |toSee|)
    (RETURN
      (SEQ (LETT |lq|
                 (PROGN
                   (LETT #0# NIL
                         . #9=(|ZDSOLVE;positiveSolve;L2BL;17|))
                   (SEQ (LETT |p| NIL . #9#) (LETT #1# |lp| . #9#) G190
                        (COND
                          ((OR (ATOM #1#)
                               (PROGN (LETT |p| (CAR #1#) . #9#) NIL))
                           #10=(GO G191)))
                        (SEQ (EXIT (LETT #0#
                                    (CONS (SPADCALL |p| (QREFELT $ 61))
                                     #0#) . #9#)))
                        (LETT #1# (CDR #1#) . #9#) #11=(GO G190) G191
                        (EXIT (NREVERSE0 #0#)))) . #9#)
           (COND
             (|lextri?|
                 (LETT |lts| (SPADCALL |lq| 'NIL (QREFELT $ 64)) . #9#))
             ('T
              (LETT |lts|
                    (SPADCALL |lq| 'T |info?| (QREFELT $ 66)) . #9#)))
           (LETT |lsts| NIL . #9#)
           (SEQ (LETT |ts| NIL . #9#) (LETT #2# |lts| . #9#) G190
                (COND
                  ((OR (ATOM #2#)
                       (PROGN (LETT |ts| (CAR #2#) . #9#) NIL))
                   #10#))
                (SEQ (EXIT (LETT |lsts|
                                 (SPADCALL
                                     (SPADCALL |ts| (QREFELT $ 59))
                                     |lsts| (QREFELT $ 105)) . #9#)))
                (LETT #2# (CDR #2#) . #9#) #11# G191 (EXIT NIL))
           (LETT |lsts| (SPADCALL |lsts| (QREFELT $ 107)) . #9#)
           (LETT |lr| NIL . #9#) (LETT |lv| NIL . #9#)
           (LETT |toSee|
                 (PROGN
                   (LETT #3# NIL . #9#)
                   (SEQ (LETT |sts| NIL . #9#) (LETT #4# |lsts| . #9#)
                        G190
                        (COND
                          ((OR (ATOM #4#)
                               (PROGN
                                 (LETT |sts| (CAR #4#) . #9#)
                                 NIL))
                           #10#))
                        (SEQ (EXIT (LETT #3#
                                    (CONS
                                     (VECTOR |lr| |lv|
                                      (SPADCALL |sts| (QREFELT $ 96)))
                                     #3#) . #9#)))
                        (LETT #4# (CDR #4#) . #9#) #11# G191
                        (EXIT (NREVERSE0 #3#)))) . #9#)
           (LETT |toSave| NIL . #9#)
           (SEQ G190
                (COND
                  ((NULL (COND ((NULL |toSee|) 'NIL) ('T 'T))) #10#))
                (SEQ (LETT |wip| (|SPADfirst| |toSee|) . #9#)
                     (LETT |toSee| (CDR |toSee|) . #9#)
                     (LETT |lr| (QVELT |wip| 0) . #9#)
                     (LETT |lv| (QVELT |wip| 1) . #9#)
                     (LETT |lq2| (QVELT |wip| 2) . #9#)
                     (COND
                       ((NULL |lq2|)
                        (COND
                          ((NULL (NULL |lr|))
                           (EXIT (LETT |toSave|
                                       (CONS (REVERSE |lr|) |toSave|) . #9#))))))
                     (LETT |q2| (|SPADfirst| |lq2|) . #9#)
                     (LETT |lq2| (CDR |lq2|) . #9#)
                     (LETT |qrc| (SPADCALL |q2| (QREFELT $ 94)) . #9#)
                     (COND
                       ((NULL (NULL |lr|))
                        (SEQ (LETT |v| NIL . #9#)
                             (LETT #5# (REVERSE |lv|) . #9#)
                             (LETT |r| NIL . #9#)
                             (LETT #6# (REVERSE |lr|) . #9#) G190
                             (COND
                               ((OR (ATOM #6#)
                                    (PROGN
                                      (LETT |r| (CAR #6#) . #9#)
                                      NIL)
                                    (ATOM #5#)
                                    (PROGN
                                      (LETT |v| (CAR #5#) . #9#)
                                      NIL))
                                #10#))
                             (SEQ (EXIT (LETT |qrc|
                                         (SPADCALL |qrc| |v| |r|
                                          (QREFELT $ 97)) . #9#)))
                             (LETT #6#
                                   (PROG1 (CDR #6#)
                                     (LETT #5# (CDR #5#) . #9#)) . #9#)
                             #11# G191 (EXIT NIL))))
                     (LETT |lv|
                           (CONS (PROG2 (LETT #7#
                                         (SPADCALL |qrc|
                                          (QREFELT $ 99)) . #9#)
                                        (QCDR #7#)
                                   (|check-union| (QEQCAR #7# 0)
                                    (|Symbol|) #7#))
                                 |lv|) . #9#)
                     (LETT |urc|
                           (SPADCALL |qrc| (QREFELT $ 100)) . #9#)
                     (LETT |urcRoots|
                           (SPADCALL |urc| (QREFELT $ 102)) . #9#)
                     (EXIT (SEQ (LETT |urcRoot| NIL . #9#)
                                (LETT #8# |urcRoots| . #9#) G190
                                (COND
                                  ((OR (ATOM #8#)
                                    (PROGN
                                      (LETT |urcRoot| (CAR #8#) . #9#)
                                      NIL))
                                   #10#))
                                (SEQ (EXIT
                                      (COND
                                        ((SPADCALL |urcRoot|
                                          (QREFELT $ 113))
                                         (LETT |toSee|
                                          (CONS
                                           (VECTOR
                                            (CONS |urcRoot| |lr|) |lv|
                                            |lq2|)
                                           |toSee|) . #9#)))))
                                (LETT #8# (CDR #8#) . #9#) #11# G191
                                (EXIT NIL))))
                NIL #11# G191 (EXIT NIL))
           (EXIT |toSave|))))) 

(DEFUN |ZDSOLVE;positiveSolve;LBL;18| (|lp| |info?| $)
  (SPADCALL |lp| |info?| 'NIL (QREFELT $ 115))) 

(DEFUN |ZDSOLVE;positiveSolve;LL;19| (|lp| $)
  (SPADCALL |lp| 'NIL 'NIL (QREFELT $ 115))) 

(DEFUN |ZDSOLVE;univariateSolve;RcL;20| (|ts| $)
  (PROG (|toSee| |st| #0=#:G2027 |lus| |us| #1=#:G2028 #2=#:G2016 |g|
                 #3=#:G2029 |q2| #4=#:G2030 |lc| |toSave|)
    (RETURN
      (SEQ (LETT |toSee| (SPADCALL |ts| (QREFELT $ 59))
                 . #5=(|ZDSOLVE;univariateSolve;RcL;20|))
           (LETT |toSave| NIL . #5#)
           (SEQ (LETT |st| NIL . #5#) (LETT #0# |toSee| . #5#) G190
                (COND
                  ((OR (ATOM #0#)
                       (PROGN (LETT |st| (CAR #0#) . #5#) NIL))
                   #6=(GO G191)))
                (SEQ (LETT |lus|
                           (SPADCALL |st| 'T (QREFELT $ 119)) . #5#)
                     (EXIT (SEQ (LETT |us| NIL . #5#)
                                (LETT #1# |lus| . #5#) G190
                                (COND
                                  ((OR (ATOM #1#)
                                    (PROGN
                                      (LETT |us| (CAR #1#) . #5#)
                                      NIL))
                                   #6#))
                                (SEQ (LETT |g|
                                      (SPADCALL
                                       (PROG2
                                        (LETT #2#
                                         (SPADCALL |us| (QREFELT $ 16)
                                          (QREFELT $ 121)) . #5#)
                                        (QCDR #2#)
                                         (|check-union| (QEQCAR #2# 0)
                                          (|NewSparseMultivariatePolynomial|
                                           (QREFELT $ 6)
                                           (|OrderedVariableList|
                                            (QREFELT $ 8)))
                                          #2#))
                                       (QREFELT $ 122)) . #5#)
                                     (LETT |lc|
                                      (PROGN
                                        (LETT #3# NIL . #5#)
                                        (SEQ (LETT |q2| NIL . #5#)
                                         (LETT #4#
                                          (SPADCALL
                                           (SPADCALL |us|
                                            (QREFELT $ 16)
                                            (QREFELT $ 123))
                                           (QREFELT $ 95)) . #5#)
                                         G190
                                         (COND
                                           ((OR (ATOM #4#)
                                             (PROGN
                                               (LETT |q2|
                                                (CAR #4#) . #5#)
                                               NIL))
                                            #6#))
                                         (SEQ
                                          (EXIT
                                           (LETT #3#
                                            (CONS
                                             (SPADCALL |q2|
                                              (QREFELT $ 124))
                                             #3#) . #5#)))
                                         (LETT #4# (CDR #4#) . #5#)
                                         #7=(GO G190) G191
                                         (EXIT (NREVERSE0 #3#)))) . #5#)
                                     (EXIT
                                      (LETT |toSave|
                                       (CONS (CONS |g| |lc|) |toSave|) . #5#)))
                                (LETT #1# (CDR #1#) . #5#) #7# G191
                                (EXIT NIL))))
                (LETT #0# (CDR #0#) . #5#) #7# G191 (EXIT NIL))
           (EXIT |toSave|))))) 

(DEFUN |ZDSOLVE;univariateSolve;L3BL;21|
       (|lp| |info?| |check?| |lextri?| $)
  (PROG (#0=#:G2049 #1=#:G2050 |lq| |lts| |ts| #2=#:G2051 |toSee|
            #3=#:G2052 |p| #4=#:G2053 |lq2| |st| #5=#:G2054 |lus| |us|
            #6=#:G2055 #7=#:G2056 #8=#:G2057 |rems| #9=#:G2038
            #10=#:G2040 |g| #11=#:G2058 |q2| #12=#:G2059 |lc| |toSave|)
    (RETURN
      (SEQ (LETT |lq|
                 (PROGN
                   (LETT #0# NIL
                         . #13=(|ZDSOLVE;univariateSolve;L3BL;21|))
                   (SEQ (LETT |p| NIL . #13#) (LETT #1# |lp| . #13#)
                        G190
                        (COND
                          ((OR (ATOM #1#)
                               (PROGN (LETT |p| (CAR #1#) . #13#) NIL))
                           #14=(GO G191)))
                        (SEQ (EXIT (LETT #0#
                                    (CONS (SPADCALL |p| (QREFELT $ 61))
                                     #0#) . #13#)))
                        (LETT #1# (CDR #1#) . #13#) #15=(GO G190) G191
                        (EXIT (NREVERSE0 #0#)))) . #13#)
           (COND
             (|lextri?|
                 (LETT |lts|
                       (SPADCALL |lq| 'NIL (QREFELT $ 64)) . #13#))
             ('T
              (LETT |lts|
                    (SPADCALL |lq| 'T |info?| (QREFELT $ 66)) . #13#)))
           (LETT |toSee| NIL . #13#)
           (SEQ (LETT |ts| NIL . #13#) (LETT #2# |lts| . #13#) G190
                (COND
                  ((OR (ATOM #2#)
                       (PROGN (LETT |ts| (CAR #2#) . #13#) NIL))
                   #14#))
                (SEQ (EXIT (LETT |toSee|
                                 (SPADCALL
                                     (SPADCALL |ts| (QREFELT $ 59))
                                     |toSee| (QREFELT $ 105)) . #13#)))
                (LETT #2# (CDR #2#) . #13#) #15# G191 (EXIT NIL))
           (LETT |toSee| (SPADCALL |toSee| (QREFELT $ 107)) . #13#)
           (LETT |toSave| NIL . #13#)
           (COND
             (|check?|
                 (LETT |lq2|
                       (PROGN
                         (LETT #3# NIL . #13#)
                         (SEQ (LETT |p| NIL . #13#)
                              (LETT #4# |lp| . #13#) G190
                              (COND
                                ((OR (ATOM #4#)
                                     (PROGN
                                       (LETT |p| (CAR #4#) . #13#)
                                       NIL))
                                 #14#))
                              (SEQ (EXIT
                                    (LETT #3#
                                     (CONS
                                      (SPADCALL |p| (QREFELT $ 128))
                                      #3#) . #13#)))
                              (LETT #4# (CDR #4#) . #13#) #15# G191
                              (EXIT (NREVERSE0 #3#)))) . #13#)))
           (SEQ (LETT |st| NIL . #13#) (LETT #5# |toSee| . #13#) G190
                (COND
                  ((OR (ATOM #5#)
                       (PROGN (LETT |st| (CAR #5#) . #13#) NIL))
                   #14#))
                (SEQ (LETT |lus|
                           (SPADCALL |st| 'T (QREFELT $ 119)) . #13#)
                     (EXIT (SEQ (LETT |us| NIL . #13#)
                                (LETT #6# |lus| . #13#) G190
                                (COND
                                  ((OR (ATOM #6#)
                                    (PROGN
                                      (LETT |us| (CAR #6#) . #13#)
                                      NIL))
                                   #14#))
                                (SEQ (COND
                                       (|check?|
                                        (SEQ
                                         (EXIT
                                          (SEQ
                                           (LETT |rems|
                                            (PROGN
                                              (LETT #7# NIL . #13#)
                                              (SEQ
                                               (LETT |q2| NIL . #13#)
                                               (LETT #8# |lq2| . #13#)
                                               G190
                                               (COND
                                                 ((OR (ATOM #8#)
                                                   (PROGN
                                                     (LETT |q2|
                                                      (CAR #8#) . #13#)
                                                     NIL))
                                                  #14#))
                                               (SEQ
                                                (EXIT
                                                 (LETT #7#
                                                  (CONS
                                                   (SPADCALL |q2| |us|
                                                    (QREFELT $ 129))
                                                   #7#) . #13#)))
                                               (LETT #8#
                                                (CDR #8#) . #13#)
                                               #15# G191
                                               (EXIT (NREVERSE0 #7#)))) . #13#)
                                           (EXIT
                                            (COND
                                              ((NULL
                                                (SPADCALL (ELT $ 132)
                                                 |rems|
                                                 (QREFELT $ 134)))
                                               (PROGN
                                                 (LETT #9#
                                                  (SEQ
                                                   (SPADCALL
                                                    (SPADCALL |st|
                                                     (QREFELT $ 136))
                                                    (QREFELT $ 139))
                                                   (SPADCALL
                                                    "Has a bad RUR component:"
                                                    (QREFELT $ 141))
                                                   (SPADCALL
                                                    (SPADCALL |us|
                                                     (QREFELT $ 136))
                                                    (QREFELT $ 139))
                                                   (EXIT
                                                    (|error|
                                                     "univariateSolve$ZDSOLVE: bad RUR"))) . #13#)
                                                 (GO #9#)))))))
                                         #9# (EXIT #9#))))
                                     (LETT |g|
                                      (SPADCALL
                                       (PROG2
                                        (LETT #10#
                                         (SPADCALL |us| (QREFELT $ 16)
                                          (QREFELT $ 121)) . #13#)
                                        (QCDR #10#)
                                         (|check-union| (QEQCAR #10# 0)
                                          (|NewSparseMultivariatePolynomial|
                                           (QREFELT $ 6)
                                           (|OrderedVariableList|
                                            (QREFELT $ 8)))
                                          #10#))
                                       (QREFELT $ 122)) . #13#)
                                     (LETT |lc|
                                      (PROGN
                                        (LETT #11# NIL . #13#)
                                        (SEQ (LETT |q2| NIL . #13#)
                                         (LETT #12#
                                          (SPADCALL
                                           (SPADCALL |us|
                                            (QREFELT $ 16)
                                            (QREFELT $ 123))
                                           (QREFELT $ 95)) . #13#)
                                         G190
                                         (COND
                                           ((OR (ATOM #12#)
                                             (PROGN
                                               (LETT |q2|
                                                (CAR #12#) . #13#)
                                               NIL))
                                            #14#))
                                         (SEQ
                                          (EXIT
                                           (LETT #11#
                                            (CONS
                                             (SPADCALL |q2|
                                              (QREFELT $ 124))
                                             #11#) . #13#)))
                                         (LETT #12# (CDR #12#) . #13#)
                                         #15# G191
                                         (EXIT (NREVERSE0 #11#)))) . #13#)
                                     (EXIT
                                      (LETT |toSave|
                                       (CONS (CONS |g| |lc|) |toSave|) . #13#)))
                                (LETT #6# (CDR #6#) . #13#) #15# G191
                                (EXIT NIL))))
                (LETT #5# (CDR #5#) . #13#) #15# G191 (EXIT NIL))
           (EXIT |toSave|))))) 

(DEFUN |ZDSOLVE;univariateSolve;L2BL;22| (|lp| |info?| |check?| $)
  (SPADCALL |lp| |info?| |check?| 'NIL (QREFELT $ 142))) 

(DEFUN |ZDSOLVE;univariateSolve;LBL;23| (|lp| |info?| $)
  (SPADCALL |lp| |info?| 'NIL 'NIL (QREFELT $ 142))) 

(DEFUN |ZDSOLVE;univariateSolve;LL;24| (|lp| $)
  (SPADCALL |lp| 'NIL 'NIL 'NIL (QREFELT $ 142))) 

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

(DEFUN |ZeroDimensionalSolvePackage;| (|#1| |#2| |#3|)
  (PROG (DV$1 DV$2 DV$3 |dv$| $ |pv$| #0=#:G1848)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|)
              . #1=(|ZeroDimensionalSolvePackage|))
        (LETT DV$2 (|devaluate| |#2|) . #1#)
        (LETT DV$3 (|devaluate| |#3|) . #1#)
        (LETT |dv$|
              (LIST '|ZeroDimensionalSolvePackage| DV$1 DV$2 DV$3) . #1#)
        (LETT $ (GETREFV 146) . #1#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
        (|haddProp| |$ConstructorCache| '|ZeroDimensionalSolvePackage|
            (LIST DV$1 DV$2 DV$3) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (QSETREFV $ 8 |#3|)
        (QSETREFV $ 12 (SPADCALL |#3| (QREFELT $ 11)))
        (QSETREFV $ 16
            (PROG2 (LETT #0#
                         (SPADCALL (QREFELT $ 12) (QREFELT $ 15)) . #1#)
                   (QCDR #0#)
              (|check-union| (QEQCAR #0# 0)
                  (|OrderedVariableList| |#3|) #0#)))
        (QSETREFV $ 19 (SPADCALL (QREFELT $ 16) (QREFELT $ 18)))
        $)))) 

(MAKEPROP '|ZeroDimensionalSolvePackage| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (|local| |#3|) (|Symbol|) (|List| 9) (0 . |last|) '|news|
             (|Union| $ '"failed") (|OrderedVariableList| 8)
             (5 . |variable|) '|newv|
             (|NewSparseMultivariatePolynomial| 6 14) (10 . |coerce|)
             '|newq| (|Boolean|)
             (|NewSparseMultivariatePolynomial| 6 26) (15 . |ground?|)
             (20 . |ground|) (25 . |coerce|) (30 . |Zero|)
             (|OrderedVariableList| 7) (34 . |mvar|)
             (|NonNegativeInteger|) (39 . |mdeg|) (44 . |convert|)
             (49 . |init|) |ZDSOLVE;convert;NsmpNsmp;1| (54 . **)
             (60 . *) (66 . +) (72 . |tail|) (|List| 17)
             (|SquareFreeRegularTriangularSet| 6
                 (|IndexedExponents| 14) 14 17)
             (77 . |construct|) (|List| 21) (|RegularChain| 6 7)
             (82 . |parts|) (87 . |infRittWu?|) (|Mapping| 20 17 17)
             (93 . |sort|)
             (|PolynomialSetUtilitiesPackage| 6 (|IndexedExponents| 14)
                 14 17)
             (99 . |irreducibleFactors|)
             (|Record| (|:| |val| 17) (|:| |tower| $)) (|List| 48)
             (104 . |squareFreePart|) (110 . |init|) (115 . |ground?|)
             (|NormalizationPackage| 6 (|IndexedExponents| 14) 14 17
                 38)
             (120 . |normalizedAssociate|) (126 . |internalAugment|)
             (|Record| (|:| |rnum| 6) (|:| |polnum| 17) (|:| |den| 6))
             (132 . |remainder|) (|List| 38) |ZDSOLVE;squareFree;RcL;2|
             (|Polynomial| 6) (138 . |convert|) (|List| 41)
             (|LexTriangularPackage| 6 7) (143 . |zeroSetSplit|)
             (|List| $) (149 . |zeroSetSplit|) (|List| 60)
             |ZDSOLVE;triangSolve;L2BL;3| |ZDSOLVE;triangSolve;LBL;4|
             |ZDSOLVE;triangSolve;LL;5|
             (|SparseUnivariatePolynomial| 6) (156 . |zero?|)
             (|SparseUnivariatePolynomial| 79) (161 . |Zero|)
             (165 . |ground?|) (170 . |ground|) (|Fraction| 6)
             (175 . |coerce|) (|RealClosure| 77) (180 . |coerce|)
             (185 . |coerce|) (190 . |leadingCoefficient|)
             (195 . |degree|) (200 . |monomial|) (206 . +)
             (212 . |reductum|) |ZDSOLVE;convert;SupSup;6|
             (|Polynomial| 79) (|Mapping| 79 6)
             (|PolynomialFunctions2| 6 79) (217 . |map|)
             |ZDSOLVE;convert;PP;8| (223 . |coerce|)
             |ZDSOLVE;convert;NsmpP;9| (228 . |parts|)
             |ZDSOLVE;convert;SfrtsL;10| (233 . |eval|)
             (|Union| 9 '"failed") (240 . |mainVariable|)
             (245 . |univariate|) (|SparseUnivariatePolynomial| $)
             (250 . |allRootsOf|) (|List| (|List| 79))
             |ZDSOLVE;realSolve;RcL;11| (255 . |concat|)
             (|SquareFreeQuasiComponentPackage| 6
                 (|IndexedExponents| 14) 14 17 38)
             (261 . |removeSuperfluousQuasiComponents|) (266 . |zero?|)
             |ZDSOLVE;realSolve;L3BL;12| |ZDSOLVE;realSolve;L2BL;13|
             |ZDSOLVE;realSolve;LBL;14| |ZDSOLVE;realSolve;LL;15|
             (271 . |positive?|) |ZDSOLVE;positiveSolve;RcL;16|
             |ZDSOLVE;positiveSolve;L2BL;17|
             |ZDSOLVE;positiveSolve;LBL;18|
             |ZDSOLVE;positiveSolve;LL;19|
             (|InternalRationalUnivariateRepresentationPackage| 6
                 (|IndexedExponents| 14) 14 17 38)
             (276 . |rur|) (|Union| 17 '"failed") (282 . |select|)
             (288 . |univariate|) (293 . |collectUpper|)
             (299 . |convert|)
             (|Record| (|:| |complexRoots| 71) (|:| |coordinates| 67))
             (|List| 125) |ZDSOLVE;univariateSolve;RcL;20|
             (304 . |convert|) (309 . |removeZero|) (315 . |zero?|)
             (320 . |zero?|) (325 . |zero?|) (|Mapping| 20 17)
             (330 . |every?|) (|OutputForm|) (336 . |coerce|) (|Void|)
             (|OutputPackage|) (341 . |output|) (|String|)
             (346 . |output|) |ZDSOLVE;univariateSolve;L3BL;21|
             |ZDSOLVE;univariateSolve;L2BL;22|
             |ZDSOLVE;univariateSolve;LBL;23|
             |ZDSOLVE;univariateSolve;LL;24|)
          '#(|univariateSolve| 351 |triangSolve| 382 |squareFree| 400
             |realSolve| 405 |positiveSolve| 436 |convert| 459)
          'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 145
                                '(1 10 9 0 11 1 14 13 9 15 1 17 0 14 18
                                  1 21 20 0 22 1 21 6 0 23 1 17 0 6 24
                                  0 17 0 25 1 21 26 0 27 1 21 28 0 29 1
                                  26 9 0 30 1 21 0 0 31 2 17 0 0 28 33
                                  2 17 0 0 0 34 2 17 0 0 0 35 1 21 0 0
                                  36 1 38 0 37 39 1 41 40 0 42 2 17 20
                                  0 0 43 2 37 0 44 0 45 1 46 37 37 47 2
                                  38 49 17 0 50 1 17 0 0 51 1 17 20 0
                                  52 2 53 17 17 38 54 2 38 0 17 0 55 2
                                  38 56 17 0 57 1 21 0 60 61 2 63 62 40
                                  20 64 3 41 65 40 20 20 66 1 71 20 0
                                  72 0 73 0 74 1 71 20 0 75 1 71 6 0 76
                                  1 77 0 6 78 1 79 0 77 80 1 73 0 79 81
                                  1 71 6 0 82 1 71 28 0 83 2 73 0 79 28
                                  84 2 73 0 0 0 85 1 71 0 0 86 2 90 88
                                  89 60 91 1 17 60 0 93 1 38 37 0 95 3
                                  88 0 0 9 79 97 1 88 98 0 99 1 88 73 0
                                  100 1 79 65 101 102 2 58 0 0 0 105 1
                                  106 58 58 107 1 88 20 0 108 1 79 20 0
                                  113 2 118 58 38 20 119 2 38 120 0 14
                                  121 1 17 71 0 122 2 38 0 0 14 123 1
                                  17 60 0 124 1 17 0 60 128 2 38 17 17
                                  0 129 1 60 20 0 130 1 21 20 0 131 1
                                  17 20 0 132 2 37 20 133 0 134 1 38
                                  135 0 136 1 138 137 135 139 1 138 137
                                  140 141 4 0 126 67 20 20 20 142 1 0
                                  126 41 127 3 0 126 67 20 20 143 1 0
                                  126 67 145 2 0 126 67 20 144 2 0 62
                                  67 20 69 3 0 62 67 20 20 68 1 0 62 67
                                  70 1 0 58 41 59 1 0 103 41 104 3 0
                                  103 67 20 20 110 4 0 103 67 20 20 20
                                  109 2 0 103 67 20 111 1 0 103 67 112
                                  1 0 103 41 114 3 0 103 67 20 20 115 1
                                  0 103 67 117 2 0 103 67 20 116 1 0 88
                                  60 92 1 0 17 21 32 1 0 88 17 94 1 0
                                  37 38 96 1 0 73 71 87)))))
          '|lookupComplete|)) 
