
(/VERSIONCHECK 2) 

(DEFUN |NPCOEF;npcoef;SupLLR;1| (|u| |factlist| |leadlist| $)
  (PROG (#0=#:G1871 |v| #1=#:G1872 #2=#:G1873 #3=#:G1874 |ulist|
            #4=#:G1875 |lcu| #5=#:G1877 #6=#:G1876 |ldtcf| #7=#:G1878
            |ep| #8=#:G1879 |lexp| |dt| |cf| |celtf| |vpos| |vexp|
            |nterm| #9=#:G1845 |ndet| |changed| #10=#:G1880 |tablecoef|
            |ltochange| |pol| #11=#:G1881 #12=#:G1856 #13=#:G1854
            #14=#:G1855 |uu| #15=#:G1870 |detufact| |ltodel| |i|
            #16=#:G1882 |detcoef|)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |detcoef| NIL
                            . #17=(|NPCOEF;npcoef;SupLLR;1|))
                      (LETT |detufact| NIL . #17#)
                      (LETT |lexp|
                            (PROGN
                              (LETT #0# NIL . #17#)
                              (SEQ (LETT |v| NIL . #17#)
                                   (LETT #1# |factlist| . #17#) G190
                                   (COND
                                     ((OR (ATOM #1#)
                                       (PROGN
                                         (LETT |v| (CAR #1#) . #17#)
                                         NIL))
                                      #18=(GO G191)))
                                   (SEQ
                                    (EXIT
                                     (LETT #0#
                                      (CONS
                                       (SPADCALL |v| (QREFELT $ 12))
                                       #0#) . #17#)))
                                   (LETT #1# (CDR #1#) . #17#)
                                   #19=(GO G190) G191
                                   (EXIT (NREVERSE0 #0#)))) . #17#)
                      (LETT |ulist|
                            (SPADCALL
                                (PROGN
                                  (LETT #2# NIL . #17#)
                                  (SEQ (LETT |i| 0 . #17#)
                                       (LETT #3#
                                        (SPADCALL |u| (QREFELT $ 15)) . #17#)
                                       G190
                                       (COND
                                         ((QSGREATERP |i| #3#) #18#))
                                       (SEQ
                                        (EXIT
                                         (LETT #2#
                                          (CONS
                                           (SPADCALL |u| |i|
                                            (QREFELT $ 16))
                                           #2#) . #17#)))
                                       (LETT |i| (QSADD1 |i|) . #17#)
                                       #19# G191
                                       (EXIT (NREVERSE0 #2#))))
                                (QREFELT $ 19)) . #17#)
                      (LETT |tablecoef|
                            (|NPCOEF;buildtable| |ulist| |lexp|
                                |leadlist| $) . #17#)
                      (LETT |detcoef|
                            (PROGN
                              (LETT #4# NIL . #17#)
                              (SEQ (LETT |lcu| NIL . #17#)
                                   (LETT #5# |leadlist| . #17#)
                                   (LETT |ep| NIL . #17#)
                                   (LETT #6# |lexp| . #17#) G190
                                   (COND
                                     ((OR (ATOM #6#)
                                       (PROGN
                                         (LETT |ep| (CAR #6#) . #17#)
                                         NIL)
                                       (ATOM #5#)
                                       (PROGN
                                         (LETT |lcu| (CAR #5#) . #17#)
                                         NIL))
                                      #18#))
                                   (SEQ
                                    (EXIT
                                     (LETT #4#
                                      (CONS
                                       (LIST
                                        (CONS (|SPADfirst| |ep|) |lcu|))
                                       #4#) . #17#)))
                                   (LETT #6#
                                    (PROG1 (CDR #6#)
                                      (LETT #5# (CDR #5#) . #17#)) . #17#)
                                   #19# G191 (EXIT (NREVERSE0 #4#)))) . #17#)
                      (LETT |ldtcf| |detcoef| . #17#)
                      (LETT |lexp|
                            (PROGN
                              (LETT #7# NIL . #17#)
                              (SEQ (LETT |ep| NIL . #17#)
                                   (LETT #8# |lexp| . #17#) G190
                                   (COND
                                     ((OR (ATOM #8#)
                                       (PROGN
                                         (LETT |ep| (CAR #8#) . #17#)
                                         NIL))
                                      #18#))
                                   (SEQ
                                    (EXIT
                                     (LETT #7#
                                      (CONS (CDR |ep|) #7#) . #17#)))
                                   (LETT #8# (CDR #8#) . #17#) #19#
                                   G191 (EXIT (NREVERSE0 #7#)))) . #17#)
                      (LETT |ndet| (LENGTH |factlist|) . #17#)
                      (LETT |changed| 'T . #17#)
                      (LETT |ltochange| NIL . #17#)
                      (LETT |ltodel| NIL . #17#)
                      (SEQ G190
                           (COND
                             ((NULL (COND
                                      (|changed|
                                       (COND
                                         ((EQL |ndet| 1) 'NIL)
                                         ('T 'T)))
                                      ('T 'NIL)))
                              #18#))
                           (SEQ (LETT |changed| 'NIL . #17#)
                                (LETT |dt| (LENGTH |tablecoef|) . #17#)
                                (SEQ (LETT |i| 1 . #17#) G190
                                     (COND
                                       ((OR (QSGREATERP |i| |dt|)
                                         (NULL
                                          (COND
                                            (|changed| 'NIL)
                                            ('T 'T))))
                                        #18#))
                                     (SEQ
                                      (LETT |cf|
                                       (|NPCOEF;check|
                                        (SPADCALL |tablecoef| |i|
                                         (QREFELT $ 26))
                                        |ulist| $) . #17#)
                                      (EXIT
                                       (COND
                                         ((QEQCAR |cf| 1) "next i")
                                         ('T
                                          (SEQ
                                           (LETT |ltochange|
                                            (CONS |i| |ltochange|) . #17#)
                                           (LETT |celtf|
                                            (QCDR |cf|) . #17#)
                                           (LETT |tablecoef|
                                            (|NPCOEF;modify|
                                             |tablecoef| |celtf| $) . #17#)
                                           (LETT |vpos|
                                            (QVELT |celtf| 2) . #17#)
                                           (LETT |vexp|
                                            (QVELT |celtf| 0) . #17#)
                                           (LETT |nterm|
                                            (CONS |vexp|
                                             (QVELT |celtf| 1)) . #17#)
                                           (SPADCALL |detcoef| |vpos|
                                            (CONS |nterm|
                                             (SPADCALL |detcoef| |vpos|
                                              (QREFELT $ 29)))
                                            (QREFELT $ 30))
                                           (SPADCALL |lexp| |vpos|
                                            (SPADCALL
                                             (SPADCALL |lexp| |vpos|
                                              (QREFELT $ 32))
                                             (SPADCALL |vexp|
                                              (SPADCALL |lexp| |vpos|
                                               (QREFELT $ 32))
                                              (QREFELT $ 33))
                                             (QREFELT $ 34))
                                            (QREFELT $ 35))
                                           (COND
                                             ((SPADCALL
                                               (SPADCALL |lexp| |vpos|
                                                (QREFELT $ 32))
                                               NIL (QREFELT $ 37))
                                              (SEQ
                                               (LETT |ltodel|
                                                (CONS |vpos| |ltodel|) . #17#)
                                               (LETT |ndet|
                                                (PROG1
                                                 (LETT #9#
                                                  (- |ndet| 1) . #17#)
                                                  (|check-subtype|
                                                   (>= #9# 0)
                                                   '(|NonNegativeInteger|)
                                                   #9#)) . #17#)
                                               (EXIT
                                                (LETT |detufact|
                                                 (CONS
                                                  (|NPCOEF;constructp|
                                                   (SPADCALL |detcoef|
                                                    |vpos|
                                                    (QREFELT $ 29))
                                                   $)
                                                  |detufact|) . #17#)))))
                                           (EXIT
                                            (LETT |changed| 'T . #17#)))))))
                                     (LETT |i| (QSADD1 |i|) . #17#)
                                     #19# G191 (EXIT NIL))
                                (SEQ (LETT |i| NIL . #17#)
                                     (LETT #10# |ltochange| . #17#)
                                     G190
                                     (COND
                                       ((OR (ATOM #10#)
                                         (PROGN
                                           (LETT |i| (CAR #10#) . #17#)
                                           NIL))
                                        #18#))
                                     (SEQ
                                      (EXIT
                                       (LETT |tablecoef|
                                        (SPADCALL |tablecoef| |i|
                                         (QREFELT $ 38)) . #17#)))
                                     (LETT #10# (CDR #10#) . #17#) #19#
                                     G191 (EXIT NIL))
                                (EXIT (LETT |ltochange| NIL . #17#)))
                           NIL #19# G191 (EXIT NIL))
                      (COND
                        ((EQL |ndet| 1)
                         (SEQ (LETT |uu|
                                    (SPADCALL |u|
                                     (PROGN
                                       (LETT #14# NIL . #17#)
                                       (SEQ (LETT |pol| NIL . #17#)
                                        (LETT #11# |detufact| . #17#)
                                        G190
                                        (COND
                                          ((OR (ATOM #11#)
                                            (PROGN
                                              (LETT |pol|
                                               (CAR #11#) . #17#)
                                              NIL))
                                           #18#))
                                        (SEQ
                                         (EXIT
                                          (PROGN
                                            (LETT #12# |pol| . #17#)
                                            (COND
                                              (#14#
                                               (LETT #13#
                                                (SPADCALL #13# #12#
                                                 (QREFELT $ 39)) . #17#))
                                              ('T
                                               (PROGN
                                                 (LETT #13#
                                                  #12# . #17#)
                                                 (LETT #14# 'T . #17#)))))))
                                        (LETT #11# (CDR #11#) . #17#)
                                        #19# G191 (EXIT NIL))
                                       (COND
                                         (#14# #13#)
                                         (#20='T (|spadConstant| $ 40))))
                                     (QREFELT $ 42)) . #17#)
                              (EXIT (COND
                                      ((QEQCAR |uu| 1)
                                       (PROGN
                                         (LETT #15#
                                          (VECTOR NIL |ldtcf|
                                           |factlist| |leadlist|) . #17#)
                                         (GO #15#)))
                                      (#20#
                                       (LETT |detufact|
                                        (CONS (QCDR |uu|) |detufact|) . #17#))))))
                        (#20#
                         (SEQ (LETT |ltodel|
                                    (SPADCALL
                                     (CONS #'|NPCOEF;npcoef;SupLLR;1!0|
                                      $)
                                     |ltodel| (QREFELT $ 45)) . #17#)
                              (EXIT (SEQ (LETT |i| NIL . #17#)
                                     (LETT #16# |ltodel| . #17#) G190
                                     (COND
                                       ((OR (ATOM #16#)
                                         (PROGN
                                           (LETT |i| (CAR #16#) . #17#)
                                           NIL))
                                        #18#))
                                     (SEQ
                                      (LETT |detcoef|
                                       (SPADCALL |detcoef| |i|
                                        (QREFELT $ 46)) . #17#)
                                      (LETT |factlist|
                                       (SPADCALL |factlist| |i|
                                        (QREFELT $ 48)) . #17#)
                                      (EXIT
                                       (LETT |leadlist|
                                        (SPADCALL |leadlist| |i|
                                         (QREFELT $ 49)) . #17#)))
                                     (LETT #16# (CDR #16#) . #17#) #19#
                                     G191 (EXIT NIL))))))
                      (EXIT (VECTOR |detufact| |detcoef| |factlist|
                                    |leadlist|))))
           #15# (EXIT #15#))))) 

(DEFUN |NPCOEF;npcoef;SupLLR;1!0| (|#1| |#2| $)
  (SPADCALL |#2| |#1| (QREFELT $ 43))) 

(DEFUN |NPCOEF;check| (|tterm| |ulist| $)
  (PROG (|termlist| |vterm| |elterm| #0=#:G1902 |cu1| |cfu| #1=#:G1896
            |doit| #2=#:G1895 |poselt| |pp| #3=#:G1899 #4=#:G1889)
    (RETURN
      (SEQ (LETT |cfu| (|spadConstant| $ 52) . #5=(|NPCOEF;check|))
           (LETT |doit| 0 . #5#) (LETT |poselt| 0 . #5#)
           (LETT |termlist| (QCDR |tterm|) . #5#)
           (LETT |vterm| NIL . #5#)
           (EXIT (COND
                   ((EQL (LENGTH |termlist|) 1)
                    (SEQ (EXIT (SEQ (LETT |vterm|
                                     (|SPADfirst| |termlist|) . #5#)
                                    (SEQ (LETT |elterm| NIL . #5#)
                                     (LETT #0# |vterm| . #5#) G190
                                     (COND
                                       ((OR (ATOM #0#)
                                         (PROGN
                                           (LETT |elterm|
                                            (CAR #0#) . #5#)
                                           NIL)
                                         (NULL (< |doit| 2)))
                                        (GO G191)))
                                     (SEQ
                                      (EXIT
                                       (SEQ
                                        (SEQ
                                         (LETT |cu1|
                                          (QCDR |elterm|) . #5#)
                                         (EXIT
                                          (COND
                                            ((NULL
                                              (SPADCALL |cu1|
                                               (|spadConstant| $ 55)
                                               (QREFELT $ 56)))
                                             (PROGN
                                               (LETT #1#
                                                (LETT |cfu|
                                                 (SPADCALL |cu1| |cfu|
                                                  (QREFELT $ 57)) . #5#) . #5#)
                                               (GO #1#))))))
                                        (LETT |doit|
                                         (+ |doit| 1) . #5#)
                                        (EXIT
                                         (LETT |poselt|
                                          (PROG1
                                           (LETT #2#
                                            (SPADCALL |elterm| |vterm|
                                             (QREFELT $ 58)) . #5#)
                                            (|check-subtype| (>= #2# 0)
                                             '(|NonNegativeInteger|)
                                             #2#)) . #5#))))
                                      #1# (EXIT #1#))
                                     (LETT #0# (CDR #0#) . #5#)
                                     (GO G190) G191 (EXIT NIL))
                                    (COND
                                      ((EQL |doit| 2)
                                       (EXIT (CONS 1 "failed")))
                                      ('T
                                       (SEQ
                                        (LETT |pp|
                                         (SPADCALL (QCAR |tterm|) |cfu|
                                          (QREFELT $ 59)) . #5#)
                                        (EXIT
                                         (COND
                                           ((QEQCAR |pp| 1)
                                            (PROGN
                                              (LETT #3#
                                               (CONS 1 "failed") . #5#)
                                              (GO #3#))))))))
                                    (EXIT
                                     (CONS 0
                                      (VECTOR
                                       (QCAR
                                        (SPADCALL |vterm| |poselt|
                                         (QREFELT $ 60)))
                                       (PROG2 (LETT #4# |pp| . #5#)
                                        (QCDR #4#)
                                         (|check-union| (QEQCAR #4# 0)
                                          (QREFELT $ 10) #4#))
                                       |poselt|)))))
                         #3# (EXIT #3#)))
                   ('T (CONS 1 "failed")))))))) 

(DEFUN |NPCOEF;buildvect| (|lvterm| |n| $)
  (PROG (#0=#:G1917 |vtable| |ntable| |term| #1=#:G1918 |nexp| |i|
            #2=#:G1919 #3=#:G1920)
    (RETURN
      (SEQ (LETT |vtable| (SPADCALL |n| NIL (QREFELT $ 62))
                 . #4=(|NPCOEF;buildvect|))
           (EXIT (COND
                   ((EQL (LENGTH |lvterm|) 1)
                    (SEQ (SEQ (LETT |term| NIL . #4#)
                              (LETT #0# (|SPADfirst| |lvterm|) . #4#)
                              G190
                              (COND
                                ((OR (ATOM #0#)
                                     (PROGN
                                       (LETT |term| (CAR #0#) . #4#)
                                       NIL))
                                 #5=(GO G191)))
                              (SEQ (EXIT
                                    (SPADCALL |vtable|
                                     (+ (QCAR |term|) 1)
                                     (LIST (LIST |term|))
                                     (QREFELT $ 63))))
                              (LETT #0# (CDR #0#) . #4#) #6=(GO G190)
                              G191 (EXIT NIL))
                         (EXIT |vtable|)))
                   ('T
                    (SEQ (LETT |vtable|
                               (|NPCOEF;buildvect| (CDR |lvterm|) |n|
                                   $) . #4#)
                         (LETT |ntable|
                               (SPADCALL |n| NIL (QREFELT $ 62)) . #4#)
                         (SEQ (LETT |term| NIL . #4#)
                              (LETT #1# (|SPADfirst| |lvterm|) . #4#)
                              G190
                              (COND
                                ((OR (ATOM #1#)
                                     (PROGN
                                       (LETT |term| (CAR #1#) . #4#)
                                       NIL))
                                 #5#))
                              (SEQ (LETT |nexp| (QCAR |term|) . #4#)
                                   (EXIT
                                    (SEQ (LETT |i| 1 . #4#) G190
                                     (COND
                                       ((OR (QSGREATERP |i| |n|)
                                         (NULL
                                          (< (+ |nexp| |i|) (+ |n| 1))))
                                        #5#))
                                     (SEQ
                                      (EXIT
                                       (SPADCALL |ntable|
                                        (+ |nexp| |i|)
                                        (APPEND
                                         (PROGN
                                           (LETT #2# NIL . #4#)
                                           (SEQ
                                            (LETT |lvterm| NIL . #4#)
                                            (LETT #3#
                                             (SPADCALL |vtable| |i|
                                              (QREFELT $ 64)) . #4#)
                                            G190
                                            (COND
                                              ((OR (ATOM #3#)
                                                (PROGN
                                                  (LETT |lvterm|
                                                   (CAR #3#) . #4#)
                                                  NIL))
                                               #5#))
                                            (SEQ
                                             (EXIT
                                              (LETT #2#
                                               (CONS
                                                (CONS |term| |lvterm|)
                                                #2#) . #4#)))
                                            (LETT #3# (CDR #3#) . #4#)
                                            #6# G191
                                            (EXIT (NREVERSE0 #2#))))
                                         (SPADCALL |ntable|
                                          (+ |nexp| |i|)
                                          (QREFELT $ 64)))
                                        (QREFELT $ 63))))
                                     (LETT |i| (QSADD1 |i|) . #4#) #6#
                                     G191 (EXIT NIL))))
                              (LETT #1# (CDR #1#) . #4#) #6# G191
                              (EXIT NIL))
                         (EXIT |ntable|))))))))) 

(DEFUN |NPCOEF;buildtable| (|vu| |lvect| |leadlist| $)
  (PROG (|nfact| #0=#:G1922 |degu| #1=#:G1930 |lv| #2=#:G1931
                 #3=#:G1932 |e| #4=#:G1933 |prelim| |partialv| |i|
                 |table|)
    (RETURN
      (SEQ (LETT |nfact| (LENGTH |leadlist|)
                 . #5=(|NPCOEF;buildtable|))
           (LETT |table| NIL . #5#)
           (LETT |degu|
                 (PROG1 (LETT #0# (- (QVSIZE |vu|) 1) . #5#)
                   (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|)
                       #0#)) . #5#)
           (LETT |prelim|
                 (PROGN
                   (LETT #1# NIL . #5#)
                   (SEQ (LETT |lv| NIL . #5#) (LETT #2# |lvect| . #5#)
                        G190
                        (COND
                          ((OR (ATOM #2#)
                               (PROGN (LETT |lv| (CAR #2#) . #5#) NIL))
                           #6=(GO G191)))
                        (SEQ (EXIT (LETT #1#
                                    (CONS
                                     (PROGN
                                       (LETT #3# NIL . #5#)
                                       (SEQ (LETT |e| NIL . #5#)
                                        (LETT #4# |lv| . #5#) G190
                                        (COND
                                          ((OR (ATOM #4#)
                                            (PROGN
                                              (LETT |e|
                                               (CAR #4#) . #5#)
                                              NIL))
                                           #6#))
                                        (SEQ
                                         (EXIT
                                          (LETT #3#
                                           (CONS
                                            (CONS |e|
                                             (|spadConstant| $ 55))
                                            #3#) . #5#)))
                                        (LETT #4# (CDR #4#) . #5#)
                                        #7=(GO G190) G191
                                        (EXIT (NREVERSE0 #3#))))
                                     #1#) . #5#)))
                        (LETT #2# (CDR #2#) . #5#) #7# G191
                        (EXIT (NREVERSE0 #1#)))) . #5#)
           (SEQ (LETT |i| 1 . #5#) G190
                (COND ((QSGREATERP |i| |nfact|) #6#))
                (SEQ (EXIT (PROGN
                             (RPLACD (|SPADfirst|
                                      (SPADCALL |prelim| |i|
                                       (QREFELT $ 29)))
                                     (SPADCALL |leadlist| |i|
                                      (QREFELT $ 65)))
                             (QCDR (|SPADfirst|
                                    (SPADCALL |prelim| |i|
                                     (QREFELT $ 29)))))))
                (LETT |i| (QSADD1 |i|) . #5#) #7# G191 (EXIT NIL))
           (LETT |partialv|
                 (SPADCALL |nfact| NIL (QREFELT $ 62)) . #5#)
           (LETT |partialv|
                 (|NPCOEF;buildvect| |prelim| |degu| $) . #5#)
           (SEQ (LETT |i| 1 . #5#) G190
                (COND ((QSGREATERP |i| |degu|) #6#))
                (SEQ (EXIT (COND
                             ((NULL (SPADCALL |partialv| |i|
                                     (QREFELT $ 64)))
                              "next i")
                             ('T
                              (LETT |table|
                                    (CONS
                                     (CONS
                                      (SPADCALL |vu| |i|
                                       (QREFELT $ 66))
                                      (SPADCALL |partialv| |i|
                                       (QREFELT $ 64)))
                                     |table|) . #5#)))))
                (LETT |i| (QSADD1 |i|) . #5#) #7# G191 (EXIT NIL))
           (EXIT |table|))))) 

(DEFUN |NPCOEF;modify| (|tablecoef| |cfter| $)
  (PROG (|cfexp| |cfcoef| |cfpos| |cterm| #0=#:G1995 |term| #1=#:G1996
                 #2=#:G1973 #3=#:G1971 #4=#:G1972 |celt| #5=#:G1997
                 #6=#:G1998 #7=#:G1976 #8=#:G1974 #9=#:G1975
                 #10=#:G1980 |k| |cc| #11=#:G1999 #12=#:G1983
                 #13=#:G1981 #14=#:G1982 |i| #15=#:G2000 |ctdet|
                 |lterase|)
    (RETURN
      (SEQ (LETT |cfexp| (QVELT |cfter| 0) . #16=(|NPCOEF;modify|))
           (LETT |cfcoef| (QVELT |cfter| 1) . #16#)
           (LETT |cfpos| (QVELT |cfter| 2) . #16#)
           (LETT |lterase| NIL . #16#)
           (SEQ (LETT |cterm| NIL . #16#) (LETT #0# |tablecoef| . #16#)
                G190
                (COND
                  ((OR (ATOM #0#)
                       (PROGN (LETT |cterm| (CAR #0#) . #16#) NIL))
                   #17=(GO G191)))
                (SEQ (EXIT (COND
                             ((COND
                                ((NULL (LETT |ctdet|
                                        (QCDR |cterm|) . #16#))
                                 'NIL)
                                ('T 'T))
                              (COND
                                ((< (PROGN
                                      (LETT #4# NIL . #16#)
                                      (SEQ (LETT |term| NIL . #16#)
                                       (LETT #1#
                                        (|SPADfirst| |ctdet|) . #16#)
                                       G190
                                       (COND
                                         ((OR (ATOM #1#)
                                           (PROGN
                                             (LETT |term|
                                              (CAR #1#) . #16#)
                                             NIL))
                                          #17#))
                                       (SEQ
                                        (EXIT
                                         (PROGN
                                           (LETT #2#
                                            (QCAR |term|) . #16#)
                                           (COND
                                             (#4#
                                              (LETT #3#
                                               (+ #3# #2#) . #16#))
                                             ('T
                                              (PROGN
                                                (LETT #3# #2# . #16#)
                                                (LETT #4# 'T . #16#)))))))
                                       (LETT #1# (CDR #1#) . #16#)
                                       #18=(GO G190) G191 (EXIT NIL))
                                      (COND (#4# #3#) ('T 0)))
                                    |cfexp|)
                                 "next term")
                                ('T
                                 (SEQ (SEQ (LETT |celt| NIL . #16#)
                                       (LETT #5# |ctdet| . #16#) G190
                                       (COND
                                         ((OR (ATOM #5#)
                                           (PROGN
                                             (LETT |celt|
                                              (CAR #5#) . #16#)
                                             NIL))
                                          #17#))
                                       (SEQ
                                        (EXIT
                                         (COND
                                           ((EQL
                                             (QCAR
                                              (SPADCALL |celt| |cfpos|
                                               (QREFELT $ 60)))
                                             |cfexp|)
                                            (SEQ
                                             (PROGN
                                               (RPLACD
                                                (SPADCALL |celt|
                                                 |cfpos|
                                                 (QREFELT $ 60))
                                                |cfcoef|)
                                               (QCDR
                                                (SPADCALL |celt|
                                                 |cfpos|
                                                 (QREFELT $ 60))))
                                             (EXIT
                                              (COND
                                                ((PROGN
                                                   (LETT #9#
                                                    NIL . #16#)
                                                   (SEQ
                                                    (LETT |cc|
                                                     NIL . #16#)
                                                    (LETT #6#
                                                     |celt| . #16#)
                                                    G190
                                                    (COND
                                                      ((OR (ATOM #6#)
                                                        (PROGN
                                                          (LETT |cc|
                                                           (CAR #6#) . #16#)
                                                          NIL))
                                                       #17#))
                                                    (SEQ
                                                     (EXIT
                                                      (PROGN
                                                        (LETT #7#
                                                         (COND
                                                           ((SPADCALL
                                                             (QCDR
                                                              |cc|)
                                                             (|spadConstant|
                                                              $ 55)
                                                             (QREFELT $
                                                              56))
                                                            'NIL)
                                                           ('T 'T)) . #16#)
                                                        (COND
                                                          (#9#
                                                           (LETT #8#
                                                            (COND
                                                              (#8# #7#)
                                                              ('T 'NIL)) . #16#))
                                                          ('T
                                                           (PROGN
                                                             (LETT #8#
                                                              #7# . #16#)
                                                             (LETT #9#
                                                              'T . #16#)))))))
                                                    (LETT #6#
                                                     (CDR #6#) . #16#)
                                                    #18# G191
                                                    (EXIT NIL))
                                                   (COND
                                                     (#9# #8#)
                                                     ('T 'T)))
                                                 (SEQ
                                                  (LETT |k|
                                                   (PROG1
                                                    (LETT #10#
                                                     (SPADCALL |celt|
                                                      |ctdet|
                                                      (QREFELT $ 67)) . #16#)
                                                     (|check-subtype|
                                                      (>= #10# 0)
                                                      '(|NonNegativeInteger|)
                                                      #10#)) . #16#)
                                                  (LETT |lterase|
                                                   (CONS |k| |lterase|) . #16#)
                                                  (EXIT
                                                   (PROGN
                                                     (RPLACA |cterm|
                                                      (SPADCALL
                                                       (QCAR |cterm|)
                                                       (PROGN
                                                         (LETT #14#
                                                          NIL . #16#)
                                                         (SEQ
                                                          (LETT |cc|
                                                           NIL . #16#)
                                                          (LETT #11#
                                                           |celt| . #16#)
                                                          G190
                                                          (COND
                                                            ((OR
                                                              (ATOM
                                                               #11#)
                                                              (PROGN
                                                                (LETT
                                                                 |cc|
                                                                 (CAR
                                                                  #11#) . #16#)
                                                                NIL))
                                                             #17#))
                                                          (SEQ
                                                           (EXIT
                                                            (PROGN
                                                              (LETT
                                                               #12#
                                                               (QCDR
                                                                |cc|) . #16#)
                                                              (COND
                                                                (#14#
                                                                 (LETT
                                                                  #13#
                                                                  (SPADCALL
                                                                   #13#
                                                                   #12#
                                                                   (QREFELT
                                                                    $
                                                                    57)) . #16#))
                                                                ('T
                                                                 (PROGN
                                                                   (LETT
                                                                    #13#
                                                                    #12# . #16#)
                                                                   (LETT
                                                                    #14#
                                                                    'T . #16#)))))))
                                                          (LETT #11#
                                                           (CDR #11#) . #16#)
                                                          #18# G191
                                                          (EXIT NIL))
                                                         (COND
                                                           (#14# #13#)
                                                           ('T
                                                            (|spadConstant|
                                                             $ 52))))
                                                       (QREFELT $ 68)))
                                                     (QCAR |cterm|))))))))))))
                                       (LETT #5# (CDR #5#) . #16#) #18#
                                       G191 (EXIT NIL))
                                      (EXIT
                                       (COND
                                         ((NULL (NULL |lterase|))
                                          (SEQ
                                           (LETT |lterase|
                                            (SPADCALL
                                             (CONS #'|NPCOEF;modify!0|
                                              $)
                                             |lterase| (QREFELT $ 45)) . #16#)
                                           (SEQ (LETT |i| NIL . #16#)
                                            (LETT #15#
                                             |lterase| . #16#)
                                            G190
                                            (COND
                                              ((OR (ATOM #15#)
                                                (PROGN
                                                  (LETT |i|
                                                   (CAR #15#) . #16#)
                                                  NIL))
                                               #17#))
                                            (SEQ
                                             (EXIT
                                              (LETT |ctdet|
                                               (SPADCALL |ctdet| |i|
                                                (QREFELT $ 46)) . #16#)))
                                            (LETT #15#
                                             (CDR #15#) . #16#)
                                            #18# G191 (EXIT NIL))
                                           (PROGN
                                             (RPLACD |cterm| |ctdet|)
                                             (QCDR |cterm|))
                                           (EXIT
                                            (LETT |lterase| NIL . #16#)))))))))))))
                (LETT #0# (CDR #0#) . #16#) #18# G191 (EXIT NIL))
           (EXIT |tablecoef|))))) 

(DEFUN |NPCOEF;modify!0| (|#1| |#2| $)
  (SPADCALL |#2| |#1| (QREFELT $ 43))) 

(DEFUN |NPCOEF;listexp;BPL;6| (|up| $)
  (COND
    ((EQL (SPADCALL |up| (QREFELT $ 69)) 0) (LIST 0))
    ('T
     (CONS (SPADCALL |up| (QREFELT $ 69))
           (SPADCALL (SPADCALL |up| (QREFELT $ 70)) (QREFELT $ 12)))))) 

(DEFUN |NPCOEF;constructp| (|lterm| $)
  (PROG (|term| #0=#:G2007 #1=#:G2005 #2=#:G2003 #3=#:G2004)
    (RETURN
      (SEQ (PROGN
             (LETT #3# NIL . #4=(|NPCOEF;constructp|))
             (SEQ (LETT |term| NIL . #4#) (LETT #0# |lterm| . #4#) G190
                  (COND
                    ((OR (ATOM #0#)
                         (PROGN (LETT |term| (CAR #0#) . #4#) NIL))
                     (GO G191)))
                  (SEQ (EXIT (PROGN
                               (LETT #1#
                                     (SPADCALL (QCDR |term|)
                                      (QCAR |term|) (QREFELT $ 71)) . #4#)
                               (COND
                                 (#3# (LETT #2#
                                       (SPADCALL #2# #1#
                                        (QREFELT $ 72)) . #4#))
                                 ('T
                                  (PROGN
                                    (LETT #2# #1# . #4#)
                                    (LETT #3# 'T . #4#)))))))
                  (LETT #0# (CDR #0#) . #4#) (GO G190) G191 (EXIT NIL))
             (COND (#3# #2#) ('T (|spadConstant| $ 73)))))))) 

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

(DEFUN |NPCoef;| (|#1| |#2| |#3| |#4| |#5|)
  (PROG (DV$1 DV$2 DV$3 DV$4 DV$5 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #0=(|NPCoef|))
        (LETT DV$2 (|devaluate| |#2|) . #0#)
        (LETT DV$3 (|devaluate| |#3|) . #0#)
        (LETT DV$4 (|devaluate| |#4|) . #0#)
        (LETT DV$5 (|devaluate| |#5|) . #0#)
        (LETT |dv$| (LIST '|NPCoef| DV$1 DV$2 DV$3 DV$4 DV$5) . #0#)
        (LETT $ (GETREFV 74) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|haddProp| |$ConstructorCache| '|NPCoef|
            (LIST DV$1 DV$2 DV$3 DV$4 DV$5) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (QSETREFV $ 8 |#3|)
        (QSETREFV $ 9 |#4|)
        (QSETREFV $ 10 |#5|)
        $)))) 

(MAKEPROP '|NPCoef| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (|local| |#3|) (|local| |#4|) (|local| |#5|) (|List| 13)
             |NPCOEF;listexp;BPL;6| (|NonNegativeInteger|)
             (|SparseUnivariatePolynomial| 10) (0 . |degree|)
             (5 . |coefficient|) (|List| 10) (|Vector| 10)
             (11 . |vector|) (16 . |One|) (20 . |One|)
             (|Record| (|:| |expt| 13) (|:| |pcoef| 10))
             (|Record| (|:| |coefu| 10) (|:| |detfacts| 28))
             (|Integer|) (|List| 23) (24 . |elt|) (|List| 22)
             (|List| 27) (30 . |elt|) (36 . |setelt|) (|List| 11)
             (43 . |elt|) (49 . |position|) (55 . |delete|)
             (61 . |setelt|) (|Boolean|) (68 . =) (74 . |delete|)
             (80 . *) (86 . |One|) (|Union| $ '"failed") (90 . |exquo|)
             (96 . <) (|Mapping| 36 13 13) (102 . |sort|)
             (108 . |delete|) (|List| 6) (114 . |delete|)
             (120 . |delete|)
             (|Record| (|:| |deter| (|List| 14)) (|:| |dterm| 28)
                 (|:| |nfacts| 47) (|:| |nlead| 17))
             |NPCOEF;npcoef;SupLLR;1| (126 . |One|) (130 . |Zero|)
             (134 . |Zero|) (138 . |Zero|) (142 . =) (148 . *)
             (154 . |position|) (160 . |exquo|) (166 . |elt|)
             (|Vector| 28) (172 . |new|) (178 . |setelt|) (185 . |elt|)
             (191 . |elt|) (197 . |elt|) (203 . |position|) (209 . -)
             (215 . |degree|) (220 . |reductum|) (225 . |monomial|)
             (231 . +) (237 . |Zero|))
          '#(|npcoef| 241 |listexp| 248) 'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 73
                                '(1 14 13 0 15 2 14 10 0 13 16 1 18 0
                                  17 19 0 6 0 20 0 9 0 21 2 25 23 0 24
                                  26 2 28 27 0 24 29 3 28 27 0 24 27 30
                                  2 31 11 0 24 32 2 11 24 13 0 33 2 11
                                  0 0 24 34 3 31 11 0 24 11 35 2 11 36
                                  0 0 37 2 25 0 0 24 38 2 14 0 0 0 39 0
                                  14 0 40 2 14 41 0 0 42 2 13 36 0 0 43
                                  2 11 0 44 0 45 2 28 0 0 24 46 2 47 0
                                  0 24 48 2 17 0 0 24 49 0 10 0 52 0 6
                                  0 53 0 7 0 54 0 10 0 55 2 10 36 0 0
                                  56 2 10 0 0 0 57 2 27 24 22 0 58 2 10
                                  41 0 0 59 2 27 22 0 24 60 2 61 0 13
                                  28 62 3 61 28 0 24 28 63 2 61 28 0 24
                                  64 2 17 10 0 24 65 2 18 10 0 24 66 2
                                  28 24 27 0 67 2 10 0 0 0 68 1 6 13 0
                                  69 1 6 0 0 70 2 14 0 10 13 71 2 14 0
                                  0 0 72 0 14 0 73 3 0 50 14 47 17 51 1
                                  0 11 6 12)))))
          '|lookupComplete|)) 
