
(/VERSIONCHECK 2) 

(DEFUN |PGROEB;lexGroebner;LLL;1| (|lp| |lv| $)
  (PROG (#1=#:G669 |pp| #2=#:G668 |gb| |b| #3=#:G667 |pol| #4=#:G666 OV DP
         |DPoly| PP)
    (RETURN
     (SEQ
      (LETT PP (|PolToPol| |lv| (QREFELT $ 6))
            . #5=(|PGROEB;lexGroebner;LLL;1|))
      (LETT |DPoly| (|DistributedMultivariatePolynomial| |lv| (QREFELT $ 6))
            . #5#)
      (LETT DP (|DirectProduct| (LENGTH |lv|) (|NonNegativeInteger|)) . #5#)
      (LETT OV (|OrderedVariableList| |lv|) . #5#)
      (LETT |b|
            (PROGN
             (LETT #4# NIL . #5#)
             (SEQ (LETT |pol| NIL . #5#) (LETT #3# |lp| . #5#) G190
                  (COND
                   ((OR (ATOM #3#) (PROGN (LETT |pol| (CAR #3#) . #5#) NIL))
                    #6=(GO G191)))
                  (SEQ
                   (EXIT
                    (LETT #4#
                          (CONS
                           (SPADCALL |pol|
                                     (|compiledLookupCheck| '|pToDmp|
                                                            (LIST
                                                             (LIST
                                                              '|DistributedMultivariatePolynomial|
                                                              |lv|
                                                              (|devaluate|
                                                               (ELT $ 6)))
                                                             (LIST
                                                              '|Polynomial|
                                                              (|devaluate|
                                                               (ELT $ 6))))
                                                            PP))
                           #4#)
                          . #5#)))
                  (LETT #3# (CDR #3#) . #5#) #7=(GO G190) G191
                  (EXIT (NREVERSE0 #4#))))
            . #5#)
      (LETT |gb|
            (SPADCALL |b|
                      (|compiledLookupCheck| '|groebner|
                                             (LIST
                                              (LIST '|List|
                                                    (|devaluate| |DPoly|))
                                              (LIST '|List|
                                                    (|devaluate| |DPoly|)))
                                             (|GroebnerPackage| (ELT $ 6) DP OV
                                                                |DPoly|)))
            . #5#)
      (EXIT
       (PROGN
        (LETT #2# NIL . #5#)
        (SEQ (LETT |pp| NIL . #5#) (LETT #1# |gb| . #5#) G190
             (COND
              ((OR (ATOM #1#) (PROGN (LETT |pp| (CAR #1#) . #5#) NIL)) #6#))
             (SEQ
              (EXIT
               (LETT #2#
                     (CONS
                      (SPADCALL |pp|
                                (|compiledLookupCheck| '|dmpToP|
                                                       (LIST
                                                        (LIST '|Polynomial|
                                                              (|devaluate|
                                                               (ELT $ 6)))
                                                        (LIST
                                                         '|DistributedMultivariatePolynomial|
                                                         |lv|
                                                         (|devaluate|
                                                          (ELT $ 6))))
                                                       PP))
                      #2#)
                     . #5#)))
             (LETT #1# (CDR #1#) . #5#) #7# G191 (EXIT (NREVERSE0 #2#))))))))) 

(DEFUN |PGROEB;totalGroebner;LLL;2| (|lp| |lv| $)
  (PROG (#1=#:G677 |pp| #2=#:G676 |gb| |b| #3=#:G675 |pol| #4=#:G674 OV HDP
         |HDPoly| PP)
    (RETURN
     (SEQ
      (LETT PP (|PolToPol| |lv| (QREFELT $ 6))
            . #5=(|PGROEB;totalGroebner;LLL;2|))
      (LETT |HDPoly|
            (|HomogeneousDistributedMultivariatePolynomial| |lv| (QREFELT $ 6))
            . #5#)
      (LETT HDP
            (|HomogeneousDirectProduct| (LENGTH |lv|) (|NonNegativeInteger|))
            . #5#)
      (LETT OV (|OrderedVariableList| |lv|) . #5#)
      (LETT |b|
            (PROGN
             (LETT #4# NIL . #5#)
             (SEQ (LETT |pol| NIL . #5#) (LETT #3# |lp| . #5#) G190
                  (COND
                   ((OR (ATOM #3#) (PROGN (LETT |pol| (CAR #3#) . #5#) NIL))
                    #6=(GO G191)))
                  (SEQ
                   (EXIT
                    (LETT #4#
                          (CONS
                           (SPADCALL |pol|
                                     (|compiledLookupCheck| '|pToHdmp|
                                                            (LIST
                                                             (LIST
                                                              '|HomogeneousDistributedMultivariatePolynomial|
                                                              |lv|
                                                              (|devaluate|
                                                               (ELT $ 6)))
                                                             (LIST
                                                              '|Polynomial|
                                                              (|devaluate|
                                                               (ELT $ 6))))
                                                            PP))
                           #4#)
                          . #5#)))
                  (LETT #3# (CDR #3#) . #5#) #7=(GO G190) G191
                  (EXIT (NREVERSE0 #4#))))
            . #5#)
      (LETT |gb|
            (SPADCALL |b|
                      (|compiledLookupCheck| '|groebner|
                                             (LIST
                                              (LIST '|List|
                                                    (|devaluate| |HDPoly|))
                                              (LIST '|List|
                                                    (|devaluate| |HDPoly|)))
                                             (|GroebnerPackage| (ELT $ 6) HDP
                                                                OV |HDPoly|)))
            . #5#)
      (EXIT
       (PROGN
        (LETT #2# NIL . #5#)
        (SEQ (LETT |pp| NIL . #5#) (LETT #1# |gb| . #5#) G190
             (COND
              ((OR (ATOM #1#) (PROGN (LETT |pp| (CAR #1#) . #5#) NIL)) #6#))
             (SEQ
              (EXIT
               (LETT #2#
                     (CONS
                      (SPADCALL |pp|
                                (|compiledLookupCheck| '|hdmpToP|
                                                       (LIST
                                                        (LIST '|Polynomial|
                                                              (|devaluate|
                                                               (ELT $ 6)))
                                                        (LIST
                                                         '|HomogeneousDistributedMultivariatePolynomial|
                                                         |lv|
                                                         (|devaluate|
                                                          (ELT $ 6))))
                                                       PP))
                      #2#)
                     . #5#)))
             (LETT #1# (CDR #1#) . #5#) #7# G191 (EXIT (NREVERSE0 #2#))))))))) 

(DEFUN |PolyGroebner| (#1=#:G678)
  (PROG ()
    (RETURN
     (PROG (#2=#:G679)
       (RETURN
        (COND
         ((LETT #2#
                (|lassocShiftWithFunction| (LIST (|devaluate| #1#))
                                           (HGET |$ConstructorCache|
                                                 '|PolyGroebner|)
                                           '|domainEqualList|)
                . #3=(|PolyGroebner|))
          (|CDRwithIncrement| #2#))
         ('T
          (UNWIND-PROTECT (PROG1 (|PolyGroebner;| #1#) (LETT #2# T . #3#))
            (COND
             ((NOT #2#) (HREM |$ConstructorCache| '|PolyGroebner|))))))))))) 

(DEFUN |PolyGroebner;| (|#1|)
  (PROG (|pv$| $ |dv$| DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|PolyGroebner|))
      (LETT |dv$| (LIST '|PolyGroebner| DV$1) . #1#)
      (LETT $ (GETREFV 11) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|PolyGroebner| (LIST DV$1) (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      $)))) 

(MAKEPROP '|PolyGroebner| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|List| (|Polynomial| 6))
              (|List| (|Symbol|)) |PGROEB;lexGroebner;LLL;1|
              |PGROEB;totalGroebner;LLL;2|)
           '#(|totalGroebner| 0 |lexGroebner| 6) 'NIL
           (CONS (|makeByteWordVec2| 1 'NIL)
                 (CONS '#()
                       (CONS '#()
                             (|makeByteWordVec2| 10
                                                 '(2 0 7 7 8 10 2 0 7 7 8
                                                   9)))))
           '|lookupComplete|)) 
