
(/VERSIONCHECK 2) 

(DEFUN |NPCOEF;npcoef;SupLLR;1| (|u| |factlist| |leadlist| $)
  (PROG (|detcoef| #1=#:G734 |i| |ltodel| |detufact| #2=#:G722 |uu| #3=#:G707
         #4=#:G706 #5=#:G708 #6=#:G733 |pol| |ltochange| |tablecoef| #7=#:G732
         |changed| |ndet| #8=#:G691 |nterm| |vexp| |vpos| |celtf| |cf| |dt|
         |lexp| #9=#:G731 |ep| #10=#:G730 |ldtcf| #11=#:G728 #12=#:G729 |lcu|
         #13=#:G727 |ulist| #14=#:G726 #15=#:G725 #16=#:G724 |v| #17=#:G723)
    (RETURN
     (SEQ
      (EXIT
       (SEQ (LETT |detcoef| NIL . #18=(|NPCOEF;npcoef;SupLLR;1|))
            (LETT |detufact| NIL . #18#)
            (LETT |lexp|
                  (PROGN
                   (LETT #17# NIL . #18#)
                   (SEQ (LETT |v| NIL . #18#) (LETT #16# |factlist| . #18#)
                        G190
                        (COND
                         ((OR (ATOM #16#)
                              (PROGN (LETT |v| (CAR #16#) . #18#) NIL))
                          #19=(GO G191)))
                        (SEQ
                         (EXIT
                          (LETT #17# (CONS (SPADCALL |v| (QREFELT $ 12)) #17#)
                                . #18#)))
                        (LETT #16# (CDR #16#) . #18#) #20=(GO G190) G191
                        (EXIT (NREVERSE0 #17#))))
                  . #18#)
            (LETT |ulist|
                  (SPADCALL
                   (PROGN
                    (LETT #15# NIL . #18#)
                    (SEQ (LETT |i| 0 . #18#)
                         (LETT #14# (SPADCALL |u| (QREFELT $ 15)) . #18#) G190
                         (COND ((QSGREATERP |i| #14#) #19#))
                         (SEQ
                          (EXIT
                           (LETT #15#
                                 (CONS (SPADCALL |u| |i| (QREFELT $ 16)) #15#)
                                 . #18#)))
                         (LETT |i| (QSADD1 |i|) . #18#) #20# G191
                         (EXIT (NREVERSE0 #15#))))
                   (QREFELT $ 19))
                  . #18#)
            (LETT |tablecoef| (|NPCOEF;buildtable| |ulist| |lexp| |leadlist| $)
                  . #18#)
            (LETT |detcoef|
                  (PROGN
                   (LETT #13# NIL . #18#)
                   (SEQ (LETT |lcu| NIL . #18#) (LETT #12# |leadlist| . #18#)
                        (LETT |ep| NIL . #18#) (LETT #11# |lexp| . #18#) G190
                        (COND
                         ((OR (ATOM #11#)
                              (PROGN (LETT |ep| (CAR #11#) . #18#) NIL)
                              (ATOM #12#)
                              (PROGN (LETT |lcu| (CAR #12#) . #18#) NIL))
                          #19#))
                        (SEQ
                         (EXIT
                          (LETT #13#
                                (CONS (LIST (CONS (|SPADfirst| |ep|) |lcu|))
                                      #13#)
                                . #18#)))
                        (LETT #11#
                              (PROG1 (CDR #11#) (LETT #12# (CDR #12#) . #18#))
                              . #18#)
                        #20# G191 (EXIT (NREVERSE0 #13#))))
                  . #18#)
            (LETT |ldtcf| |detcoef| . #18#)
            (LETT |lexp|
                  (PROGN
                   (LETT #10# NIL . #18#)
                   (SEQ (LETT |ep| NIL . #18#) (LETT #9# |lexp| . #18#) G190
                        (COND
                         ((OR (ATOM #9#)
                              (PROGN (LETT |ep| (CAR #9#) . #18#) NIL))
                          #19#))
                        (SEQ (EXIT (LETT #10# (CONS (CDR |ep|) #10#) . #18#)))
                        (LETT #9# (CDR #9#) . #18#) #20# G191
                        (EXIT (NREVERSE0 #10#))))
                  . #18#)
            (LETT |ndet| (LENGTH |factlist|) . #18#) (LETT |changed| 'T . #18#)
            (LETT |ltochange| NIL . #18#) (LETT |ltodel| NIL . #18#)
            (SEQ G190
                 (COND
                  ((NULL
                    (COND (|changed| (COND ((EQL |ndet| 1) 'NIL) ('T 'T)))
                          ('T 'NIL)))
                   #19#))
                 (SEQ (LETT |changed| 'NIL . #18#)
                      (LETT |dt| (LENGTH |tablecoef|) . #18#)
                      (SEQ (LETT |i| 1 . #18#) G190
                           (COND
                            ((OR (QSGREATERP |i| |dt|)
                                 (NULL (COND (|changed| 'NIL) ('T 'T))))
                             #19#))
                           (SEQ
                            (LETT |cf|
                                  (|NPCOEF;check|
                                   (SPADCALL |tablecoef| |i| (QREFELT $ 26))
                                   |ulist| $)
                                  . #18#)
                            (EXIT
                             (COND ((QEQCAR |cf| 1) "next i")
                                   ('T
                                    (SEQ
                                     (LETT |ltochange| (CONS |i| |ltochange|)
                                           . #18#)
                                     (LETT |celtf| (QCDR |cf|) . #18#)
                                     (LETT |tablecoef|
                                           (|NPCOEF;modify| |tablecoef| |celtf|
                                            $)
                                           . #18#)
                                     (LETT |vpos| (QVELT |celtf| 2) . #18#)
                                     (LETT |vexp| (QVELT |celtf| 0) . #18#)
                                     (LETT |nterm|
                                           (CONS |vexp| (QVELT |celtf| 1))
                                           . #18#)
                                     (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|)
                                              . #18#)
                                        (LETT |ndet|
                                              (PROG1
                                                  (LETT #8# (- |ndet| 1)
                                                        . #18#)
                                                (|check-subtype| (>= #8# 0)
                                                                 '(|NonNegativeInteger|)
                                                                 #8#))
                                              . #18#)
                                        (EXIT
                                         (LETT |detufact|
                                               (CONS
                                                (|NPCOEF;constructp|
                                                 (SPADCALL |detcoef| |vpos|
                                                           (QREFELT $ 29))
                                                 $)
                                                |detufact|)
                                               . #18#)))))
                                     (EXIT (LETT |changed| 'T . #18#)))))))
                           (LETT |i| (QSADD1 |i|) . #18#) #20# G191 (EXIT NIL))
                      (SEQ (LETT |i| NIL . #18#) (LETT #7# |ltochange| . #18#)
                           G190
                           (COND
                            ((OR (ATOM #7#)
                                 (PROGN (LETT |i| (CAR #7#) . #18#) NIL))
                             #19#))
                           (SEQ
                            (EXIT
                             (LETT |tablecoef|
                                   (SPADCALL |tablecoef| |i| (QREFELT $ 38))
                                   . #18#)))
                           (LETT #7# (CDR #7#) . #18#) #20# G191 (EXIT NIL))
                      (EXIT (LETT |ltochange| NIL . #18#)))
                 NIL #20# G191 (EXIT NIL))
            (COND
             ((EQL |ndet| 1)
              (SEQ
               (LETT |uu|
                     (SPADCALL |u|
                               (PROGN
                                (LETT #3# NIL . #18#)
                                (SEQ (LETT |pol| NIL . #18#)
                                     (LETT #6# |detufact| . #18#) G190
                                     (COND
                                      ((OR (ATOM #6#)
                                           (PROGN
                                            (LETT |pol| (CAR #6#) . #18#)
                                            NIL))
                                       #19#))
                                     (SEQ
                                      (EXIT
                                       (PROGN
                                        (LETT #5# |pol| . #18#)
                                        (COND
                                         (#3#
                                          (LETT #4#
                                                (SPADCALL #4# #5#
                                                          (QREFELT $ 39))
                                                . #18#))
                                         ('T
                                          (PROGN
                                           (LETT #4# #5# . #18#)
                                           (LETT #3# 'T . #18#)))))))
                                     (LETT #6# (CDR #6#) . #18#) #20# G191
                                     (EXIT NIL))
                                (COND (#3# #4#)
                                      (#21='T (|spadConstant| $ 40))))
                               (QREFELT $ 42))
                     . #18#)
               (EXIT
                (COND
                 ((QEQCAR |uu| 1)
                  (PROGN
                   (LETT #2# (VECTOR NIL |ldtcf| |factlist| |leadlist|) . #18#)
                   (GO #2#)))
                 (#21#
                  (LETT |detufact| (CONS (QCDR |uu|) |detufact|) . #18#))))))
             (#21#
              (SEQ
               (LETT |ltodel|
                     (SPADCALL (CONS #'|NPCOEF;npcoef;SupLLR;1!0| $) |ltodel|
                               (QREFELT $ 45))
                     . #18#)
               (EXIT
                (SEQ (LETT |i| NIL . #18#) (LETT #1# |ltodel| . #18#) G190
                     (COND
                      ((OR (ATOM #1#) (PROGN (LETT |i| (CAR #1#) . #18#) NIL))
                       #19#))
                     (SEQ
                      (LETT |detcoef| (SPADCALL |detcoef| |i| (QREFELT $ 46))
                            . #18#)
                      (LETT |factlist| (SPADCALL |factlist| |i| (QREFELT $ 48))
                            . #18#)
                      (EXIT
                       (LETT |leadlist|
                             (SPADCALL |leadlist| |i| (QREFELT $ 49)) . #18#)))
                     (LETT #1# (CDR #1#) . #18#) #20# G191 (EXIT NIL))))))
            (EXIT (VECTOR |detufact| |detcoef| |factlist| |leadlist|))))
      #2# (EXIT #2#))))) 

(DEFUN |NPCOEF;npcoef;SupLLR;1!0| (|n1| |n2| $)
  (SPADCALL |n2| |n1| (QREFELT $ 43))) 

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

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

(DEFUN |NPCOEF;buildtable| (|vu| |lvect| |leadlist| $)
  (PROG (|table| |i| |partialv| |prelim| #1=#:G785 |e| #2=#:G784 #3=#:G783 |lv|
         #4=#:G782 |degu| #5=#:G774 |nfact|)
    (RETURN
     (SEQ (LETT |nfact| (LENGTH |leadlist|) . #6=(|NPCOEF;buildtable|))
          (LETT |table| NIL . #6#)
          (LETT |degu|
                (PROG1 (LETT #5# (- (QVSIZE |vu|) 1) . #6#)
                  (|check-subtype| (>= #5# 0) '(|NonNegativeInteger|) #5#))
                . #6#)
          (LETT |prelim|
                (PROGN
                 (LETT #4# NIL . #6#)
                 (SEQ (LETT |lv| NIL . #6#) (LETT #3# |lvect| . #6#) G190
                      (COND
                       ((OR (ATOM #3#) (PROGN (LETT |lv| (CAR #3#) . #6#) NIL))
                        #7=(GO G191)))
                      (SEQ
                       (EXIT
                        (LETT #4#
                              (CONS
                               (PROGN
                                (LETT #2# NIL . #6#)
                                (SEQ (LETT |e| NIL . #6#) (LETT #1# |lv| . #6#)
                                     G190
                                     (COND
                                      ((OR (ATOM #1#)
                                           (PROGN
                                            (LETT |e| (CAR #1#) . #6#)
                                            NIL))
                                       #7#))
                                     (SEQ
                                      (EXIT
                                       (LETT #2#
                                             (CONS
                                              (CONS |e| (|spadConstant| $ 55))
                                              #2#)
                                             . #6#)))
                                     (LETT #1# (CDR #1#) . #6#) #8=(GO G190)
                                     G191 (EXIT (NREVERSE0 #2#))))
                               #4#)
                              . #6#)))
                      (LETT #3# (CDR #3#) . #6#) #8# G191
                      (EXIT (NREVERSE0 #4#))))
                . #6#)
          (SEQ (LETT |i| 1 . #6#) G190 (COND ((QSGREATERP |i| |nfact|) #7#))
               (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|) . #6#) #8# G191 (EXIT NIL))
          (LETT |partialv| (SPADCALL |nfact| NIL (QREFELT $ 62)) . #6#)
          (LETT |partialv| (|NPCOEF;buildvect| |prelim| |degu| $) . #6#)
          (SEQ (LETT |i| 1 . #6#) G190 (COND ((QSGREATERP |i| |degu|) #7#))
               (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|)
                         . #6#)))))
               (LETT |i| (QSADD1 |i|) . #6#) #8# G191 (EXIT NIL))
          (EXIT |table|))))) 

(DEFUN |NPCOEF;modify| (|tablecoef| |cfter| $)
  (PROG (|lterase| |ctdet| #1=#:G840 |i| #2=#:G822 #3=#:G821 #4=#:G823
         #5=#:G839 |cc| |k| #6=#:G820 #7=#:G815 #8=#:G814 #9=#:G816 #10=#:G838
         #11=#:G837 |celt| #12=#:G812 #13=#:G811 #14=#:G813 #15=#:G836 |term|
         #16=#:G835 |cterm| |cfpos| |cfcoef| |cfexp|)
    (RETURN
     (SEQ (LETT |cfexp| (QVELT |cfter| 0) . #17=(|NPCOEF;modify|))
          (LETT |cfcoef| (QVELT |cfter| 1) . #17#)
          (LETT |cfpos| (QVELT |cfter| 2) . #17#) (LETT |lterase| NIL . #17#)
          (SEQ (LETT |cterm| NIL . #17#) (LETT #16# |tablecoef| . #17#) G190
               (COND
                ((OR (ATOM #16#) (PROGN (LETT |cterm| (CAR #16#) . #17#) NIL))
                 #18=(GO G191)))
               (SEQ
                (EXIT
                 (COND
                  ((COND ((NULL (LETT |ctdet| (QCDR |cterm|) . #17#)) 'NIL)
                         ('T 'T))
                   (COND
                    ((<
                      (PROGN
                       (LETT #12# NIL . #17#)
                       (SEQ (LETT |term| NIL . #17#)
                            (LETT #15# (|SPADfirst| |ctdet|) . #17#) G190
                            (COND
                             ((OR (ATOM #15#)
                                  (PROGN (LETT |term| (CAR #15#) . #17#) NIL))
                              #18#))
                            (SEQ
                             (EXIT
                              (PROGN
                               (LETT #14# (QCAR |term|) . #17#)
                               (COND (#12# (LETT #13# (+ #13# #14#) . #17#))
                                     ('T
                                      (PROGN
                                       (LETT #13# #14# . #17#)
                                       (LETT #12# 'T . #17#)))))))
                            (LETT #15# (CDR #15#) . #17#) #19=(GO G190) G191
                            (EXIT NIL))
                       (COND (#12# #13#) ('T 0)))
                      |cfexp|)
                     "next term")
                    ('T
                     (SEQ
                      (SEQ (LETT |celt| NIL . #17#) (LETT #11# |ctdet| . #17#)
                           G190
                           (COND
                            ((OR (ATOM #11#)
                                 (PROGN (LETT |celt| (CAR #11#) . #17#) NIL))
                             #18#))
                           (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 #7# NIL . #17#)
                                    (SEQ (LETT |cc| NIL . #17#)
                                         (LETT #10# |celt| . #17#) G190
                                         (COND
                                          ((OR (ATOM #10#)
                                               (PROGN
                                                (LETT |cc| (CAR #10#) . #17#)
                                                NIL))
                                           #18#))
                                         (SEQ
                                          (EXIT
                                           (PROGN
                                            (LETT #9#
                                                  (COND
                                                   ((SPADCALL (QCDR |cc|)
                                                              (|spadConstant| $
                                                                              55)
                                                              (QREFELT $ 56))
                                                    'NIL)
                                                   ('T 'T))
                                                  . #17#)
                                            (COND
                                             (#7#
                                              (LETT #8#
                                                    (COND (#8# #9#) ('T 'NIL))
                                                    . #17#))
                                             ('T
                                              (PROGN
                                               (LETT #8# #9# . #17#)
                                               (LETT #7# 'T . #17#)))))))
                                         (LETT #10# (CDR #10#) . #17#) #19#
                                         G191 (EXIT NIL))
                                    (COND (#7# #8#) ('T 'T)))
                                   (SEQ
                                    (LETT |k|
                                          (PROG1
                                              (LETT #6#
                                                    (SPADCALL |celt| |ctdet|
                                                              (QREFELT $ 67))
                                                    . #17#)
                                            (|check-subtype| (>= #6# 0)
                                                             '(|NonNegativeInteger|)
                                                             #6#))
                                          . #17#)
                                    (LETT |lterase| (CONS |k| |lterase|)
                                          . #17#)
                                    (EXIT
                                     (PROGN
                                      (RPLACA |cterm|
                                              (SPADCALL (QCAR |cterm|)
                                                        (PROGN
                                                         (LETT #2# NIL . #17#)
                                                         (SEQ
                                                          (LETT |cc| NIL
                                                                . #17#)
                                                          (LETT #5# |celt|
                                                                . #17#)
                                                          G190
                                                          (COND
                                                           ((OR (ATOM #5#)
                                                                (PROGN
                                                                 (LETT |cc|
                                                                       (CAR
                                                                        #5#)
                                                                       . #17#)
                                                                 NIL))
                                                            #18#))
                                                          (SEQ
                                                           (EXIT
                                                            (PROGN
                                                             (LETT #4#
                                                                   (QCDR |cc|)
                                                                   . #17#)
                                                             (COND
                                                              (#2#
                                                               (LETT #3#
                                                                     (SPADCALL
                                                                      #3# #4#
                                                                      (QREFELT
                                                                       $ 57))
                                                                     . #17#))
                                                              ('T
                                                               (PROGN
                                                                (LETT #3# #4#
                                                                      . #17#)
                                                                (LETT #2# 'T
                                                                      . #17#)))))))
                                                          (LETT #5# (CDR #5#)
                                                                . #17#)
                                                          #19# G191 (EXIT NIL))
                                                         (COND (#2# #3#)
                                                               ('T
                                                                (|spadConstant|
                                                                 $ 52))))
                                                        (QREFELT $ 68)))
                                      (QCAR |cterm|))))))))))))
                           (LETT #11# (CDR #11#) . #17#) #19# G191 (EXIT NIL))
                      (EXIT
                       (COND
                        ((NULL (NULL |lterase|))
                         (SEQ
                          (LETT |lterase|
                                (SPADCALL (CONS #'|NPCOEF;modify!0| $)
                                          |lterase| (QREFELT $ 45))
                                . #17#)
                          (SEQ (LETT |i| NIL . #17#)
                               (LETT #1# |lterase| . #17#) G190
                               (COND
                                ((OR (ATOM #1#)
                                     (PROGN (LETT |i| (CAR #1#) . #17#) NIL))
                                 #18#))
                               (SEQ
                                (EXIT
                                 (LETT |ctdet|
                                       (SPADCALL |ctdet| |i| (QREFELT $ 46))
                                       . #17#)))
                               (LETT #1# (CDR #1#) . #17#) #19# G191
                               (EXIT NIL))
                          (PROGN (RPLACD |cterm| |ctdet|) (QCDR |cterm|))
                          (EXIT (LETT |lterase| NIL . #17#)))))))))))))
               (LETT #16# (CDR #16#) . #17#) #19# G191 (EXIT NIL))
          (EXIT |tablecoef|))))) 

(DEFUN |NPCOEF;modify!0| (|n1| |n2| $) (SPADCALL |n2| |n1| (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 (#1=#:G844 #2=#:G843 #3=#:G845 #4=#:G847 |term|)
    (RETURN
     (SEQ
      (PROGN
       (LETT #1# NIL . #5=(|NPCOEF;constructp|))
       (SEQ (LETT |term| NIL . #5#) (LETT #4# |lterm| . #5#) G190
            (COND
             ((OR (ATOM #4#) (PROGN (LETT |term| (CAR #4#) . #5#) NIL))
              (GO G191)))
            (SEQ
             (EXIT
              (PROGN
               (LETT #3# (SPADCALL (QCDR |term|) (QCAR |term|) (QREFELT $ 71))
                     . #5#)
               (COND (#1# (LETT #2# (SPADCALL #2# #3# (QREFELT $ 72)) . #5#))
                     ('T (PROGN (LETT #2# #3# . #5#) (LETT #1# 'T . #5#)))))))
            (LETT #4# (CDR #4#) . #5#) (GO G190) G191 (EXIT NIL))
       (COND (#1# #2#) ('T (|spadConstant| $ 73)))))))) 

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

(DEFUN |NPCoef;| (|#1| |#2| |#3| |#4| |#5|)
  (PROG (|pv$| $ |dv$| DV$5 DV$4 DV$3 DV$2 DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|NPCoef|))
      (LETT DV$2 (|devaluate| |#2|) . #1#)
      (LETT DV$3 (|devaluate| |#3|) . #1#)
      (LETT DV$4 (|devaluate| |#4|) . #1#)
      (LETT DV$5 (|devaluate| |#5|) . #1#)
      (LETT |dv$| (LIST '|NPCoef| DV$1 DV$2 DV$3 DV$4 DV$5) . #1#)
      (LETT $ (GETREFV 74) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|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|)) 
