
(/VERSIONCHECK 2) 

(DEFUN |NBLM;naiveBeckermannLabahn;VVNniIL;1| (|vp| |vn| |sigma| |prime| $)
  (SPADCALL |vp| |vn| |sigma| |prime|
            (CONS #'|NBLM;naiveBeckermannLabahn;VVNniIL;1!0| $)
            (CONS #'|NBLM;naiveBeckermannLabahn;VVNniIL;1!1| $)
            (CONS #'|NBLM;naiveBeckermannLabahn;VVNniIL;1!2| $) (QREFELT $ 14))) 

(DEFUN |NBLM;naiveBeckermannLabahn;VVNniIL;1!2| (|x| |pt| |p| $)
  (|NBLM;vector_shift| |x| $)) 

(DEFUN |NBLM;naiveBeckermannLabahn;VVNniIL;1!1| (|x| |pt| |p| $)
  (|NBLM;vector_shift| |x| $)) 

(DEFUN |NBLM;naiveBeckermannLabahn;VVNniIL;1!0| (|x| $) (|spadConstant| $ 7)) 

(DEFUN |NBLM;naiveBeckermannLabahn;VVNniIL;2| (|vp| |vn| |sigma| |prime| $)
  (SPADCALL |vp| |vn| |sigma| |prime|
            (CONS #'|NBLM;naiveBeckermannLabahn;VVNniIL;2!0| $)
            (CONS #'|NBLM;naiveBeckermannLabahn;VVNniIL;2!1| $)
            (CONS #'|NBLM;naiveBeckermannLabahn;VVNniIL;2!2| $) (QREFELT $ 17))) 

(DEFUN |NBLM;naiveBeckermannLabahn;VVNniIL;2!2| (|x| |pt| |p| $)
  (|NBLM;vector_shift| |x| $)) 

(DEFUN |NBLM;naiveBeckermannLabahn;VVNniIL;2!1| (|x| |pt| |p| $)
  (|NBLM;vector_shift| |x| $)) 

(DEFUN |NBLM;naiveBeckermannLabahn;VVNniIL;2!0| (|x| $) (|spadConstant| $ 7)) 

(DEFUN |NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;3|
       (|vp| |vn| |pts| |prime| $)
  (PROG ()
    (RETURN
     (SPADCALL |vp| |vn| (QV32LEN |pts|) |prime|
               (CONS #'|NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;3!0|
                     (VECTOR $ |pts| |prime|))
               (CONS #'|NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;3!1|
                     (VECTOR $ |pts|))
               (ELT $ 23) (QREFELT $ 14))))) 

(DEFUN |NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;3!1| (|x| |pt| |p| $$)
  (PROG (|pts| $)
    (LETT |pts| (QREFELT $$ 1)
          . #1=(|NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;3|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (|NBLM;mul_by_binomial_pointwise| |x| |pt| |pts| |p| $))))) 

(DEFUN |NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;3!0| (|x| $$)
  (PROG (|prime| |pts| $)
    (LETT |prime| (QREFELT $$ 2)
          . #1=(|NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;3|))
    (LETT |pts| (QREFELT $$ 1) . #1#)
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN (QSDIFFERENCE |prime| (SPADCALL |pts| |x| (QREFELT $ 20))))))) 

(DEFUN |NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;4|
       (|vp| |vn| |pts| |prime| $)
  (PROG ()
    (RETURN
     (SPADCALL |vp| |vn| (QV32LEN |pts|) |prime|
               (CONS #'|NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;4!0|
                     (VECTOR $ |pts| |prime|))
               (CONS #'|NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;4!1|
                     (VECTOR $ |pts|))
               (ELT $ 23) (QREFELT $ 17))))) 

(DEFUN |NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;4!1| (|x| |pt| |p| $$)
  (PROG (|pts| $)
    (LETT |pts| (QREFELT $$ 1)
          . #1=(|NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;4|))
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN (PROGN (|NBLM;mul_by_binomial_pointwise| |x| |pt| |pts| |p| $))))) 

(DEFUN |NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;4!0| (|x| $$)
  (PROG (|prime| |pts| $)
    (LETT |prime| (QREFELT $$ 2)
          . #1=(|NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;4|))
    (LETT |pts| (QREFELT $$ 1) . #1#)
    (LETT $ (QREFELT $$ 0) . #1#)
    (RETURN
     (PROGN (QSDIFFERENCE |prime| (SPADCALL |pts| |x| (QREFELT $ 20))))))) 

(DEFUN |NBLM;naiveBeckermannLabahn1;VVNniIM2ML;5|
       (|vp| |vn| |sigma| |prime| |pts| |up_residual| |up_poly| $)
  (PROG (|p| |l| |vk| |k| |vpa| #1=#:G1828 |m|)
    (RETURN
     (SEQ
      (COND
       ((NULL
         (EQL
          (LETT |m| (QVSIZE |vp|)
                . #2=(|NBLM;naiveBeckermannLabahn1;VVNniIM2ML;5|))
          (QVSIZE |vn|)))
        (|error| "Number of polynomials and number of degrees do not agree"))
       ('T
        (SEQ
         (LETT |vpa|
               (SPADCALL
                (PROGN
                 (LETT #1# NIL . #2#)
                 (SEQ (LETT |k| 1 . #2#) G190
                      (COND ((QSGREATERP |k| |m|) #3=(GO G191)))
                      (SEQ
                       (EXIT
                        (LETT #1# (CONS (GETREFV32 |sigma| 0) #1#) . #2#)))
                      (LETT |k| (QSADD1 |k|) . #2#) #4=(GO G190) G191
                      (EXIT (NREVERSE0 #1#))))
                (QREFELT $ 27))
               . #2#)
         (SEQ (LETT |k| 1 . #2#) G190 (COND ((QSGREATERP |k| |m|) #3#))
              (SEQ (LETT |p| (SPADCALL |vp| |k| (QREFELT $ 29)) . #2#)
                   (LETT |vk| (SPADCALL |vpa| |k| (QREFELT $ 30)) . #2#)
                   (EXIT
                    (SEQ G190
                         (COND
                          ((NULL
                            (COND ((SPADCALL |p| (QREFELT $ 32)) 'NIL)
                                  ('T 'T)))
                           #3#))
                         (SEQ (LETT |l| (SPADCALL |p| (QREFELT $ 33)) . #2#)
                              (COND
                               ((< |l| |sigma|)
                                (SETELT32 |vk| |l|
                                          (SPADCALL |p| (QREFELT $ 34)))))
                              (EXIT
                               (LETT |p| (SPADCALL |p| (QREFELT $ 35)) . #2#)))
                         NIL #4# G191 (EXIT NIL))))
              (LETT |k| (QSADD1 |k|) . #2#) #4# G191 (EXIT NIL))
         (EXIT
          (SPADCALL |vpa| |vn| |sigma| |prime| |pts| |up_residual| |up_poly|
                    (QREFELT $ 17)))))))))) 

(DEFUN |NBLM;naiveBeckermannLabahn1;VVNniIM2ML;6|
       (|vpa| |vn| |sigma| |prime| |pts| |up_residual| |up_poly| $)
  (PROG (|vd| |k| #1=#:G1836 |m2| |vk| |mp| |m1| |m|)
    (RETURN
     (SEQ
      (COND
       ((NULL
         (EQL
          (LETT |m| (QVSIZE |vpa|)
                . #2=(|NBLM;naiveBeckermannLabahn1;VVNniIM2ML;6|))
          (QVSIZE |vn|)))
        (|error| "Number of polynomials and number of degrees do not agree"))
       ('T
        (SEQ (LETT |m1| 0 . #2#)
             (SEQ (LETT |k| 1 . #2#) G190
                  (COND ((QSGREATERP |k| |m|) #3=(GO G191)))
                  (SEQ
                   (EXIT
                    (LETT |m1|
                          (+ (+ |m1| (SPADCALL |vn| |k| (QREFELT $ 36))) 1)
                          . #2#)))
                  (LETT |k| (QSADD1 |k|) . #2#) #4=(GO G190) G191 (EXIT NIL))
             (LETT |mp| (MAKEARR1 |m| (GETREFV32 0 0)) . #2#)
             (LETT |m2| 0 . #2#)
             (SEQ (LETT |k| 1 . #2#) G190 (COND ((QSGREATERP |k| |m|) #3#))
                  (SEQ (SPADCALL |mp| |k| (GETREFV32 |m1| 0) (QREFELT $ 37))
                       (LETT |vk| (SPADCALL |mp| |k| (QREFELT $ 30)) . #2#)
                       (SETELT32 |vk| |m2| 1)
                       (EXIT
                        (LETT |m2|
                              (+ (+ |m2| (SPADCALL |vn| |k| (QREFELT $ 36))) 1)
                              . #2#)))
                  (LETT |k| (QSADD1 |k|) . #2#) #4# G191 (EXIT NIL))
             (LETT |vd|
                   (SPADCALL
                    (PROGN
                     (LETT #1# NIL . #2#)
                     (SEQ (LETT |k| 1 . #2#) G190
                          (COND ((QSGREATERP |k| |m|) #3#))
                          (SEQ
                           (EXIT
                            (LETT #1#
                                  (CONS (SPADCALL |vn| |k| (QREFELT $ 36)) #1#)
                                  . #2#)))
                          (LETT |k| (QSADD1 |k|) . #2#) #4# G191
                          (EXIT (NREVERSE0 #1#))))
                    (QREFELT $ 39))
                   . #2#)
             (SPADCALL |mp| |vpa| |vd| |sigma| |prime| |pts| |up_residual|
                       |up_poly| (QREFELT $ 40))
             (EXIT
              (LIST (SPADCALL |mp| (QREFELT $ 43))
                    (SPADCALL |vpa| (QREFELT $ 43))
                    (SPADCALL |vd| (QREFELT $ 45))))))))))) 

(DEFUN |NBLM;vector_shift| (|v| $)
  (PROG (|i| |n|)
    (RETURN
     (SEQ (LETT |n| (QV32LEN |v|) . #1=(|NBLM;vector_shift|))
          (LETT |i| (SPADCALL (- |n| 1) (QREFELT $ 47)) . #1#)
          (SEQ G190 (COND ((NULL (QSLESSP 0 |i|)) (GO G191)))
               (SEQ (SETELT32 |v| |i| (ELT32 |v| (QSDIFFERENCE |i| 1)))
                    (EXIT (LETT |i| (QSDIFFERENCE |i| 1) . #1#)))
               NIL (GO G190) G191 (EXIT NIL))
          (EXIT (SETELT32 |v| 0 0)))))) 

(DEFUN |NBLM;mul_by_binomial_pointwise| (|v| |pt| |pts| |p| $)
  (PROG (|pp| #1=#:G1845 |i| |n|)
    (RETURN
     (SEQ (LETT |n| (QV32LEN |v|) . #2=(|NBLM;mul_by_binomial_pointwise|))
          (EXIT
           (SEQ (LETT |i| 0 . #2#) (LETT #1# (- |n| 1) . #2#) G190
                (COND ((QSGREATERP |i| #1#) (GO G191)))
                (SEQ (LETT |pp| (QSADDMOD (ELT32 |pts| |i|) |pt| |p|) . #2#)
                     (EXIT
                      (SETELT32 |v| |i|
                                (QSMULMOD32 (ELT32 |v| |i|) |pp| |p|))))
                (LETT |i| (QSADD1 |i|) . #2#) (GO G190) G191 (EXIT NIL))))))) 

(DEFUN |NBLM;naiveBeckermannLabahn0;2VVNniIM2MV;9|
       (|mp| |vp| |vd| |sigma| |p| |pts| |up_residual| |up_poly| $)
  (PROG (|vckinv| |k| |vcinv| |maxd| |cpi| |pi| |pt| #1=#:G1862 #2=#:G1847 |l|
         |s1| |m1| |vc| |m|)
    (RETURN
     (SEQ
      (LETT |m| (QVSIZE |vd|)
            . #3=(|NBLM;naiveBeckermannLabahn0;2VVNniIM2MV;9|))
      (LETT |vc| (MAKEARR1 |m| 0) . #3#)
      (LETT |m1| (- (QV32LEN (SPADCALL |mp| 1 (QREFELT $ 30))) 1) . #3#)
      (LETT |s1| (- |sigma| 1) . #3#)
      (EXIT
       (SEQ (LETT |l| 0 . #3#)
            (LETT #1#
                  (PROG1 (LETT #2# |s1| . #3#)
                    (|check-subtype| (>= #2# 0) '(|NonNegativeInteger|) #2#))
                  . #3#)
            G190 (COND ((QSGREATERP |l| #1#) #4=(GO G191)))
            (SEQ (LETT |pt| (SPADCALL |l| |pts|) . #3#) (LETT |maxd| -1 . #3#)
                 (LETT |pi| 0 . #3#)
                 (SEQ (LETT |k| 1 . #3#) G190 (COND ((QSGREATERP |k| |m|) #4#))
                      (SEQ
                       (SPADCALL |vc| |k|
                                 (ELT32 (SPADCALL |vp| |k| (QREFELT $ 30)) |l|)
                                 (QREFELT $ 48))
                       (EXIT
                        (COND
                         ((NULL (EQL (SPADCALL |vc| |k| (QREFELT $ 36)) 0))
                          (COND
                           ((< |maxd| (SPADCALL |vd| |k| (QREFELT $ 36)))
                            (SEQ (LETT |pi| |k| . #3#)
                                 (LETT |cpi| (SPADCALL |vc| |k| (QREFELT $ 36))
                                       . #3#)
                                 (EXIT
                                  (LETT |maxd|
                                        (SPADCALL |vd| |k| (QREFELT $ 36))
                                        . #3#)))))))))
                      (LETT |k| (QSADD1 |k|) . #3#) #5=(GO G190) G191
                      (EXIT NIL))
                 (EXIT
                  (COND ((EQL |pi| 0) "iterate")
                        ('T
                         (SEQ
                          (LETT |vcinv|
                                (QSMULMOD32 (- |p| 1)
                                            (SPADCALL
                                             (SPADCALL |vc| |pi|
                                                       (QREFELT $ 36))
                                             |p| (QREFELT $ 49))
                                            |p|)
                                . #3#)
                          (SEQ (LETT |k| 1 . #3#) G190
                               (COND ((QSGREATERP |k| |m|) #4#))
                               (SEQ
                                (EXIT
                                 (COND
                                  ((NULL
                                    (EQL (SPADCALL |vc| |k| (QREFELT $ 36)) 0))
                                   (COND
                                    ((NULL
                                      (< (SPADCALL |vd| |k| (QREFELT $ 36)) 0))
                                     (COND
                                      ((NULL (EQL |k| |pi|))
                                       (SEQ
                                        (LETT |vckinv|
                                              (QSMULMOD32 |vcinv|
                                                          (SPADCALL |vc| |k|
                                                                    (QREFELT $
                                                                             36))
                                                          |p|)
                                              . #3#)
                                        (SPADCALL
                                         (SPADCALL |vp| |k| (QREFELT $ 30))
                                         (SPADCALL |vp| |pi| (QREFELT $ 30))
                                         |l| |s1| |vckinv| |p| (QREFELT $ 50))
                                        (EXIT
                                         (SPADCALL (QAREF1O |mp| |k| 1)
                                                   (QAREF1O |mp| |pi| 1) 0 |m1|
                                                   |vckinv| |p|
                                                   (QREFELT $ 50))))))))))))
                               (LETT |k| (QSADD1 |k|) . #3#) #5# G191
                               (EXIT NIL))
                          (SPADCALL |vd| |pi|
                                    (- (SPADCALL |vd| |pi| (QREFELT $ 36)) 1)
                                    (QREFELT $ 48))
                          (EXIT
                           (COND
                            ((NULL (< (SPADCALL |vd| |pi| (QREFELT $ 36)) 0))
                             (SEQ
                              (SPADCALL (SPADCALL |vp| |pi| (QREFELT $ 30))
                                        |pt| |p| |up_residual|)
                              (EXIT
                               (SPADCALL (QAREF1O |mp| |pi| 1) |pt| |p|
                                         |up_poly|)))))))))))
            (LETT |l| (QSADD1 |l|) . #3#) #5# G191 (EXIT NIL))))))) 

(DEFUN |NBLM;critical_index| (|m| |i| |d| |vn| $)
  (PROG (#1=#:G1863 #2=#:G1867 |pa| |nj| |j| |nc|)
    (RETURN
     (SEQ
      (EXIT
       (SEQ (LETT |nc| (QVSIZE |vn|) . #3=(|NBLM;critical_index|))
            (SEQ (LETT |j| 1 . #3#) G190
                 (COND ((QSGREATERP |j| |nc|) (GO G191)))
                 (SEQ
                  (LETT |nj| (- (SPADCALL |vn| |j| (QREFELT $ 36)) |d|) . #3#)
                  (EXIT
                   (COND ((< |nj| 0) "iterate")
                         ('T
                          (SEQ
                           (EXIT
                            (SEQ (LETT |pa| (QAREF2O |m| |i| |j| 1 1) . #3#)
                                 (EXIT
                                  (COND
                                   ((NULL (EQL (ELT32 |pa| |nj|) 0))
                                    (PROGN
                                     (LETT #1#
                                           (PROGN
                                            (LETT #2# |j| . #3#)
                                            (GO #2#))
                                           . #3#)
                                     (GO #1#)))))))
                           #1# (EXIT #1#))))))
                 (LETT |j| (QSADD1 |j|) . #3#) (GO G190) G191 (EXIT NIL))
            (EXIT (|error| "Incorrect defect"))))
      #2# (EXIT #2#))))) 

(DEFUN |NBLM;swap_rows| (|m| |i| |j| $)
  (PROG (|tmp| |mp|)
    (RETURN
     (SEQ
      (COND ((EQL |i| |j|) "nothing")
            ('T
             (SEQ (LETT |mp| |m| . #1=(|NBLM;swap_rows|))
                  (LETT |tmp| (QAREF1 |mp| (- |i| 1)) . #1#)
                  (QSETAREF1 |mp| (- |i| 1) (QAREF1 |mp| (- |j| 1)))
                  (EXIT (QSETAREF1 |mp| (- |j| 1) |tmp|))))))))) 

(DEFUN |NBLM;mult_vector| (|v| |c| |p| $)
  (PROG (#1=#:G1873 |i| |n|)
    (RETURN
     (SEQ (LETT |n| (QV32LEN |v|) . #2=(|NBLM;mult_vector|))
          (EXIT
           (SEQ (LETT |i| 0 . #2#) (LETT #1# (- |n| 1) . #2#) G190
                (COND ((QSGREATERP |i| #1#) (GO G191)))
                (SEQ
                 (EXIT
                  (SETELT32 |v| |i| (QSMULMOD32 |c| (ELT32 |v| |i|) |p|))))
                (LETT |i| (QSADD1 |i|) . #2#) (GO G190) G191 (EXIT NIL))))))) 

(DEFUN |NBLM;mult_row| (|r| |c| |p| $)
  (PROG (#1=#:G1877 |i| |m|)
    (RETURN
     (SEQ (LETT |m| (QVSIZE |r|) . #2=(|NBLM;mult_row|))
          (EXIT
           (SEQ (LETT |i| 0 . #2#) (LETT #1# (- |m| 1) . #2#) G190
                (COND ((QSGREATERP |i| #1#) (GO G191)))
                (SEQ (EXIT (|NBLM;mult_vector| (QAREF1 |r| |i|) |c| |p| $)))
                (LETT |i| (QSADD1 |i|) . #2#) (GO G190) G191 (EXIT NIL))))))) 

(DEFUN |NBLM;add_vector| (|v1| |v2| |c| |k| |p| $)
  (PROG (#1=#:G1881 |i| |n|)
    (RETURN
     (SEQ (LETT |n| (QV32LEN |v1|) . #2=(|NBLM;add_vector|))
          (EXIT
           (SEQ (LETT |i| |k| . #2#) (LETT #1# (- |n| 1) . #2#) G190
                (COND ((> |i| #1#) (GO G191)))
                (SEQ
                 (EXIT
                  (SETELT32 |v1| |i|
                            (QSMULADDMOD64-32 |c| (ELT32 |v2| (- |i| |k|))
                                              (ELT32 |v1| |i|) |p|))))
                (LETT |i| (+ |i| 1) . #2#) (GO G190) G191 (EXIT NIL))))))) 

(DEFUN |NBLM;add_row| (|r1| |r2| |c| |k| |p| $)
  (PROG (#1=#:G1885 |i| |m|)
    (RETURN
     (SEQ (LETT |m| (QVSIZE |r1|) . #2=(|NBLM;add_row|))
          (EXIT
           (SEQ (LETT |i| 0 . #2#) (LETT #1# (- |m| 1) . #2#) G190
                (COND ((QSGREATERP |i| #1#) (GO G191)))
                (SEQ
                 (EXIT
                  (|NBLM;add_vector| (QAREF1 |r1| |i|) (QAREF1 |r2| |i|) |c|
                   |k| |p| $)))
                (LETT |i| (QSADD1 |i|) . #2#) (GO G190) G191 (EXIT NIL))))))) 

(DEFUN |NBLM;reduce_row_by_row1| (|rj| |ri| |ci| |cdeg| |vdiff| |p| $)
  (PROG (|c| |k| |rj0|)
    (RETURN
     (SEQ
      (LETT |rj0| (QAREF1 |rj| (- |ci| 1)) . #1=(|NBLM;reduce_row_by_row1|))
      (EXIT
       (COND
        ((< |vdiff| 0)
         (|error| "Internal error : vdiff < 0 in reduce_row_by_row1"))
        ('T
         (SEQ (LETT |k| (+ |vdiff| |cdeg|) . #1#)
              (LETT |c| (ELT32 |rj0| |k|) . #1#)
              (EXIT
               (COND
                ((NULL (EQL |c| 0))
                 (|NBLM;add_row| |rj| |ri| (- |p| |c|) |vdiff| |p| $)))))))))))) 

(DEFUN |NBLM;top_reduce_by_row| (|m| |i| |ci| |vn| |vd| |p| $)
  (PROG (|j| |minv| |mcoeff| |cdeg| |mdeg| |ri| |mp| |nr|)
    (RETURN
     (SEQ (LETT |nr| (QVSIZE |vd|) . #1=(|NBLM;top_reduce_by_row|))
          (LETT |mp| |m| . #1#) (LETT |ri| (QAREF1 |mp| (- |i| 1)) . #1#)
          (LETT |mdeg| (SPADCALL |vn| |ci| (QREFELT $ 36)) . #1#)
          (LETT |cdeg| (- |mdeg| (SPADCALL |vd| |i| (QREFELT $ 36))) . #1#)
          (LETT |mcoeff| (ELT32 (QAREF1 |ri| (- |ci| 1)) |cdeg|) . #1#)
          (LETT |minv| (SPADCALL |mcoeff| |p| (QREFELT $ 49)) . #1#)
          (|NBLM;mult_row| |ri| |minv| |p| $)
          (EXIT
           (SEQ (LETT |j| (+ |i| 1) . #1#) G190 (COND ((> |j| |nr|) (GO G191)))
                (SEQ
                 (EXIT
                  (|NBLM;reduce_row_by_row1| (QAREF1 |mp| (- |j| 1)) |ri| |ci|
                   |cdeg|
                   (- (SPADCALL |vd| |i| (QREFELT $ 36))
                      (SPADCALL |vd| |j| (QREFELT $ 36)))
                   |p| $)))
                (LETT |j| (+ |j| 1) . #1#) (GO G190) G191 (EXIT NIL))))))) 

(DEFUN |NBLM;final_reduce| (|m| |civ| |vn| |vd| |p| $)
  (PROG (|ci| |ri| #1=#:G1894 |vdi| |i| #2=#:G1900 |d| |rj| |vdj| |j| |mp|
         |mvd| |ns|)
    (RETURN
     (SEQ (LETT |ns| (QVSIZE |vd|) . #3=(|NBLM;final_reduce|))
          (LETT |mvd| (SPADCALL |vd| 1 (QREFELT $ 36)) . #3#)
          (LETT |mp| |m| . #3#)
          (EXIT
           (SEQ (LETT |j| 1 . #3#) G190
                (COND ((QSGREATERP |j| |ns|) #4=(GO G191)))
                (SEQ (LETT |vdj| (SPADCALL |vd| |j| (QREFELT $ 36)) . #3#)
                     (LETT |rj| (QAREF1 |mp| (- |j| 1)) . #3#)
                     (EXIT
                      (SEQ (LETT |d| 0 . #3#) (LETT #2# (- |mvd| |vdj|) . #3#)
                           G190 (COND ((QSGREATERP |d| #2#) #4#))
                           (SEQ
                            (EXIT
                             (SEQ (LETT |i| 1 . #3#) G190
                                  (COND ((QSGREATERP |i| |ns|) #4#))
                                  (SEQ
                                   (EXIT
                                    (COND ((EQL |i| |j|) "iterate")
                                          ('T
                                           (SEQ
                                            (LETT |vdi|
                                                  (SPADCALL |vd| |i|
                                                            (QREFELT $ 36))
                                                  . #3#)
                                            (EXIT
                                             (COND
                                              ((< |vdi| (+ |vdj| |d|))
                                               (PROGN
                                                (LETT #1# |$NoValue| . #3#)
                                                (GO #1#)))
                                              ('T
                                               (SEQ
                                                (LETT |ri|
                                                      (QAREF1 |mp| (- |i| 1))
                                                      . #3#)
                                                (LETT |ci|
                                                      (SPADCALL |civ| |i|
                                                                (QREFELT $ 36))
                                                      . #3#)
                                                (EXIT
                                                 (|NBLM;reduce_row_by_row1|
                                                  |rj| |ri| |ci|
                                                  (-
                                                   (SPADCALL |vn| |ci|
                                                             (QREFELT $ 36))
                                                   |vdi|)
                                                  |d| |p| $)))))))))))
                                  (LETT |i| (QSADD1 |i|) . #3#) #5=(GO G190)
                                  G191 (EXIT NIL)))
                            #1# (EXIT #1#))
                           (LETT |d| (QSADD1 |d|) . #3#) #5# G191 (EXIT NIL))))
                (LETT |j| (QSADD1 |j|) . #3#) #5# G191 (EXIT NIL))))))) 

(DEFUN |NBLM;reduceBasis0;Tda2VIR;19| (|m| |vn| |vd| |p| $)
  (PROG (|tmp| |maxj| |ci| |nci| |maxd| |cd| |j| |i| |civ| |ns| |nc|)
    (RETURN
     (SEQ (LETT |nc| (QVSIZE |vn|) . #1=(|NBLM;reduceBasis0;Tda2VIR;19|))
          (LETT |ns| (QVSIZE |vd|) . #1#) (LETT |civ| (MAKEARR1 |ns| 0) . #1#)
          (SEQ (LETT |i| 1 . #1#) G190
               (COND ((QSGREATERP |i| |ns|) #2=(GO G191)))
               (SEQ (LETT |maxd| -1 . #1#)
                    (SEQ (LETT |j| |i| . #1#) G190 (COND ((> |j| |ns|) #2#))
                         (SEQ
                          (LETT |cd| (SPADCALL |vd| |j| (QREFELT $ 36)) . #1#)
                          (EXIT
                           (COND
                            ((< |maxd| |cd|)
                             (SEQ (LETT |maxd| |cd| . #1#)
                                  (LETT |ci|
                                        (|NBLM;critical_index| |m| |j| |maxd|
                                         |vn| $)
                                        . #1#)
                                  (EXIT (LETT |maxj| |j| . #1#))))
                            ((EQL |cd| |maxd|)
                             (SEQ
                              (LETT |nci|
                                    (|NBLM;critical_index| |m| |j| |maxd| |vn|
                                     $)
                                    . #1#)
                              (EXIT
                               (COND
                                ((< |nci| |ci|)
                                 (SEQ (LETT |ci| |nci| . #1#)
                                      (EXIT (LETT |maxj| |j| . #1#)))))))))))
                         (LETT |j| (+ |j| 1) . #1#) #3=(GO G190) G191
                         (EXIT NIL))
                    (|NBLM;swap_rows| |m| |i| |maxj| $)
                    (LETT |tmp| (SPADCALL |vd| |i| (QREFELT $ 36)) . #1#)
                    (SPADCALL |vd| |i| (SPADCALL |vd| |maxj| (QREFELT $ 36))
                              (QREFELT $ 48))
                    (SPADCALL |vd| |maxj| |tmp| (QREFELT $ 48))
                    (SPADCALL |civ| |i| |ci| (QREFELT $ 48))
                    (EXIT
                     (|NBLM;top_reduce_by_row| |m| |i| |ci| |vn| |vd| |p| $)))
               (LETT |i| (QSADD1 |i|) . #1#) #3# G191 (EXIT NIL))
          (|NBLM;final_reduce| |m| |civ| |vn| |vd| |p| $)
          (EXIT (VECTOR |m| |vd| |civ|)))))) 

(DEFUN |NBLM;reduceBasis;V2VIR;20| (|m| |vn| |vd| |p| $)
  (PROG (|j| |m2| #1=#:G1923 |i1| |resjk| |vnk1| |k| |mi| |i| |civ| |nvd| |res|
         |ns| |nc| |nr|)
    (RETURN
     (SEQ (LETT |nr| (QVSIZE |vd|) . #2=(|NBLM;reduceBasis;V2VIR;20|))
          (LETT |nc| (QVSIZE |vn|) . #2#) (LETT |ns| 0 . #2#)
          (SEQ (LETT |i| 1 . #2#) G190
               (COND ((QSGREATERP |i| |nr|) #3=(GO G191)))
               (SEQ
                (EXIT
                 (COND
                  ((NULL (< (SPADCALL |vd| |i| (QREFELT $ 36)) 0))
                   (LETT |ns| (+ |ns| 1) . #2#)))))
               (LETT |i| (QSADD1 |i|) . #2#) #4=(GO G190) G191 (EXIT NIL))
          (LETT |res| (SPADCALL |ns| |nc| (GETREFV32 0 0) (QREFELT $ 54))
                . #2#)
          (LETT |nvd| (MAKEARR1 |ns| 0) . #2#)
          (LETT |civ| (MAKEARR1 |ns| 0) . #2#) (LETT |j| 1 . #2#)
          (SEQ (LETT |i| 1 . #2#) G190 (COND ((QSGREATERP |i| |nr|) #3#))
               (SEQ (LETT |mi| (SPADCALL |m| |i| (QREFELT $ 30)) . #2#)
                    (LETT |m2| 0 . #2#)
                    (EXIT
                     (COND
                      ((NULL (< (SPADCALL |vd| |i| (QREFELT $ 36)) 0))
                       (SEQ
                        (SPADCALL |nvd| |j| (SPADCALL |vd| |i| (QREFELT $ 36))
                                  (QREFELT $ 48))
                        (SEQ (LETT |k| 1 . #2#) G190
                             (COND ((QSGREATERP |k| |nc|) #3#))
                             (SEQ
                              (LETT |vnk1|
                                    (+ (SPADCALL |vn| |k| (QREFELT $ 36)) 1)
                                    . #2#)
                              (LETT |resjk| (GETREFV32 |vnk1| 0) . #2#)
                              (SEQ (LETT |i1| 0 . #2#)
                                   (LETT #1# (QSDIFFERENCE |vnk1| 1) . #2#)
                                   G190 (COND ((QSGREATERP |i1| #1#) #3#))
                                   (SEQ
                                    (EXIT
                                     (SETELT32 |resjk| |i1|
                                               (ELT32 |mi| (+ |m2| |i1|)))))
                                   (LETT |i1| (QSADD1 |i1|) . #2#) #4# G191
                                   (EXIT NIL))
                              (LETT |m2| (QSPLUS |m2| |vnk1|) . #2#)
                              (EXIT (QSETAREF2O |res| |j| |k| |resjk| 1 1)))
                             (LETT |k| (QSADD1 |k|) . #2#) #4# G191 (EXIT NIL))
                        (EXIT (LETT |j| (+ |j| 1) . #2#)))))))
               (LETT |i| (QSADD1 |i|) . #2#) #4# G191 (EXIT NIL))
          (EXIT (SPADCALL |res| |vn| |nvd| |p| (QREFELT $ 53))))))) 

(DEFUN |NaiveBeckermannLabahnModular| #1=()
  (PROG #1#
    (RETURN
     (PROG (#2=#:G1925)
       (RETURN
        (COND
         ((LETT #2# (HGET |$ConstructorCache| '|NaiveBeckermannLabahnModular|)
                . #3=(|NaiveBeckermannLabahnModular|))
          (|CDRwithIncrement| (CDAR #2#)))
         ('T
          (UNWIND-PROTECT
              (PROG1
                  (CDDAR
                   (HPUT |$ConstructorCache| '|NaiveBeckermannLabahnModular|
                         (LIST
                          (CONS NIL
                                (CONS 1 (|NaiveBeckermannLabahnModular;|))))))
                (LETT #2# T . #3#))
            (COND
             ((NOT #2#)
              (HREM |$ConstructorCache|
                    '|NaiveBeckermannLabahnModular|))))))))))) 

(DEFUN |NaiveBeckermannLabahnModular;| ()
  (PROG (|dv$| $ |pv$|)
    (RETURN
     (PROGN
      (LETT |dv$| '(|NaiveBeckermannLabahnModular|)
            . #1=(|NaiveBeckermannLabahnModular|))
      (LETT $ (GETREFV 56) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|NaiveBeckermannLabahnModular| NIL
                  (CONS 1 $))
      (|stuffDomainSlots| $)
      $)))) 

(MAKEPROP '|NaiveBeckermannLabahnModular| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|NonNegativeInteger|) (0 . |Zero|)
              (|List| 41) (|Vector| 28) (|Vector| 11) (|Integer|)
              (|Mapping| 11 11) (|Mapping| 21 19 11 11)
              |NBLM;naiveBeckermannLabahn1;VVNniIM2ML;5|
              |NBLM;naiveBeckermannLabahn;VVNniIL;1| (|Vector| 19)
              |NBLM;naiveBeckermannLabahn1;VVNniIM2ML;6|
              |NBLM;naiveBeckermannLabahn;VVNniIL;2| (|U32Vector|) (4 . |elt|)
              (|Void|) (|U32VectorPolynomialOperations|)
              (10 . |mul_by_binomial|)
              |NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;3|
              |NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;4| (|List| 19)
              (17 . |vector|) (|SparseUnivariatePolynomial| 11) (22 . |elt|)
              (28 . |elt|) (|Boolean|) (34 . |zero?|) (39 . |degree|)
              (44 . |leadingCoefficient|) (49 . |reductum|) (54 . |elt|)
              (60 . |setelt|) (|List| 11) (67 . |vector|)
              |NBLM;naiveBeckermannLabahn0;2VVNniIM2MV;9| (|Any|)
              (|AnyFunctions1| 16) (72 . |coerce|) (|AnyFunctions1| 10)
              (77 . |coerce|) (|SingleInteger|) (82 . |coerce|) (87 . |setelt|)
              (94 . |invmod|) (100 . |vector_add_mul|)
              (|Record| (|:| |basis| 52) (|:| |defects| 10) (|:| |cinds| 10))
              (|TwoDimensionalArray| 19) |NBLM;reduceBasis0;Tda2VIR;19|
              (110 . |new|) |NBLM;reduceBasis;V2VIR;20|)
           '#(|reduceBasis0| 117 |reduceBasis| 125
              |naiveBeckermannLabahnMultipoint| 133 |naiveBeckermannLabahn1|
              149 |naiveBeckermannLabahn0| 171 |naiveBeckermannLabahn| 183)
           'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 55
                                                 '(0 6 0 7 2 19 11 0 11 20 3 22
                                                   21 19 11 11 23 1 16 0 26 27
                                                   2 9 28 0 11 29 2 16 19 0 11
                                                   30 1 28 31 0 32 1 28 6 0 33
                                                   1 28 11 0 34 1 28 0 0 35 2
                                                   10 11 0 11 36 3 16 19 0 11
                                                   19 37 1 10 0 38 39 1 42 41
                                                   16 43 1 44 41 10 45 1 46 0
                                                   11 47 3 10 11 0 11 11 48 2
                                                   11 0 0 0 49 6 22 21 19 19 11
                                                   11 11 11 50 3 52 0 6 6 19 54
                                                   4 0 51 52 10 10 11 53 4 0 51
                                                   16 10 10 11 55 4 0 8 9 10 19
                                                   11 24 4 0 8 16 10 19 11 25 7
                                                   0 8 16 10 6 11 12 13 13 17 7
                                                   0 8 9 10 6 11 12 13 13 14 8
                                                   0 21 16 16 10 6 11 12 13 13
                                                   40 4 0 8 9 10 6 11 15 4 0 8
                                                   16 10 6 11 18)))))
           '|lookupComplete|)) 

(MAKEPROP '|NaiveBeckermannLabahnModular| 'NILADIC T) 
