
(/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
     (COND
      ((SPADCALL (QV32LEN |pts|) |prime| (QREFELT $ 20))
       (|error| "naiveBeckermannLabahnMultipoint: number of points > prime"))
      ('T
       (SPADCALL |vp| |vn| (QV32LEN |pts|) |prime|
                 (CONS #'|NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;3!0|
                       (VECTOR $ |pts| |prime|))
                 (CONS #'|NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;3!1|
                       (VECTOR $ |pts|))
                 (ELT $ 25) (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 $ 22))))))) 

(DEFUN |NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;4|
       (|vp| |vn| |pts| |prime| $)
  (PROG ()
    (RETURN
     (COND
      ((SPADCALL (QV32LEN |pts|) |prime| (QREFELT $ 20))
       (|error| "naiveBeckermannLabahnMultipoint: number of points > prime"))
      ('T
       (SPADCALL |vp| |vn| (QV32LEN |pts|) |prime|
                 (CONS #'|NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;4!0|
                       (VECTOR $ |pts| |prime|))
                 (CONS #'|NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;4!1|
                       (VECTOR $ |pts|))
                 (ELT $ 25) (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 $ 22))))))) 

(DEFUN |NBLM;naiveBeckermannLabahn1;VVNniIM2ML;5|
       (|vp| |vn| |sigma| |prime| |pts| |up_residual| |up_poly| $)
  (PROG (|p| |l| |vk| |k| |vpa| #1=#:G1860 |m|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL
         (LETT |m| (QVSIZE |vp|)
               . #2=(|NBLM;naiveBeckermannLabahn1;VVNniIM2ML;5|))
         (QVSIZE |vn|) (QREFELT $ 28))
        (|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|) (GO G191)))
                      (SEQ
                       (EXIT
                        (LETT #1# (CONS (GETREFV32 |sigma| 0) #1#) . #2#)))
                      (LETT |k| (QSADD1 |k|) . #2#) (GO G190) G191
                      (EXIT (NREVERSE #1#))))
                (QREFELT $ 30))
               . #2#)
         (SEQ (LETT |k| 1 . #2#) G190 (COND ((QSGREATERP |k| |m|) (GO G191)))
              (SEQ (LETT |p| (SPADCALL |vp| |k| (QREFELT $ 32)) . #2#)
                   (LETT |vk| (SPADCALL |vpa| |k| (QREFELT $ 33)) . #2#)
                   (EXIT
                    (SEQ G190
                         (COND
                          ((NULL
                            (COND ((SPADCALL |p| (QREFELT $ 34)) 'NIL)
                                  ('T 'T)))
                           (GO G191)))
                         (SEQ (LETT |l| (SPADCALL |p| (QREFELT $ 35)) . #2#)
                              (COND
                               ((< |l| |sigma|)
                                (SETELT32 |vk| |l|
                                          (SPADCALL |p| (QREFELT $ 36)))))
                              (EXIT
                               (LETT |p| (SPADCALL |p| (QREFELT $ 37)) . #2#)))
                         NIL (GO G190) G191 (EXIT NIL))))
              (LETT |k| (QSADD1 |k|) . #2#) (GO G190) 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=#:G1875 |m2| |vk| |mp| |m1| |m|)
    (RETURN
     (SEQ
      (COND
       ((SPADCALL
         (LETT |m| (QVSIZE |vpa|)
               . #2=(|NBLM;naiveBeckermannLabahn1;VVNniIM2ML;6|))
         (QVSIZE |vn|) (QREFELT $ 28))
        (|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|) (GO G191)))
                  (SEQ
                   (EXIT
                    (LETT |m1|
                          (+ (+ |m1| (SPADCALL |vn| |k| (QREFELT $ 38))) 1)
                          . #2#)))
                  (LETT |k| (QSADD1 |k|) . #2#) (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|) (GO G191)))
                  (SEQ (SPADCALL |mp| |k| (GETREFV32 |m1| 0) (QREFELT $ 39))
                       (LETT |vk| (SPADCALL |mp| |k| (QREFELT $ 33)) . #2#)
                       (SETELT32 |vk| |m2| 1)
                       (EXIT
                        (LETT |m2|
                              (+ (+ |m2| (SPADCALL |vn| |k| (QREFELT $ 38))) 1)
                              . #2#)))
                  (LETT |k| (QSADD1 |k|) . #2#) (GO G190) G191 (EXIT NIL))
             (LETT |vd|
                   (SPADCALL
                    (PROGN
                     (LETT #1# NIL . #2#)
                     (SEQ (LETT |k| 1 . #2#) G190
                          (COND ((QSGREATERP |k| |m|) (GO G191)))
                          (SEQ
                           (EXIT
                            (LETT #1#
                                  (CONS (SPADCALL |vn| |k| (QREFELT $ 38)) #1#)
                                  . #2#)))
                          (LETT |k| (QSADD1 |k|) . #2#) (GO G190) G191
                          (EXIT (NREVERSE #1#))))
                    (QREFELT $ 41))
                   . #2#)
             (SPADCALL |mp| |vpa| |vd| |sigma| |prime| |pts| |up_residual|
                       |up_poly| (QREFELT $ 42))
             (EXIT
              (LIST (SPADCALL |mp| (QREFELT $ 45))
                    (SPADCALL |vpa| (QREFELT $ 45))
                    (SPADCALL |vd| (QREFELT $ 47))))))))))) 

(DEFUN |NBLM;vector_shift| (|v| $)
  (PROG (|i| |n|)
    (RETURN
     (SEQ (LETT |n| (QV32LEN |v|) . #1=(|NBLM;vector_shift|))
          (LETT |i| (SPADCALL (- |n| 1) (QREFELT $ 49)) . #1#)
          (SEQ G190 (COND ((NULL (SPADCALL |i| 0 (QREFELT $ 50))) (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=#:G1884 |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=#:G1902 #2=#:G1886 |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 $ 33))) 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#) (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|) (GO G191)))
                      (SEQ
                       (SPADCALL |vc| |k|
                                 (ELT32 (SPADCALL |vp| |k| (QREFELT $ 33)) |l|)
                                 (QREFELT $ 51))
                       (EXIT
                        (COND
                         ((SPADCALL (SPADCALL |vc| |k| (QREFELT $ 38)) 0
                                    (QREFELT $ 52))
                          (COND
                           ((< |maxd| (SPADCALL |vd| |k| (QREFELT $ 38)))
                            (SEQ (LETT |pi| |k| . #3#)
                                 (LETT |cpi| (SPADCALL |vc| |k| (QREFELT $ 38))
                                       . #3#)
                                 (EXIT
                                  (LETT |maxd|
                                        (SPADCALL |vd| |k| (QREFELT $ 38))
                                        . #3#)))))))))
                      (LETT |k| (QSADD1 |k|) . #3#) (GO G190) G191 (EXIT NIL))
                 (EXIT
                  (COND ((EQL |pi| 0) "iterate")
                        ('T
                         (SEQ
                          (LETT |vcinv|
                                (QSMULMOD32 (- |p| 1)
                                            (SPADCALL
                                             (SPADCALL |vc| |pi|
                                                       (QREFELT $ 38))
                                             |p| (QREFELT $ 53))
                                            |p|)
                                . #3#)
                          (SEQ (LETT |k| 1 . #3#) G190
                               (COND ((QSGREATERP |k| |m|) (GO G191)))
                               (SEQ
                                (EXIT
                                 (COND
                                  ((SPADCALL (SPADCALL |vc| |k| (QREFELT $ 38))
                                             0 (QREFELT $ 52))
                                   (COND
                                    ((>= (SPADCALL |vd| |k| (QREFELT $ 38)) 0)
                                     (COND
                                      ((SPADCALL |k| |pi| (QREFELT $ 52))
                                       (SEQ
                                        (LETT |vckinv|
                                              (QSMULMOD32 |vcinv|
                                                          (SPADCALL |vc| |k|
                                                                    (QREFELT $
                                                                             38))
                                                          |p|)
                                              . #3#)
                                        (SPADCALL
                                         (SPADCALL |vp| |k| (QREFELT $ 33))
                                         (SPADCALL |vp| |pi| (QREFELT $ 33))
                                         |l| |s1| |vckinv| |p| (QREFELT $ 54))
                                        (EXIT
                                         (SPADCALL (QAREF1O |mp| |k| 1)
                                                   (QAREF1O |mp| |pi| 1) 0 |m1|
                                                   |vckinv| |p|
                                                   (QREFELT $ 54))))))))))))
                               (LETT |k| (QSADD1 |k|) . #3#) (GO G190) G191
                               (EXIT NIL))
                          (SPADCALL |vd| |pi|
                                    (- (SPADCALL |vd| |pi| (QREFELT $ 38)) 1)
                                    (QREFELT $ 51))
                          (EXIT
                           (COND
                            ((>= (SPADCALL |vd| |pi| (QREFELT $ 38)) 0)
                             (SEQ
                              (SPADCALL (SPADCALL |vp| |pi| (QREFELT $ 33))
                                        |pt| |p| |up_residual|)
                              (EXIT
                               (SPADCALL (QAREF1O |mp| |pi| 1) |pt| |p|
                                         |up_poly|)))))))))))
            (LETT |l| (QSADD1 |l|) . #3#) (GO G190) G191 (EXIT NIL))))))) 

(DEFUN |NBLM;critical_index| (|m| |i| |d| |vn| $)
  (PROG (#1=#:G1903 #2=#:G1907 |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 $ 38)) |d|) . #3#)
                  (EXIT
                   (COND ((< |nj| 0) "iterate")
                         ('T
                          (SEQ
                           (EXIT
                            (SEQ (LETT |pa| (QAREF2O |m| |i| |j| 1 1) . #3#)
                                 (EXIT
                                  (COND
                                   ((SPADCALL (ELT32 |pa| |nj|) 0
                                              (QREFELT $ 52))
                                    (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=#:G1913 |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=#:G1917 |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=#:G1921 |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=#:G1925 |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 (#1=#:G1926 |c| |k| |rj0|)
    (RETURN
     (SEQ
      (LETT |rj0| (QAREF1 |rj| (- |ci| 1)) . #2=(|NBLM;reduce_row_by_row1|))
      (EXIT
       (COND
        ((< |vdiff| 0)
         (|error| "Internal error : vdiff < 0 in reduce_row_by_row1"))
        ('T
         (SEQ
          (EXIT
           (SEQ (LETT |k| (+ |vdiff| |cdeg|) . #2#)
                (LETT |c| (ELT32 |rj0| |k|) . #2#)
                (EXIT
                 (COND
                  ((SPADCALL |c| 0 (QREFELT $ 52))
                   (PROGN
                    (LETT #1#
                          (|NBLM;add_row| |rj| |ri| (- |p| |c|) |vdiff| |p| $)
                          . #2#)
                    (GO #1#)))))))
          #1# (EXIT #1#))))))))) 

(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 $ 38)) . #1#)
          (LETT |cdeg| (- |mdeg| (SPADCALL |vd| |i| (QREFELT $ 38))) . #1#)
          (LETT |mcoeff| (ELT32 (QAREF1 |ri| (- |ci| 1)) |cdeg|) . #1#)
          (LETT |minv| (SPADCALL |mcoeff| |p| (QREFELT $ 53)) . #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 $ 38))
                      (SPADCALL |vd| |j| (QREFELT $ 38)))
                   |p| $)))
                (LETT |j| (+ |j| 1) . #1#) (GO G190) G191 (EXIT NIL))))))) 

(DEFUN |NBLM;final_reduce| (|m| |civ| |vn| |vd| |p| $)
  (PROG (|ci| |ri| #1=#:G1934 |vdi| |i| #2=#:G1940 |d| |rj| |vdj| |j| |mp|
         |mvd| |ns|)
    (RETURN
     (SEQ (LETT |ns| (QVSIZE |vd|) . #3=(|NBLM;final_reduce|))
          (LETT |mvd| (SPADCALL |vd| 1 (QREFELT $ 38)) . #3#)
          (LETT |mp| |m| . #3#)
          (EXIT
           (SEQ (LETT |j| 1 . #3#) G190
                (COND ((QSGREATERP |j| |ns|) (GO G191)))
                (SEQ (LETT |vdj| (SPADCALL |vd| |j| (QREFELT $ 38)) . #3#)
                     (LETT |rj| (QAREF1 |mp| (- |j| 1)) . #3#)
                     (EXIT
                      (SEQ (LETT |d| 0 . #3#) (LETT #2# (- |mvd| |vdj|) . #3#)
                           G190 (COND ((QSGREATERP |d| #2#) (GO G191)))
                           (SEQ
                            (EXIT
                             (SEQ (LETT |i| 1 . #3#) G190
                                  (COND ((QSGREATERP |i| |ns|) (GO G191)))
                                  (SEQ
                                   (EXIT
                                    (COND ((EQL |i| |j|) "iterate")
                                          ('T
                                           (SEQ
                                            (LETT |vdi|
                                                  (SPADCALL |vd| |i|
                                                            (QREFELT $ 38))
                                                  . #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 $ 38))
                                                      . #3#)
                                                (EXIT
                                                 (|NBLM;reduce_row_by_row1|
                                                  |rj| |ri| |ci|
                                                  (-
                                                   (SPADCALL |vn| |ci|
                                                             (QREFELT $ 38))
                                                   |vdi|)
                                                  |d| |p| $)))))))))))
                                  (LETT |i| (QSADD1 |i|) . #3#) (GO G190) G191
                                  (EXIT NIL)))
                            #1# (EXIT #1#))
                           (LETT |d| (QSADD1 |d|) . #3#) (GO G190) G191
                           (EXIT NIL))))
                (LETT |j| (QSADD1 |j|) . #3#) (GO G190) 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|) (GO G191)))
               (SEQ (LETT |maxd| -1 . #1#)
                    (SEQ (LETT |j| |i| . #1#) G190
                         (COND ((> |j| |ns|) (GO G191)))
                         (SEQ
                          (LETT |cd| (SPADCALL |vd| |j| (QREFELT $ 38)) . #1#)
                          (EXIT
                           (COND
                            ((SPADCALL |cd| |maxd| (QREFELT $ 20))
                             (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#) (GO G190) G191 (EXIT NIL))
                    (|NBLM;swap_rows| |m| |i| |maxj| $)
                    (LETT |tmp| (SPADCALL |vd| |i| (QREFELT $ 38)) . #1#)
                    (SPADCALL |vd| |i| (SPADCALL |vd| |maxj| (QREFELT $ 38))
                              (QREFELT $ 51))
                    (SPADCALL |vd| |maxj| |tmp| (QREFELT $ 51))
                    (SPADCALL |civ| |i| |ci| (QREFELT $ 51))
                    (EXIT
                     (|NBLM;top_reduce_by_row| |m| |i| |ci| |vn| |vd| |p| $)))
               (LETT |i| (QSADD1 |i|) . #1#) (GO G190) 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=#:G1963 |i1| |resjk| |vnk1| |k| |mi| |i| |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|) (GO G191)))
               (SEQ
                (EXIT
                 (COND
                  ((>= (SPADCALL |vd| |i| (QREFELT $ 38)) 0)
                   (LETT |ns| (+ |ns| 1) . #2#)))))
               (LETT |i| (QSADD1 |i|) . #2#) (GO G190) G191 (EXIT NIL))
          (LETT |res| (SPADCALL |ns| |nc| (GETREFV32 0 0) (QREFELT $ 58))
                . #2#)
          (LETT |nvd| (MAKEARR1 |ns| 0) . #2#) (LETT |j| 1 . #2#)
          (SEQ (LETT |i| 1 . #2#) G190 (COND ((QSGREATERP |i| |nr|) (GO G191)))
               (SEQ (LETT |mi| (SPADCALL |m| |i| (QREFELT $ 33)) . #2#)
                    (LETT |m2| 0 . #2#)
                    (EXIT
                     (COND
                      ((>= (SPADCALL |vd| |i| (QREFELT $ 38)) 0)
                       (SEQ
                        (SPADCALL |nvd| |j| (SPADCALL |vd| |i| (QREFELT $ 38))
                                  (QREFELT $ 51))
                        (SEQ (LETT |k| 1 . #2#) G190
                             (COND ((QSGREATERP |k| |nc|) (GO G191)))
                             (SEQ
                              (LETT |vnk1|
                                    (+ (SPADCALL |vn| |k| (QREFELT $ 38)) 1)
                                    . #2#)
                              (LETT |resjk| (GETREFV32 |vnk1| 0) . #2#)
                              (SEQ (LETT |i1| 0 . #2#)
                                   (LETT #1# (QSDIFFERENCE |vnk1| 1) . #2#)
                                   G190
                                   (COND ((QSGREATERP |i1| #1#) (GO G191)))
                                   (SEQ
                                    (EXIT
                                     (SETELT32 |resjk| |i1|
                                               (ELT32 |mi| (+ |m2| |i1|)))))
                                   (LETT |i1| (QSADD1 |i1|) . #2#) (GO G190)
                                   G191 (EXIT NIL))
                              (LETT |m2| (QSPLUS |m2| |vnk1|) . #2#)
                              (EXIT (QSETAREF2O |res| |j| |k| |resjk| 1 1)))
                             (LETT |k| (QSADD1 |k|) . #2#) (GO G190) G191
                             (EXIT NIL))
                        (EXIT (LETT |j| (+ |j| 1) . #2#)))))))
               (LETT |i| (QSADD1 |i|) . #2#) (GO G190) G191 (EXIT NIL))
          (EXIT (SPADCALL |res| |vn| |nvd| |p| (QREFELT $ 57))))))) 

(DEFUN |NaiveBeckermannLabahnModular| #1=()
  (PROG #1#
    (RETURN
     (PROG (#2=#:G1965)
       (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 60) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|NaiveBeckermannLabahnModular| NIL
                  (CONS 1 $))
      (|stuffDomainSlots| $)
      (SETF |pv$| (QREFELT $ 3))
      $)))) 

(MAKEPROP '|NaiveBeckermannLabahnModular| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|NonNegativeInteger|) (0 . |Zero|)
              (|List| 43) (|Vector| 31) (|Vector| 11) (|Integer|)
              (|Mapping| 11 11) (|Mapping| 23 21 11 11)
              |NBLM;naiveBeckermannLabahn1;VVNniIM2ML;5|
              |NBLM;naiveBeckermannLabahn;VVNniIL;1| (|Vector| 21)
              |NBLM;naiveBeckermannLabahn1;VVNniIM2ML;6|
              |NBLM;naiveBeckermannLabahn;VVNniIL;2| (|Boolean|) (4 . >)
              (|U32Vector|) (10 . |elt|) (|Void|)
              (|U32VectorPolynomialOperations|) (16 . |mul_by_binomial|)
              |NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;3|
              |NBLM;naiveBeckermannLabahnMultipoint;VVUvIL;4| (23 . ~=)
              (|List| 21) (29 . |vector|) (|SparseUnivariatePolynomial| 11)
              (34 . |elt|) (40 . |elt|) (46 . |zero?|) (51 . |degree|)
              (56 . |leadingCoefficient|) (61 . |reductum|) (66 . |elt|)
              (72 . |setelt|) (|List| 11) (79 . |vector|)
              |NBLM;naiveBeckermannLabahn0;2VVNniIM2MV;9| (|Any|)
              (|AnyFunctions1| 16) (84 . |coerce|) (|AnyFunctions1| 10)
              (89 . |coerce|) (|SingleInteger|) (94 . |coerce|) (99 . >)
              (105 . |setelt|) (112 . ~=) (118 . |invmod|)
              (124 . |vector_add_mul|)
              (|Record| (|:| |basis| 56) (|:| |defects| 10) (|:| |cinds| 10))
              (|TwoDimensionalArray| 21) |NBLM;reduceBasis0;Tda2VIR;19|
              (134 . |new|) |NBLM;reduceBasis;V2VIR;20|)
           '#(|reduceBasis0| 141 |reduceBasis| 149
              |naiveBeckermannLabahnMultipoint| 157 |naiveBeckermannLabahn1|
              173 |naiveBeckermannLabahn0| 195 |naiveBeckermannLabahn| 207)
           'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 59
                                                 '(0 6 0 7 2 11 19 0 0 20 2 21
                                                   11 0 11 22 3 24 23 21 11 11
                                                   25 2 6 19 0 0 28 1 16 0 29
                                                   30 2 9 31 0 11 32 2 16 21 0
                                                   11 33 1 31 19 0 34 1 31 6 0
                                                   35 1 31 11 0 36 1 31 0 0 37
                                                   2 10 11 0 11 38 3 16 21 0 11
                                                   21 39 1 10 0 40 41 1 44 43
                                                   16 45 1 46 43 10 47 1 48 0
                                                   11 49 2 48 19 0 0 50 3 10 11
                                                   0 11 11 51 2 11 19 0 0 52 2
                                                   11 0 0 0 53 6 24 23 21 21 11
                                                   11 11 11 54 3 56 0 6 6 21 58
                                                   4 0 55 56 10 10 11 57 4 0 55
                                                   16 10 10 11 59 4 0 8 9 10 21
                                                   11 26 4 0 8 16 10 21 11 27 7
                                                   0 8 16 10 6 11 12 13 13 17 7
                                                   0 8 9 10 6 11 12 13 13 14 8
                                                   0 23 16 16 10 6 11 12 13 13
                                                   42 4 0 8 9 10 6 11 15 4 0 8
                                                   16 10 6 11 18)))))
           '|lookupComplete|)) 

(MAKEPROP '|NaiveBeckermannLabahnModular| 'NILADIC T) 
