
(/VERSIONCHECK 2) 

(DEFUN |LGROBP;reduceRow| (M |v| |lastRow| |pivots| $)
  (PROG (|dim| |j| |mj| |k| |b| |vk| #0=#:G1838 |kk| #1=#:G1830 |a1|)
    (RETURN
      (SEQ (LETT |a1| (|spadConstant| $ 13) . #2=(|LGROBP;reduceRow|))
           (LETT |b| (|spadConstant| $ 14) . #2#)
           (LETT |dim| (QVSIZE |v|) . #2#)
           (SEQ (LETT |j| 1 . #2#) G190
                (COND ((QSGREATERP |j| |lastRow|) #3=(GO G191)))
                (SEQ (LETT |mj| (SPADCALL M |j| (QREFELT $ 18)) . #2#)
                     (LETT |k|
                           (SPADCALL |pivots| |j| (QREFELT $ 20)) . #2#)
                     (LETT |b|
                           (SPADCALL |mj| |k| (QREFELT $ 21)) . #2#)
                     (LETT |vk|
                           (SPADCALL |v| |k| (QREFELT $ 21)) . #2#)
                     (SEQ (LETT |kk| 1 . #2#)
                          (LETT #0# (- |k| 1) . #2#) G190
                          (COND ((QSGREATERP |kk| #0#) #3#))
                          (SEQ (EXIT (SPADCALL |v| |kk|
                                      (PROG2
                                       (LETT #1#
                                        (SPADCALL
                                         (SPADCALL
                                          (SPADCALL |b|
                                           (SPADCALL |v| |kk|
                                            (QREFELT $ 21))
                                           (QREFELT $ 22))
                                          (QREFELT $ 23))
                                         |a1| (QREFELT $ 24)) . #2#)
                                       (QCDR #1#)
                                        (|check-union| (QEQCAR #1# 0)
                                         (QREFELT $ 7) #1#))
                                      (QREFELT $ 25))))
                          (LETT |kk| (QSADD1 |kk|) . #2#) #4=(GO G190)
                          G191 (EXIT NIL))
                     (SEQ (LETT |kk| |k| . #2#) G190
                          (COND ((> |kk| |dim|) #3#))
                          (SEQ (EXIT (SPADCALL |v| |kk|
                                      (PROG2
                                       (LETT #1#
                                        (SPADCALL
                                         (SPADCALL
                                          (SPADCALL |vk|
                                           (SPADCALL |mj| |kk|
                                            (QREFELT $ 21))
                                           (QREFELT $ 22))
                                          (SPADCALL |b|
                                           (SPADCALL |v| |kk|
                                            (QREFELT $ 21))
                                           (QREFELT $ 22))
                                          (QREFELT $ 26))
                                         |a1| (QREFELT $ 24)) . #2#)
                                       (QCDR #1#)
                                        (|check-union| (QEQCAR #1# 0)
                                         (QREFELT $ 7) #1#))
                                      (QREFELT $ 25))))
                          (LETT |kk| (+ |kk| 1) . #2#) #4# G191
                          (EXIT NIL))
                     (EXIT (LETT |a1| |b| . #2#)))
                (LETT |j| (QSADD1 |j|) . #2#) #4# G191 (EXIT NIL))
           (EXIT |v|))))) 

(DEFUN |LGROBP;rRedPol| (|f| B $)
  (PROG (|gm| |gg| |ggm|)
    (RETURN
      (SEQ (LETT |gm| (SPADCALL |f| B (QREFELT $ 31))
                 . #0=(|LGROBP;rRedPol|))
           (EXIT (COND
                   ((SPADCALL (QCAR |gm|) (|spadConstant| $ 32)
                        (QREFELT $ 34))
                    |gm|)
                   ('T
                    (SEQ (LETT |gg|
                               (SPADCALL (QCAR |gm|) (QREFELT $ 35)) . #0#)
                         (LETT |ggm| (|LGROBP;rRedPol| |gg| B $) . #0#)
                         (EXIT (CONS (SPADCALL
                                      (SPADCALL (QCDR |ggm|)
                                       (SPADCALL (QCAR |gm|) |gg|
                                        (QREFELT $ 36))
                                       (QREFELT $ 37))
                                      (QCAR |ggm|) (QREFELT $ 38))
                                     (SPADCALL (QCDR |ggm|) (QCDR |gm|)
                                      (QREFELT $ 22)))))))))))) 

(DEFUN |LGROBP;totolex;LL;3| (B $)
  (PROG (|vBasis| #0=#:G1844 |ndim| |ndim1| |linmat| |pivots|
            |firstmon| |v| |recfmon| |cc| #1=#:G1852 #2=#:G1855
            |veccoef| |ofirstmon| |orecfmon| |lm| |j| #3=#:G1871 |k|
            #4=#:G1872 |cordlist| |b| #5=#:G1874 |c| #6=#:G1873
            #7=#:G1864 #8=#:G1862 #9=#:G1863 |antc| |result| |ltresult|
            |i| |nBasis|)
    (RETURN
      (SEQ (LETT |result| NIL . #10=(|LGROBP;totolex;LL;3|))
           (LETT |ltresult| NIL . #10#)
           (LETT |vBasis| (SPADCALL B (QREFELT $ 39)) . #10#)
           (LETT |nBasis| (LIST (|spadConstant| $ 41)) . #10#)
           (LETT |ndim|
                 (PROG1 (LETT #0# (LENGTH |vBasis|) . #10#)
                   (|check-subtype| (> #0# 0) '(|PositiveInteger|) #0#)) . #10#)
           (LETT |ndim1| (+ |ndim| 1) . #10#)
           (LETT |linmat|
                 (SPADCALL |ndim| (+ (* 2 |ndim|) 1) (QREFELT $ 44)) . #10#)
           (SPADCALL |linmat| 1 1 (|spadConstant| $ 13) (QREFELT $ 45))
           (SPADCALL |linmat| 1 |ndim1| (|spadConstant| $ 13)
               (QREFELT $ 45))
           (LETT |pivots| (SPADCALL |ndim| 0 (QREFELT $ 46)) . #10#)
           (SPADCALL |pivots| 1 1 (QREFELT $ 47))
           (LETT |firstmon| (|spadConstant| $ 41) . #10#)
           (LETT |ofirstmon| (|spadConstant| $ 41) . #10#)
           (LETT |orecfmon|
                 (CONS (|spadConstant| $ 42) (|spadConstant| $ 13)) . #10#)
           (LETT |i| 2 . #10#)
           (SEQ G190
                (COND
                  ((NULL (SEQ (LETT |firstmon|
                                    (SPADCALL |firstmon| |ltresult|
                                     (QREFELT $ 49)) . #10#)
                              (EXIT (COND
                                      ((SPADCALL |firstmon|
                                        (|spadConstant| $ 41)
                                        (QREFELT $ 50))
                                       'NIL)
                                      ('T 'T)))))
                   #11=(GO G191)))
                (SEQ (SEQ (LETT |v|
                                (SPADCALL |firstmon| |ofirstmon|
                                    (QREFELT $ 51)) . #10#)
                          (EXIT (COND
                                  ((QEQCAR |v| 1)
                                   (LETT |recfmon|
                                    (|LGROBP;rRedPol|
                                     (SPADCALL |firstmon|
                                      (QREFELT $ 52))
                                     B $) . #10#))
                                  ('T
                                   (SEQ
                                    (LETT |recfmon|
                                     (|LGROBP;rRedPol|
                                      (SPADCALL
                                       (SPADCALL (QCDR |v|)
                                        (QREFELT $ 52))
                                       (QCAR |orecfmon|)
                                       (QREFELT $ 53))
                                      B $) . #10#)
                                    (EXIT
                                     (PROGN
                                       (RPLACD |recfmon|
                                        (SPADCALL (QCDR |recfmon|)
                                         (QCDR |orecfmon|)
                                         (QREFELT $ 22)))
                                       (QCDR |recfmon|))))))))
                     (LETT |cc|
                           (SPADCALL
                               (SPADCALL (QCAR |recfmon|)
                                   (QREFELT $ 54))
                               (QCDR |recfmon|) (QREFELT $ 55)) . #10#)
                     (PROGN
                       (RPLACA |recfmon|
                               (PROG2 (LETT #1#
                                       (SPADCALL (QCAR |recfmon|) |cc|
                                        (QREFELT $ 56)) . #10#)
                                      (QCDR #1#)
                                 (|check-union| (QEQCAR #1# 0)
                                     (|HomogeneousDistributedMultivariatePolynomial|
                                      (QREFELT $ 6) (QREFELT $ 7))
                                     #1#)))
                       (QCAR |recfmon|))
                     (PROGN
                       (RPLACD |recfmon|
                               (PROG2 (LETT #2#
                                       (SPADCALL (QCDR |recfmon|) |cc|
                                        (QREFELT $ 24)) . #10#)
                                      (QCDR #2#)
                                 (|check-union| (QEQCAR #2# 0)
                                     (QREFELT $ 7) #2#)))
                       (QCDR |recfmon|))
                     (LETT |veccoef|
                           (SPADCALL (QCAR |recfmon|) |vBasis|
                               (QREFELT $ 57)) . #10#)
                     (LETT |ofirstmon| |firstmon| . #10#)
                     (LETT |orecfmon| |recfmon| . #10#)
                     (LETT |lm|
                           (SPADCALL (+ (* 2 |ndim|) 1) (QREFELT $ 58)) . #10#)
                     (SEQ (LETT |j| 1 . #10#) G190
                          (COND ((QSGREATERP |j| |ndim|) #11#))
                          (SEQ (EXIT (SPADCALL |lm| |j|
                                      (SPADCALL |veccoef| |j|
                                       (QREFELT $ 21))
                                      (QREFELT $ 25))))
                          (LETT |j| (QSADD1 |j|) . #10#) #12=(GO G190)
                          G191 (EXIT NIL))
                     (SPADCALL |lm| (+ |ndim| |i|) (QCDR |recfmon|)
                         (QREFELT $ 25))
                     (LETT |lm|
                           (|LGROBP;reduceRow| |linmat| |lm| (- |i| 1)
                               |pivots| $) . #10#)
                     (COND
                       ((EQL |i| |ndim1|) (LETT |j| |ndim1| . #10#))
                       ('T
                        (SEQ (LETT |j| 1 . #10#)
                             (EXIT (SEQ G190
                                    (COND
                                      ((NULL
                                        (COND
                                          ((SPADCALL
                                            (SPADCALL |lm| |j|
                                             (QREFELT $ 21))
                                            (|spadConstant| $ 14)
                                            (QREFELT $ 59))
                                           (< |j| |ndim1|))
                                          ('T 'NIL)))
                                       #11#))
                                    (SEQ
                                     (EXIT (LETT |j| (+ |j| 1) . #10#)))
                                    NIL #12# G191 (EXIT NIL))))))
                     (EXIT (COND
                             ((EQL |j| |ndim1|)
                              (SEQ (LETT |cordlist|
                                    (PROGN
                                      (LETT #3# NIL . #10#)
                                      (SEQ (LETT |k| |ndim1| . #10#)
                                       (LETT #4#
                                        (+ |ndim1| (LENGTH |nBasis|)) . #10#)
                                       G190 (COND ((> |k| #4#) #11#))
                                       (SEQ
                                        (EXIT
                                         (LETT #3#
                                          (CONS
                                           (SPADCALL |lm| |k|
                                            (QREFELT $ 21))
                                           #3#) . #10#)))
                                       (LETT |k| (+ |k| 1) . #10#) #12#
                                       G191 (EXIT (NREVERSE0 #3#)))) . #10#)
                                   (LETT |antc|
                                    (PROGN
                                      (LETT #9# NIL . #10#)
                                      (SEQ (LETT |b| NIL . #10#)
                                       (LETT #5#
                                        (CONS |firstmon| |nBasis|) . #10#)
                                       (LETT |c| NIL . #10#)
                                       (LETT #6#
                                        (REVERSE |cordlist|) . #10#)
                                       G190
                                       (COND
                                         ((OR (ATOM #6#)
                                           (PROGN
                                             (LETT |c|
                                              (CAR #6#) . #10#)
                                             NIL)
                                           (ATOM #5#)
                                           (PROGN
                                             (LETT |b|
                                              (CAR #5#) . #10#)
                                             NIL))
                                          #11#))
                                       (SEQ
                                        (EXIT
                                         (PROGN
                                           (LETT #7#
                                            (SPADCALL |c| |b|
                                             (QREFELT $ 60)) . #10#)
                                           (COND
                                             (#9#
                                              (LETT #8#
                                               (SPADCALL #8# #7#
                                                (QREFELT $ 61)) . #10#))
                                             ('T
                                              (PROGN
                                                (LETT #8# #7# . #10#)
                                                (LETT #9# 'T . #10#)))))))
                                       (LETT #6#
                                        (PROG1 (CDR #6#)
                                          (LETT #5# (CDR #5#) . #10#)) . #10#)
                                       #12# G191 (EXIT NIL))
                                      (COND
                                        (#9# #8#)
                                        ('T (|spadConstant| $ 62)))) . #10#)
                                   (LETT |antc|
                                    (SPADCALL |antc| (QREFELT $ 63)) . #10#)
                                   (LETT |result|
                                    (CONS |antc| |result|) . #10#)
                                   (EXIT
                                    (LETT |ltresult|
                                     (CONS
                                      (SPADCALL |antc|
                                       (SPADCALL |antc| (QREFELT $ 64))
                                       (QREFELT $ 65))
                                      |ltresult|) . #10#))))
                             ('T
                              (SEQ (SPADCALL |pivots| |i| |j|
                                    (QREFELT $ 47))
                                   (SPADCALL |linmat| |i| |lm|
                                    (QREFELT $ 66))
                                   (LETT |i| (+ |i| 1) . #10#)
                                   (EXIT
                                    (LETT |nBasis|
                                     (CONS |firstmon| |nBasis|) . #10#)))))))
                NIL #12# G191 (EXIT NIL))
           (EXIT |result|))))) 

(DEFUN |LGROBP;minPol;LOvlHdmp;4| (|oldBasis| |x| $)
  (PROG (|algBasis|)
    (RETURN
      (SEQ (LETT |algBasis| (SPADCALL |oldBasis| (QREFELT $ 39))
                 |LGROBP;minPol;LOvlHdmp;4|)
           (EXIT (SPADCALL |oldBasis| |algBasis| |x| (QREFELT $ 68))))))) 

(DEFUN |LGROBP;minPol;2LOvlHdmp;5| (|oldBasis| |algBasis| |x| $)
  (PROG (|nvp| #0=#:G1877 |ndim| |ndim1| |linmat| |pivots| |i| |recf|
               |cc| #1=#:G1879 |f| #2=#:G1882 |omult| |veccoef| |lm|
               |j| |k| #3=#:G1894 #4=#:G1887 |g| #5=#:G1893)
    (RETURN
      (SEQ (EXIT (SEQ (LETT |nvp| (SPADCALL |x| (QREFELT $ 70))
                            . #6=(|LGROBP;minPol;2LOvlHdmp;5|))
                      (LETT |f| (|spadConstant| $ 42) . #6#)
                      (LETT |omult| (|spadConstant| $ 13) . #6#)
                      (LETT |ndim|
                            (PROG1 (LETT #0# (LENGTH |algBasis|) . #6#)
                              (|check-subtype| (> #0# 0)
                                  '(|PositiveInteger|) #0#)) . #6#)
                      (LETT |ndim1| (+ |ndim| 1) . #6#)
                      (LETT |linmat|
                            (SPADCALL |ndim| (+ (* 2 |ndim|) 1)
                                (QREFELT $ 44)) . #6#)
                      (SPADCALL |linmat| 1 1 (|spadConstant| $ 13)
                          (QREFELT $ 45))
                      (SPADCALL |linmat| 1 |ndim1|
                          (|spadConstant| $ 13) (QREFELT $ 45))
                      (LETT |pivots|
                            (SPADCALL |ndim| 0 (QREFELT $ 46)) . #6#)
                      (SPADCALL |pivots| 1 1 (QREFELT $ 47))
                      (EXIT (SEQ (LETT |i| 2 . #6#) G190
                                 (COND
                                   ((QSGREATERP |i| |ndim1|)
                                    #7=(GO G191)))
                                 (SEQ (LETT |recf|
                                       (|LGROBP;rRedPol|
                                        (SPADCALL |f| |nvp|
                                         (QREFELT $ 53))
                                        |oldBasis| $) . #6#)
                                      (LETT |omult|
                                       (SPADCALL (QCDR |recf|) |omult|
                                        (QREFELT $ 22)) . #6#)
                                      (LETT |f| (QCAR |recf|) . #6#)
                                      (LETT |cc|
                                       (SPADCALL
                                        (SPADCALL |f| (QREFELT $ 54))
                                        |omult| (QREFELT $ 55)) . #6#)
                                      (LETT |f|
                                       (PROG2
                                        (LETT #1#
                                         (SPADCALL |f| |cc|
                                          (QREFELT $ 56)) . #6#)
                                        (QCDR #1#)
                                         (|check-union| (QEQCAR #1# 0)
                                          (|HomogeneousDistributedMultivariatePolynomial|
                                           (QREFELT $ 6) (QREFELT $ 7))
                                          #1#)) . #6#)
                                      (LETT |omult|
                                       (PROG2
                                        (LETT #2#
                                         (SPADCALL |omult| |cc|
                                          (QREFELT $ 24)) . #6#)
                                        (QCDR #2#)
                                         (|check-union| (QEQCAR #2# 0)
                                          (QREFELT $ 7) #2#)) . #6#)
                                      (LETT |veccoef|
                                       (SPADCALL |f| |algBasis|
                                        (QREFELT $ 57)) . #6#)
                                      (LETT |lm|
                                       (SPADCALL (+ (* 2 |ndim|) 1)
                                        (QREFELT $ 58)) . #6#)
                                      (SEQ (LETT |j| 1 . #6#) G190
                                       (COND
                                         ((QSGREATERP |j| |ndim|) #7#))
                                       (SEQ
                                        (EXIT
                                         (SPADCALL |lm| |j|
                                          (SPADCALL |veccoef| |j|
                                           (QREFELT $ 21))
                                          (QREFELT $ 25))))
                                       (LETT |j| (QSADD1 |j|) . #6#)
                                       #8=(GO G190) G191 (EXIT NIL))
                                      (SPADCALL |lm| (+ |ndim| |i|)
                                       |omult| (QREFELT $ 25))
                                      (LETT |lm|
                                       (|LGROBP;reduceRow| |linmat|
                                        |lm| (- |i| 1) |pivots| $) . #6#)
                                      (LETT |j| 1 . #6#)
                                      (SEQ G190
                                       (COND
                                         ((NULL
                                           (COND
                                             ((SPADCALL
                                               (SPADCALL |lm| |j|
                                                (QREFELT $ 21))
                                               (|spadConstant| $ 14)
                                               (QREFELT $ 59))
                                              (< |j| |ndim1|))
                                             ('T 'NIL)))
                                          #7#))
                                       (SEQ
                                        (EXIT
                                         (LETT |j| (+ |j| 1) . #6#)))
                                       NIL #8# G191 (EXIT NIL))
                                      (COND
                                        ((EQL |j| |ndim1|)
                                         (PROGN
                                           (LETT #5#
                                            (SEQ
                                             (LETT |g|
                                              (|spadConstant| $ 32) . #6#)
                                             (SEQ
                                              (LETT |k| |ndim1| . #6#)
                                              (LETT #3#
                                               (+ (* 2 |ndim|) 1) . #6#)
                                              G190
                                              (COND ((> |k| #3#) #7#))
                                              (SEQ
                                               (EXIT
                                                (LETT |g|
                                                 (SPADCALL |g|
                                                  (SPADCALL
                                                   (SPADCALL |lm| |k|
                                                    (QREFELT $ 21))
                                                   (SPADCALL |nvp|
                                                    (PROG1
                                                     (LETT #4#
                                                      (- |k| |ndim1|) . #6#)
                                                      (|check-subtype|
                                                       (>= #4# 0)
                                                       '(|NonNegativeInteger|)
                                                       #4#))
                                                    (QREFELT $ 71))
                                                   (QREFELT $ 37))
                                                  (QREFELT $ 38)) . #6#)))
                                              (LETT |k|
                                               (+ |k| 1) . #6#)
                                              #8# G191 (EXIT NIL))
                                             (EXIT
                                              (SPADCALL |g|
                                               (QREFELT $ 72)))) . #6#)
                                           (GO #5#))))
                                      (SPADCALL |pivots| |i| |j|
                                       (QREFELT $ 47))
                                      (EXIT
                                       (SPADCALL |linmat| |i| |lm|
                                        (QREFELT $ 66))))
                                 (LETT |i| (QSADD1 |i|) . #6#) #8# G191
                                 (EXIT NIL)))))
           #5# (EXIT #5#))))) 

(DEFUN |LGROBP;transform;DmpHdmp;6| (|dpol| $)
  (COND
    ((SPADCALL |dpol| (|spadConstant| $ 62) (QREFELT $ 50))
     (|spadConstant| $ 32))
    ('T
     (SPADCALL
         (SPADCALL (SPADCALL |dpol| (QREFELT $ 73))
             (SPADCALL
                 (SPADCALL (SPADCALL |dpol| (QREFELT $ 75))
                     (QREFELT $ 77))
                 (QREFELT $ 79))
             (QREFELT $ 80))
         (SPADCALL (SPADCALL |dpol| (QREFELT $ 64)) (QREFELT $ 52))
         (QREFELT $ 38))))) 

(DEFUN |LGROBP;computeBasis;2L;7| (B $)
  (PROG (#0=#:G1901 |f| #1=#:G1902 |mB| |var| #2=#:G1903 |part|
            |result|)
    (RETURN
      (SEQ (LETT |mB|
                 (PROGN
                   (LETT #0# NIL . #3=(|LGROBP;computeBasis;2L;7|))
                   (SEQ (LETT |f| NIL . #3#) (LETT #1# B . #3#) G190
                        (COND
                          ((OR (ATOM #1#)
                               (PROGN (LETT |f| (CAR #1#) . #3#) NIL))
                           #4=(GO G191)))
                        (SEQ (EXIT (LETT #0#
                                    (CONS
                                     (SPADCALL (|spadConstant| $ 13)
                                      (SPADCALL |f| (QREFELT $ 81))
                                      (QREFELT $ 80))
                                     #0#) . #3#)))
                        (LETT #1# (CDR #1#) . #3#) #5=(GO G190) G191
                        (EXIT (NREVERSE0 #0#)))) . #3#)
           (LETT |result| (LIST (|spadConstant| $ 42)) . #3#)
           (SEQ (LETT |var| NIL . #3#) (LETT #2# (QREFELT $ 12) . #3#)
                G190
                (COND
                  ((OR (ATOM #2#)
                       (PROGN (LETT |var| (CAR #2#) . #3#) NIL))
                   #4#))
                (SEQ (LETT |part|
                           (SPADCALL |var| |result| |mB|
                               (QREFELT $ 82)) . #3#)
                     (EXIT (LETT |result|
                                 (SPADCALL |result| |part|
                                     (QREFELT $ 83)) . #3#)))
                (LETT #2# (CDR #2#) . #3#) #5# G191 (EXIT NIL))
           (EXIT |result|))))) 

(DEFUN |LGROBP;intcompBasis;Ovl3L;8| (|x| |lr| |mB| $)
  (PROG (|f| #0=#:G1908 |g| |part|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |lr| NIL (QREFELT $ 84)) |lr|)
             ('T
              (SEQ (LETT |part| NIL
                         . #1=(|LGROBP;intcompBasis;Ovl3L;8|))
                   (SEQ (LETT |f| NIL . #1#) (LETT #0# |lr| . #1#) G190
                        (COND
                          ((OR (ATOM #0#)
                               (PROGN (LETT |f| (CAR #0#) . #1#) NIL))
                           (GO G191)))
                        (SEQ (LETT |g|
                                   (SPADCALL
                                    (SPADCALL |x| (QREFELT $ 70)) |f|
                                    (QREFELT $ 53)) . #1#)
                             (EXIT (COND
                                     ((NULL
                                       (SPADCALL
                                        (QCAR
                                         (SPADCALL |g| |mB|
                                          (QREFELT $ 31)))
                                        (|spadConstant| $ 32)
                                        (QREFELT $ 34)))
                                      (LETT |part|
                                       (CONS |g| |part|) . #1#)))))
                        (LETT #0# (CDR #0#) . #1#) (GO G190) G191
                        (EXIT NIL))
                   (EXIT (SPADCALL |part|
                             (SPADCALL |x| |part| |mB| (QREFELT $ 82))
                             (QREFELT $ 83)))))))))) 

(DEFUN |LGROBP;coord;HdmpLV;9| (|f| B $)
  (PROG (|ndim| |vv| |rf| |lf| |lcf| |i|)
    (RETURN
      (SEQ (LETT |ndim| (LENGTH B) . #0=(|LGROBP;coord;HdmpLV;9|))
           (LETT |vv|
                 (SPADCALL |ndim| (|spadConstant| $ 14) (QREFELT $ 85)) . #0#)
           (SEQ G190
                (COND
                  ((NULL (COND
                           ((SPADCALL |f| (|spadConstant| $ 32)
                                (QREFELT $ 34))
                            'NIL)
                           ('T 'T)))
                   (GO G191)))
                (SEQ (LETT |rf| (SPADCALL |f| (QREFELT $ 35)) . #0#)
                     (LETT |lf|
                           (SPADCALL |f| |rf| (QREFELT $ 36)) . #0#)
                     (LETT |lcf| (SPADCALL |f| (QREFELT $ 86)) . #0#)
                     (LETT |i|
                           (SPADCALL
                               (SPADCALL (|spadConstant| $ 13)
                                   (SPADCALL |lf| (QREFELT $ 81))
                                   (QREFELT $ 80))
                               B (QREFELT $ 87)) . #0#)
                     (SPADCALL |vv| |i| |lcf| (QREFELT $ 25))
                     (EXIT (LETT |f| |rf| . #0#)))
                NIL (GO G190) G191 (EXIT NIL))
           (EXIT |vv|))))) 

(DEFUN |LGROBP;anticoord;LDmpLDmp;10| (|vv| |mf| B $)
  (PROG (|c| #0=#:G1917 |f| #1=#:G1916)
    (RETURN
      (SEQ (SEQ (LETT |c| NIL . #2=(|LGROBP;anticoord;LDmpLDmp;10|))
                (LETT #0# |vv| . #2#) (LETT |f| NIL . #2#)
                (LETT #1# B . #2#) G190
                (COND
                  ((OR (ATOM #1#)
                       (PROGN (LETT |f| (CAR #1#) . #2#) NIL)
                       (ATOM #0#)
                       (PROGN (LETT |c| (CAR #0#) . #2#) NIL))
                   (GO G191)))
                (SEQ (EXIT (LETT |mf|
                                 (SPADCALL |mf|
                                     (SPADCALL |c| |f| (QREFELT $ 60))
                                     (QREFELT $ 65)) . #2#)))
                (LETT #1#
                      (PROG1 (CDR #1#) (LETT #0# (CDR #0#) . #2#)) . #2#)
                (GO G190) G191 (EXIT NIL))
           (EXIT |mf|))))) 

(DEFUN |LGROBP;choosemon;DmpLDmp;11| (|mf| |nB| $)
  (PROG (|x| #0=#:G1928 |xx| #1=#:G1927 |dx| #2=#:G1922)
    (RETURN
      (SEQ (EXIT (COND
                   ((SPADCALL |nB| NIL (QREFELT $ 90))
                    (SPADCALL
                        (SPADCALL
                            (SPADCALL (QREFELT $ 12) '|last|
                                (QREFELT $ 93))
                            (QREFELT $ 94))
                        |mf| (QREFELT $ 95)))
                   ('T
                    (SEQ (SEQ (LETT |x| NIL
                                    . #3=(|LGROBP;choosemon;DmpLDmp;11|))
                              (LETT #0# (REVERSE (QREFELT $ 12)) . #3#)
                              G190
                              (COND
                                ((OR (ATOM #0#)
                                     (PROGN
                                       (LETT |x| (CAR #0#) . #3#)
                                       NIL))
                                 (GO G191)))
                              (SEQ (LETT |xx|
                                    (SPADCALL |x| (QREFELT $ 94)) . #3#)
                                   (LETT |mf|
                                    (SPADCALL |xx| |mf| (QREFELT $ 95)) . #3#)
                                   (COND
                                     ((NULL
                                       (SPADCALL
                                        (QCAR
                                         (SPADCALL |mf| |nB|
                                          (QREFELT $ 98)))
                                        (|spadConstant| $ 62)
                                        (QREFELT $ 50)))
                                      (PROGN
                                        (LETT #1# |mf| . #3#)
                                        (GO #1#))))
                                   (LETT |dx|
                                    (SPADCALL |mf| |x| (QREFELT $ 99)) . #3#)
                                   (EXIT
                                    (LETT |mf|
                                     (PROG2
                                      (LETT #2#
                                       (SPADCALL |mf|
                                        (SPADCALL |xx| |dx|
                                         (QREFELT $ 100))
                                        (QREFELT $ 51)) . #3#)
                                      (QCDR #2#)
                                       (|check-union| (QEQCAR #2# 0)
                                        (|DistributedMultivariatePolynomial|
                                         (QREFELT $ 6) (QREFELT $ 7))
                                        #2#)) . #3#)))
                              (LETT #0# (CDR #0#) . #3#) (GO G190) G191
                              (EXIT NIL))
                         (EXIT |mf|)))))
           #1# (EXIT #1#))))) 

(DEFUN |LGROBP;linGenPos;LR;12| (B $)
  (PROG (|vBasis| #0=#:G1930 |ndim| |ndim1| |linmat| |pivots| |ii|
            #1=#:G1963 |rval| |vv| #2=#:G1965 |r| #3=#:G1964 #4=#:G1936
            #5=#:G1934 #6=#:G1935 |nval| |lx| |firstmon| |v| |recfmon|
            |cc| #7=#:G1944 #8=#:G1947 |veccoef| |ofirstmon| |orecfmon|
            |lm| #9=#:G1966 |j| #10=#:G1967 |cordlist| |b| #11=#:G1969
            |c| #12=#:G1968 #13=#:G1955 #14=#:G1953 #15=#:G1954 |antc|
            |result| |ltresult| |i| |nBasis|)
    (RETURN
      (SEQ (LETT |result| NIL . #16=(|LGROBP;linGenPos;LR;12|))
           (LETT |ltresult| NIL . #16#)
           (LETT |vBasis| (SPADCALL B (QREFELT $ 39)) . #16#)
           (LETT |nBasis| (LIST (|spadConstant| $ 41)) . #16#)
           (LETT |ndim|
                 (PROG1 (LETT #0# (LENGTH |vBasis|) . #16#)
                   (|check-subtype| (> #0# 0) '(|PositiveInteger|) #0#)) . #16#)
           (LETT |ndim1| (+ |ndim| 1) . #16#)
           (LETT |linmat|
                 (SPADCALL |ndim| (+ (* 2 |ndim|) 1) (QREFELT $ 44)) . #16#)
           (SPADCALL |linmat| 1 1 (|spadConstant| $ 13) (QREFELT $ 45))
           (SPADCALL |linmat| 1 |ndim1| (|spadConstant| $ 13)
               (QREFELT $ 45))
           (LETT |pivots| (SPADCALL |ndim| 0 (QREFELT $ 46)) . #16#)
           (SPADCALL |pivots| 1 1 (QREFELT $ 47)) (LETT |i| 2 . #16#)
           (LETT |rval| NIL . #16#)
           (SEQ (LETT |ii| 1 . #16#)
                (LETT #1# (- (LENGTH (QREFELT $ 12)) 1) . #16#) G190
                (COND ((QSGREATERP |ii| #1#) #17=(GO G191)))
                (SEQ (LETT |c| 0 . #16#)
                     (SEQ G190 (COND ((NULL (EQL |c| 0)) #17#))
                          (SEQ (EXIT (LETT |c| (RANDOM 11) . #16#)))
                          NIL #18=(GO G190) G191 (EXIT NIL))
                     (EXIT (LETT |rval| (CONS |c| |rval|) . #16#)))
                (LETT |ii| (QSADD1 |ii|) . #16#) #18# G191 (EXIT NIL))
           (LETT |nval|
                 (SPADCALL
                     (SPADCALL
                         (SPADCALL (QREFELT $ 12) (QREFELT $ 101))
                         (QREFELT $ 94))
                     (PROGN
                       (LETT #6# NIL . #16#)
                       (SEQ (LETT |vv| NIL . #16#)
                            (LETT #2# (QREFELT $ 12) . #16#)
                            (LETT |r| NIL . #16#)
                            (LETT #3# |rval| . #16#) G190
                            (COND
                              ((OR (ATOM #3#)
                                   (PROGN
                                     (LETT |r| (CAR #3#) . #16#)
                                     NIL)
                                   (ATOM #2#)
                                   (PROGN
                                     (LETT |vv| (CAR #2#) . #16#)
                                     NIL))
                               #17#))
                            (SEQ (EXIT (PROGN
                                         (LETT #4#
                                          (SPADCALL |r|
                                           (SPADCALL |vv|
                                            (QREFELT $ 94))
                                           (QREFELT $ 102)) . #16#)
                                         (COND
                                           (#6#
                                            (LETT #5#
                                             (SPADCALL #5# #4#
                                              (QREFELT $ 61)) . #16#))
                                           ('T
                                            (PROGN
                                              (LETT #5# #4# . #16#)
                                              (LETT #6# 'T . #16#)))))))
                            (LETT #3#
                                  (PROG1 (CDR #3#)
                                    (LETT #2# (CDR #2#) . #16#)) . #16#)
                            #18# G191 (EXIT NIL))
                       (COND (#6# #5#) ('T (|spadConstant| $ 62))))
                     (QREFELT $ 65)) . #16#)
           (LETT |firstmon| (|spadConstant| $ 41) . #16#)
           (LETT |ofirstmon| (|spadConstant| $ 41) . #16#)
           (LETT |orecfmon|
                 (CONS (|spadConstant| $ 42) (|spadConstant| $ 13)) . #16#)
           (LETT |lx|
                 (SPADCALL (QREFELT $ 12) '|last| (QREFELT $ 93)) . #16#)
           (SEQ G190
                (COND
                  ((NULL (SEQ (LETT |firstmon|
                                    (SPADCALL |firstmon| |ltresult|
                                     (QREFELT $ 49)) . #16#)
                              (EXIT (COND
                                      ((SPADCALL |firstmon|
                                        (|spadConstant| $ 41)
                                        (QREFELT $ 50))
                                       'NIL)
                                      ('T 'T)))))
                   #17#))
                (SEQ (SEQ (LETT |v|
                                (SPADCALL |firstmon| |ofirstmon|
                                    (QREFELT $ 51)) . #16#)
                          (EXIT (COND
                                  ((QEQCAR |v| 1)
                                   (LETT |recfmon|
                                    (|LGROBP;rRedPol|
                                     (SPADCALL
                                      (SPADCALL |firstmon| |lx| |nval|
                                       (QREFELT $ 103))
                                      (QREFELT $ 52))
                                     B $) . #16#))
                                  ('T
                                   (SEQ
                                    (LETT |recfmon|
                                     (|LGROBP;rRedPol|
                                      (SPADCALL
                                       (SPADCALL
                                        (SPADCALL (QCDR |v|) |lx|
                                         |nval| (QREFELT $ 103))
                                        (QREFELT $ 52))
                                       (QCAR |orecfmon|)
                                       (QREFELT $ 53))
                                      B $) . #16#)
                                    (EXIT
                                     (PROGN
                                       (RPLACD |recfmon|
                                        (SPADCALL (QCDR |recfmon|)
                                         (QCDR |orecfmon|)
                                         (QREFELT $ 22)))
                                       (QCDR |recfmon|))))))))
                     (LETT |cc|
                           (SPADCALL
                               (SPADCALL (QCAR |recfmon|)
                                   (QREFELT $ 54))
                               (QCDR |recfmon|) (QREFELT $ 55)) . #16#)
                     (PROGN
                       (RPLACA |recfmon|
                               (PROG2 (LETT #7#
                                       (SPADCALL (QCAR |recfmon|) |cc|
                                        (QREFELT $ 56)) . #16#)
                                      (QCDR #7#)
                                 (|check-union| (QEQCAR #7# 0)
                                     (|HomogeneousDistributedMultivariatePolynomial|
                                      (QREFELT $ 6) (QREFELT $ 7))
                                     #7#)))
                       (QCAR |recfmon|))
                     (PROGN
                       (RPLACD |recfmon|
                               (PROG2 (LETT #8#
                                       (SPADCALL (QCDR |recfmon|) |cc|
                                        (QREFELT $ 24)) . #16#)
                                      (QCDR #8#)
                                 (|check-union| (QEQCAR #8# 0)
                                     (QREFELT $ 7) #8#)))
                       (QCDR |recfmon|))
                     (LETT |veccoef|
                           (SPADCALL (QCAR |recfmon|) |vBasis|
                               (QREFELT $ 57)) . #16#)
                     (LETT |ofirstmon| |firstmon| . #16#)
                     (LETT |orecfmon| |recfmon| . #16#)
                     (LETT |lm|
                           (SPADCALL (+ (* 2 |ndim|) 1) (QREFELT $ 58)) . #16#)
                     (SEQ (LETT |j| 1 . #16#) G190
                          (COND ((QSGREATERP |j| |ndim|) #17#))
                          (SEQ (EXIT (SPADCALL |lm| |j|
                                      (SPADCALL |veccoef| |j|
                                       (QREFELT $ 21))
                                      (QREFELT $ 25))))
                          (LETT |j| (QSADD1 |j|) . #16#) #18# G191
                          (EXIT NIL))
                     (SPADCALL |lm| (+ |ndim| |i|) (QCDR |recfmon|)
                         (QREFELT $ 25))
                     (LETT |lm|
                           (|LGROBP;reduceRow| |linmat| |lm| (- |i| 1)
                               |pivots| $) . #16#)
                     (LETT |j| 1 . #16#)
                     (SEQ G190
                          (COND
                            ((NULL (COND
                                     ((SPADCALL
                                       (SPADCALL |lm| |j|
                                        (QREFELT $ 21))
                                       (|spadConstant| $ 14)
                                       (QREFELT $ 59))
                                      (< |j| |ndim1|))
                                     ('T 'NIL)))
                             #17#))
                          (SEQ (EXIT (LETT |j| (+ |j| 1) . #16#))) NIL
                          #18# G191 (EXIT NIL))
                     (EXIT (COND
                             ((EQL |j| |ndim1|)
                              (SEQ (LETT |cordlist|
                                    (PROGN
                                      (LETT #9# NIL . #16#)
                                      (SEQ (LETT |j| |ndim1| . #16#)
                                       (LETT #10#
                                        (+ |ndim1| (LENGTH |nBasis|)) . #16#)
                                       G190 (COND ((> |j| #10#) #17#))
                                       (SEQ
                                        (EXIT
                                         (LETT #9#
                                          (CONS
                                           (SPADCALL |lm| |j|
                                            (QREFELT $ 21))
                                           #9#) . #16#)))
                                       (LETT |j| (+ |j| 1) . #16#) #18#
                                       G191 (EXIT (NREVERSE0 #9#)))) . #16#)
                                   (LETT |antc|
                                    (PROGN
                                      (LETT #15# NIL . #16#)
                                      (SEQ (LETT |b| NIL . #16#)
                                       (LETT #11#
                                        (CONS |firstmon| |nBasis|) . #16#)
                                       (LETT |c| NIL . #16#)
                                       (LETT #12#
                                        (REVERSE |cordlist|) . #16#)
                                       G190
                                       (COND
                                         ((OR (ATOM #12#)
                                           (PROGN
                                             (LETT |c|
                                              (CAR #12#) . #16#)
                                             NIL)
                                           (ATOM #11#)
                                           (PROGN
                                             (LETT |b|
                                              (CAR #11#) . #16#)
                                             NIL))
                                          #17#))
                                       (SEQ
                                        (EXIT
                                         (PROGN
                                           (LETT #13#
                                            (SPADCALL |c| |b|
                                             (QREFELT $ 60)) . #16#)
                                           (COND
                                             (#15#
                                              (LETT #14#
                                               (SPADCALL #14# #13#
                                                (QREFELT $ 61)) . #16#))
                                             ('T
                                              (PROGN
                                                (LETT #14# #13# . #16#)
                                                (LETT #15# 'T . #16#)))))))
                                       (LETT #12#
                                        (PROG1 (CDR #12#)
                                          (LETT #11# (CDR #11#) . #16#)) . #16#)
                                       #18# G191 (EXIT NIL))
                                      (COND
                                        (#15# #14#)
                                        ('T (|spadConstant| $ 62)))) . #16#)
                                   (LETT |result|
                                    (CONS
                                     (SPADCALL |antc| (QREFELT $ 63))
                                     |result|) . #16#)
                                   (EXIT
                                    (LETT |ltresult|
                                     (CONS
                                      (SPADCALL |antc|
                                       (SPADCALL |antc| (QREFELT $ 64))
                                       (QREFELT $ 65))
                                      |ltresult|) . #16#))))
                             ('T
                              (SEQ (SPADCALL |pivots| |i| |j|
                                    (QREFELT $ 47))
                                   (SPADCALL |linmat| |i| |lm|
                                    (QREFELT $ 66))
                                   (LETT |i| (+ |i| 1) . #16#)
                                   (EXIT
                                    (LETT |nBasis|
                                     (CONS |firstmon| |nBasis|) . #16#)))))))
                NIL #18# G191 (EXIT NIL))
           (EXIT (CONS |result| |rval|)))))) 

(DEFUN |LGROBP;groebgen;LR;13| (L $)
  (PROG (|xn| #0=#:G1971 |nvar1| #1=#:G1980 |ll| |i| #2=#:G1975
              #3=#:G1973 #4=#:G1974 |val| #5=#:G1981 |f| #6=#:G1982 LL)
    (RETURN
      (SEQ (LETT |xn| (SPADCALL (QREFELT $ 12) '|last| (QREFELT $ 93))
                 . #7=(|LGROBP;groebgen;LR;13|))
           (LETT |val| (SPADCALL |xn| (QREFELT $ 94)) . #7#)
           (LETT |nvar1|
                 (PROG1 (LETT #0# (- (LENGTH (QREFELT $ 12)) 1) . #7#)
                   (|check-subtype| (>= #0# 0) '(|NonNegativeInteger|)
                       #0#)) . #7#)
           (LETT |ll|
                 (PROGN
                   (LETT #1# NIL . #7#)
                   (SEQ (LETT |i| 1 . #7#) G190
                        (COND ((QSGREATERP |i| |nvar1|) #8=(GO G191)))
                        (SEQ (EXIT (LETT #1#
                                    (CONS (RANDOM 11) #1#) . #7#)))
                        (LETT |i| (QSADD1 |i|) . #7#) #9=(GO G190) G191
                        (EXIT (NREVERSE0 #1#)))) . #7#)
           (LETT |val|
                 (SPADCALL |val|
                     (PROGN
                       (LETT #4# NIL . #7#)
                       (SEQ (LETT |i| 1 . #7#) G190
                            (COND ((QSGREATERP |i| |nvar1|) #8#))
                            (SEQ (EXIT (PROGN
                                         (LETT #2#
                                          (SPADCALL
                                           (SPADCALL |ll| |i|
                                            (QREFELT $ 107))
                                           (SPADCALL
                                            (SPADCALL (QREFELT $ 12)
                                             |i| (QREFELT $ 108))
                                            (QREFELT $ 94))
                                           (QREFELT $ 102)) . #7#)
                                         (COND
                                           (#4#
                                            (LETT #3#
                                             (SPADCALL #3# #2#
                                              (QREFELT $ 61)) . #7#))
                                           ('T
                                            (PROGN
                                              (LETT #3# #2# . #7#)
                                              (LETT #4# 'T . #7#)))))))
                            (LETT |i| (QSADD1 |i|) . #7#) #9# G191
                            (EXIT NIL))
                       (COND (#4# #3#) ('T (|spadConstant| $ 62))))
                     (QREFELT $ 61)) . #7#)
           (LETT LL
                 (PROGN
                   (LETT #5# NIL . #7#)
                   (SEQ (LETT |f| NIL . #7#) (LETT #6# L . #7#) G190
                        (COND
                          ((OR (ATOM #6#)
                               (PROGN (LETT |f| (CAR #6#) . #7#) NIL))
                           #8#))
                        (SEQ (EXIT (LETT #5#
                                    (CONS
                                     (SPADCALL
                                      (SPADCALL |f| |xn|
                                       (QREFELT $ 110))
                                      |val| (QREFELT $ 112))
                                     #5#) . #7#)))
                        (LETT #6# (CDR #6#) . #7#) #9# G191
                        (EXIT (NREVERSE0 #5#)))) . #7#)
           (LETT LL (SPADCALL LL (QREFELT $ 114)) . #7#)
           (EXIT (CONS LL |ll|)))))) 

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

(DEFUN |LinGroebnerPackage;| (|#1| |#2|)
  (PROG (DV$1 DV$2 |dv$| $ |pv$| #0=#:G1983 |yx| #1=#:G1984 #2=#:G1826)
    (RETURN
      (SEQ (PROGN
             (LETT DV$1 (|devaluate| |#1|) . #3=(|LinGroebnerPackage|))
             (LETT DV$2 (|devaluate| |#2|) . #3#)
             (LETT |dv$| (LIST '|LinGroebnerPackage| DV$1 DV$2) . #3#)
             (LETT $ (GETREFV 117) . #3#)
             (QSETREFV $ 0 |dv$|)
             (QSETREFV $ 3
                 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #3#))
             (|haddProp| |$ConstructorCache| '|LinGroebnerPackage|
                 (LIST DV$1 DV$2) (CONS 1 $))
             (|stuffDomainSlots| $)
             (QSETREFV $ 6 |#1|)
             (QSETREFV $ 7 |#2|)
             (QSETREFV $ 12
                 (PROGN
                   (LETT #0# NIL . #3#)
                   (SEQ (LETT |yx| NIL . #3#) (LETT #1# |#1| . #3#)
                        G190
                        (COND
                          ((OR (ATOM #1#)
                               (PROGN (LETT |yx| (CAR #1#) . #3#) NIL))
                           (GO G191)))
                        (SEQ (EXIT (LETT #0#
                                    (CONS
                                     (PROG2
                                      (LETT #2#
                                       (SPADCALL |yx| (QREFELT $ 11)) . #3#)
                                      (QCDR #2#)
                                       (|check-union| (QEQCAR #2# 0)
                                        (|OrderedVariableList|
                                         (SPADCALL |yx| (QREFELT $ 11)))
                                        #2#))
                                     #0#) . #3#)))
                        (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                        (EXIT (NREVERSE0 #0#)))))
             $))))) 

(MAKEPROP '|LinGroebnerPackage| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|local| |#2|)
             (|Union| $ '"failed") (|Symbol|) (|OrderedVariableList| 6)
             (0 . |variable|) '|lvar| (5 . |One|) (9 . |Zero|)
             (|Vector| 7) (|Integer|) (|Matrix| 7) (13 . |row|)
             (|Vector| 16) (19 . |elt|) (25 . |elt|) (31 . *) (37 . -)
             (42 . |exquo|) (48 . |setelt|) (55 . -)
             (|Record| (|:| |poly| 28) (|:| |mult| 7))
             (|HomogeneousDistributedMultivariatePolynomial| 6 7)
             (|List| 28) (|GroebnerInternalPackage| 7 78 10 28)
             (61 . |redPo|) (67 . |Zero|) (|Boolean|) (71 . =)
             (77 . |reductum|) (82 . -) (88 . *) (94 . +)
             |LGROBP;computeBasis;2L;7|
             (|DistributedMultivariatePolynomial| 6 7) (100 . |One|)
             (104 . |One|) (|NonNegativeInteger|) (108 . |zero|)
             (114 . |setelt|) (122 . |new|) (128 . |setelt|)
             (|List| 40) |LGROBP;choosemon;DmpLDmp;11| (135 . =)
             (141 . |exquo|) |LGROBP;transform;DmpHdmp;6| (147 . *)
             (153 . |content|) (158 . |gcd|) (164 . |exquo|)
             |LGROBP;coord;HdmpLV;9| (170 . |zero|) (175 . =) (181 . *)
             (187 . +) (193 . |Zero|) (197 . |primitivePart|)
             (202 . |reductum|) (207 . -) (213 . |setRow!|)
             |LGROBP;totolex;LL;3| |LGROBP;minPol;2LOvlHdmp;5|
             |LGROBP;minPol;LOvlHdmp;4| (220 . |coerce|) (225 . **)
             (231 . |primitivePart|) (236 . |leadingCoefficient|)
             (|DirectProduct| (NRTEVAL (LENGTH (QREFELT $ 6))) 43)
             (241 . |degree|) (|Vector| 43) (246 . |coerce|)
             (|HomogeneousDirectProduct|
                 (NRTEVAL (LENGTH (QREFELT $ 6))) 43)
             (251 . |directProduct|) (256 . |monomial|)
             (262 . |degree|) |LGROBP;intcompBasis;Ovl3L;8|
             (267 . |concat|) (273 . =) (279 . |new|)
             (285 . |leadingCoefficient|) (290 . |position|) (|List| 7)
             |LGROBP;anticoord;LDmpLDmp;10| (296 . =) '"last"
             (|List| 10) (302 . |elt|) (308 . |coerce|) (313 . *)
             (|Record| (|:| |poly| 40) (|:| |mult| 7))
             (|GroebnerInternalPackage| 7 74 10 40) (319 . |redPo|)
             (325 . |degree|) (331 . **) (337 . |last|) (342 . *)
             (348 . |eval|)
             (|Record| (|:| |gblist| 48) (|:| |gvlist| 106))
             |LGROBP;linGenPos;LR;12| (|List| 16) (355 . |elt|)
             (361 . |elt|) (|SparseUnivariatePolynomial| $)
             (367 . |univariate|) (|SparseUnivariatePolynomial| 40)
             (373 . |elt|) (|GroebnerPackage| 7 74 10 40)
             (379 . |groebner|)
             (|Record| (|:| |glbase| 48) (|:| |glval| 106))
             |LGROBP;groebgen;LR;13|)
          '#(|transform| 384 |totolex| 389 |minPol| 394 |linGenPos| 407
             |intcompBasis| 412 |groebgen| 419 |coord| 424
             |computeBasis| 430 |choosemon| 435 |anticoord| 441)
          'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 116
                                '(1 10 8 9 11 0 7 0 13 0 7 0 14 2 17 15
                                  0 16 18 2 19 16 0 16 20 2 15 7 0 16
                                  21 2 7 0 0 0 22 1 7 0 0 23 2 7 8 0 0
                                  24 3 15 7 0 16 7 25 2 7 0 0 0 26 2 30
                                  27 28 29 31 0 28 0 32 2 28 33 0 0 34
                                  1 28 0 0 35 2 28 0 0 0 36 2 28 0 7 0
                                  37 2 28 0 0 0 38 0 40 0 41 0 28 0 42
                                  2 17 0 43 43 44 4 17 7 0 16 16 7 45 2
                                  19 0 43 16 46 3 19 16 0 16 16 47 2 40
                                  33 0 0 50 2 40 8 0 0 51 2 28 0 0 0 53
                                  1 28 7 0 54 2 7 0 0 0 55 2 28 8 0 7
                                  56 1 15 0 43 58 2 7 33 0 0 59 2 40 0
                                  7 0 60 2 40 0 0 0 61 0 40 0 62 1 40 0
                                  0 63 1 40 0 0 64 2 40 0 0 0 65 3 17 0
                                  0 16 15 66 1 28 0 10 70 2 28 0 0 43
                                  71 1 28 0 0 72 1 40 7 0 73 1 40 74 0
                                  75 1 74 76 0 77 1 78 0 76 79 2 28 0 7
                                  78 80 1 28 78 0 81 2 29 0 0 0 83 2 29
                                  33 0 0 84 2 15 0 43 7 85 1 28 7 0 86
                                  2 29 16 28 0 87 2 48 33 0 0 90 2 92
                                  10 0 91 93 1 40 0 10 94 2 40 0 0 0 95
                                  2 97 96 40 48 98 2 40 43 0 10 99 2 40
                                  0 0 43 100 1 92 10 0 101 2 40 0 16 0
                                  102 3 40 0 0 10 0 103 2 106 16 0 16
                                  107 2 92 10 0 16 108 2 40 109 0 10
                                  110 2 111 40 0 40 112 1 113 48 48 114
                                  1 0 28 40 52 1 0 48 29 67 2 0 28 29
                                  10 69 3 0 28 29 29 10 68 1 0 104 29
                                  105 3 0 29 10 29 29 82 1 0 115 48 116
                                  2 0 15 28 29 57 1 0 29 29 39 2 0 40
                                  40 48 49 3 0 40 88 40 48 89)))))
          '|lookupComplete|)) 
