
(/VERSIONCHECK 2) 

(DEFUN |CINTSLPE;solveLinearPolynomialEquation;LSupU;1| (|lp| |p| $)
  (PROG (|u| #0=#:G1840 #1=#:G1822 #2=#:G1820 #3=#:G1821 |deg| |ans|
             #4=#:G1824 |answer|)
    (RETURN
      (SEQ (COND
             ((NULL (SPADCALL (QREFELT $ 8) |lp| (QREFELT $ 15)))
              (SEQ (LETT |deg|
                         (PROGN
                           (LETT #3# NIL
                                 . #5=(|CINTSLPE;solveLinearPolynomialEquation;LSupU;1|))
                           (SEQ (LETT |u| NIL . #5#)
                                (LETT #0# |lp| . #5#) G190
                                (COND
                                  ((OR (ATOM #0#)
                                    (PROGN
                                      (LETT |u| (CAR #0#) . #5#)
                                      NIL))
                                   #6=(GO G191)))
                                (SEQ (EXIT
                                      (PROGN
                                        (LETT #1#
                                         (SPADCALL |u| (QREFELT $ 18)) . #5#)
                                        (COND
                                          (#3#
                                           (LETT #2# (+ #2# #1#) . #5#))
                                          ('T
                                           (PROGN
                                             (LETT #2# #1# . #5#)
                                             (LETT #3# 'T . #5#)))))))
                                (LETT #0# (CDR #0#) . #5#) #7=(GO G190)
                                G191 (EXIT NIL))
                           (COND (#3# #2#) ('T 0))) . #5#)
                   (LETT |ans| (CONS 1 "failed") . #5#)
                   (SETELT $ 11 (SPADCALL 67108859 (QREFELT $ 10)))
                   (SEQ G190 (COND ((NULL (QEQCAR |ans| 1)) #6#))
                        (SEQ (LETT |ans|
                                   (SPADCALL |deg|
                                    (SPADCALL (QREFELT $ 11)
                                     (|spadConstant| $ 19)
                                     (QREFELT $ 21))
                                    |lp| (QREFELT $ 24)) . #5#)
                             (EXIT (COND
                                     ((QEQCAR |ans| 1)
                                      (SEQ
                                       (SETELT $ 11
                                        (SPADCALL (QREFELT $ 11)
                                         (SPADCALL 4 (QREFELT $ 10))
                                         (QREFELT $ 25)))
                                       (EXIT
                                        (SEQ G190
                                         (COND
                                           ((NULL
                                             (COND
                                               ((SPADCALL
                                                 (QREFELT $ 11)
                                                 (QREFELT $ 27))
                                                'NIL)
                                               ('T 'T)))
                                            #6#))
                                         (SEQ
                                          (EXIT
                                           (SETELT $ 11
                                            (SPADCALL (QREFELT $ 11)
                                             (SPADCALL 4
                                              (QREFELT $ 10))
                                             (QREFELT $ 25)))))
                                         NIL #7# G191 (EXIT NIL))))))))
                        NIL #7# G191 (EXIT NIL))
                   (EXIT (SETELT $ 12
                                 (PROG2 (LETT #4# |ans| . #5#)
                                        (QCDR #4#)
                                   (|check-union| (QEQCAR #4# 0)
                                    (|Vector|
                                     (|List|
                                      (|SparseUnivariatePolynomial|
                                       (QREFELT $ 7))))
                                    #4#)))))))
           (LETT |answer|
                 (SPADCALL |p|
                     (SPADCALL (QREFELT $ 11) (|spadConstant| $ 19)
                         (QREFELT $ 21))
                     (QREFELT $ 12) (QREFELT $ 30)) . #5#)
           (EXIT |answer|))))) 

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

(DEFUN |ComplexIntegerSolveLinearPolynomialEquation;| (|#1| |#2|)
  (PROG (DV$1 DV$2 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|)
              . #0=(|ComplexIntegerSolveLinearPolynomialEquation|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT |dv$|
              (LIST '|ComplexIntegerSolveLinearPolynomialEquation| DV$1
                    DV$2) . #0#)
        (LETT $ (GETREFV 32) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|haddProp| |$ConstructorCache|
            '|ComplexIntegerSolveLinearPolynomialEquation|
            (LIST DV$1 DV$2) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (QSETREFV $ 8 NIL)
        (QSETREFV $ 11 (SPADCALL 2 (QREFELT $ 10)))
        (QSETREFV $ 12 (GETREFV 0))
        $)))) 

(MAKEPROP '|ComplexIntegerSolveLinearPolynomialEquation| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             '|oldlp| (|Integer|) (0 . |coerce|) '|slpePrime|
             '|oldtable| (|Boolean|) (|List| 17) (5 . =)
             (|NonNegativeInteger|) (|SparseUnivariatePolynomial| 7)
             (11 . |degree|) (16 . |Zero|) (20 . |Zero|)
             (24 . |complex|) (|Union| 29 '"failed")
             (|GenExEuclid| 7 17) (30 . |tablePow|) (37 . -)
             (|IntegerPrimesPackage| 6) (43 . |prime?|)
             (|Union| 14 '"failed") (|Vector| 14) (48 . |solveid|)
             |CINTSLPE;solveLinearPolynomialEquation;LSupU;1|)
          '#(|solveLinearPolynomialEquation| 55) 'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 31
                                '(1 6 0 9 10 2 14 13 0 0 15 1 17 16 0
                                  18 0 6 0 19 0 7 0 20 2 7 0 6 6 21 3
                                  23 22 16 7 14 24 2 6 0 0 0 25 1 26 13
                                  6 27 3 23 28 17 7 29 30 2 0 28 14 17
                                  31)))))
          '|lookupComplete|)) 
