
(/VERSIONCHECK 2) 

(PUT '|GDMP;zero?;$B;1| '|SPADreplace| 'NULL) 

(DEFUN |GDMP;zero?;$B;1| (|p| $) (NULL |p|)) 

(DEFUN |GDMP;totalDegree;$Nni;2| (|p| $)
  (PROG (|t| #0=#:G1845 #1=#:G1841 #2=#:G1839 #3=#:G1840)
    (RETURN
      (SEQ (COND
             ((SPADCALL |p| (QREFELT $ 13)) 0)
             ('T
              (PROGN
                (LETT #3# NIL . #4=(|GDMP;totalDegree;$Nni;2|))
                (SEQ (LETT |t| NIL . #4#) (LETT #0# |p| . #4#) G190
                     (COND
                       ((OR (ATOM #0#)
                            (PROGN (LETT |t| (CAR #0#) . #4#) NIL))
                        (GO G191)))
                     (SEQ (EXIT (PROGN
                                  (LETT #1#
                                        (SPADCALL (ELT $ 18)
                                         (SPADCALL (QCAR |t|)
                                          (QREFELT $ 15))
                                         0 (QREFELT $ 20)) . #4#)
                                  (COND
                                    (#3#
                                     (LETT #2# (MAX #2# #1#) . #4#))
                                    ('T
                                     (PROGN
                                       (LETT #2# #1# . #4#)
                                       (LETT #3# 'T . #4#)))))))
                     (LETT #0# (CDR #0#) . #4#) (GO G190) G191
                     (EXIT NIL))
                (COND (#3# #2#) ('T (|IdentityError| '|max|)))))))))) 

(DEFUN |GDMP;monomial;$OvlNni$;3| (|p| |v| |e| $)
  (PROG (|locv| #0=#:G1850 #1=#:G1851 |z| #2=#:G1852)
    (RETURN
      (SEQ (LETT |locv| (SPADCALL |v| (QREFELT $ 24))
                 . #3=(|GDMP;monomial;$OvlNni$;3|))
           (EXIT (SPADCALL |p|
                     (SPADCALL (|spadConstant| $ 26)
                         (SPADCALL
                             (PRIMVEC2ARR
                                 (PROGN
                                   (LETT #0#
                                    (GETREFV #4=(QREFELT $ 11)) . #3#)
                                   (SEQ (LETT #1# 0 . #3#)
                                    (LETT |z| 1 . #3#)
                                    (LETT #2# #4# . #3#) G190
                                    (COND
                                      ((QSGREATERP |z| #2#) (GO G191)))
                                    (SEQ
                                     (EXIT
                                      (SETELT #0# #1#
                                       (COND
                                         ((EQL |z| |locv|) |e|)
                                         ('T 0)))))
                                    (LETT |z|
                                     (PROG1 (QSADD1 |z|)
                                       (LETT #1# (QSADD1 #1#) . #3#)) . #3#)
                                    (GO G190) G191 (EXIT NIL))
                                   #0#))
                             (QREFELT $ 27))
                         (QREFELT $ 28))
                     (QREFELT $ 29))))))) 

(DEFUN |GDMP;coerce;Ovl$;4| (|v| $)
  (SPADCALL (|spadConstant| $ 25) |v| 1 (QREFELT $ 30))) 

(DEFUN |GDMP;listCoef| (|p| $)
  (PROG (#0=#:G1857 |rec| #1=#:G1858)
    (RETURN
      (SEQ (PROGN
             (LETT #0# NIL . #2=(|GDMP;listCoef|))
             (SEQ (LETT |rec| NIL . #2#) (LETT #1# |p| . #2#) G190
                  (COND
                    ((OR (ATOM #1#)
                         (PROGN (LETT |rec| (CAR #1#) . #2#) NIL))
                     (GO G191)))
                  (SEQ (EXIT (LETT #0# (CONS (QCDR |rec|) #0#) . #2#)))
                  (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                  (EXIT (NREVERSE0 #0#)))))))) 

(DEFUN |GDMP;mainVariable;$U;6| (|p| $)
  (PROG (|v| #0=#:G1873 #1=#:G1860 |vv| #2=#:G1872)
    (RETURN
      (SEQ (EXIT (COND
                   ((SPADCALL |p| (QREFELT $ 13)) (CONS 1 "failed"))
                   ('T
                    (SEQ (SEQ (LETT |v| NIL
                                    . #3=(|GDMP;mainVariable;$U;6|))
                              (LETT #0# (QREFELT $ 6) . #3#) G190
                              (COND
                                ((OR (ATOM #0#)
                                     (PROGN
                                       (LETT |v| (CAR #0#) . #3#)
                                       NIL))
                                 (GO G191)))
                              (SEQ (LETT |vv|
                                    (PROG2
                                     (LETT #1#
                                      (SPADCALL |v| (QREFELT $ 34)) . #3#)
                                     (QCDR #1#)
                                      (|check-union| (QEQCAR #1# 0)
                                       (|OrderedVariableList|
                                        (QREFELT $ 6))
                                       #1#)) . #3#)
                                   (EXIT
                                    (COND
                                      ((< 0
                                        (SPADCALL |p| |vv|
                                         (QREFELT $ 37)))
                                       (PROGN
                                         (LETT #2# (CONS 0 |vv|) . #3#)
                                         (GO #2#))))))
                              (LETT #0# (CDR #0#) . #3#) (GO G190) G191
                              (EXIT NIL))
                         (EXIT (CONS 1 "failed"))))))
           #2# (EXIT #2#))))) 

(DEFUN |GDMP;ground?;$B;7| (|p| $)
  (QEQCAR (SPADCALL |p| (QREFELT $ 39)) 1)) 

(DEFUN |GDMP;retract;$R;8| (|p| $)
  (COND
    ((NULL (SPADCALL |p| (QREFELT $ 40))) (|error| "not a constant"))
    ('T (SPADCALL |p| (QREFELT $ 41))))) 

(DEFUN |GDMP;retractIfCan;$U;9| (|p| $)
  (COND
    ((SPADCALL |p| (QREFELT $ 40))
     (CONS 0 (SPADCALL |p| (QREFELT $ 41))))
    ('T (CONS 1 "failed")))) 

(DEFUN |GDMP;degree;$OvlNni;10| (|p| |v| $)
  (PROG (|locv| |t| |j| |res|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |p| (QREFELT $ 13)) 0)
             ('T
              (SEQ (LETT |res| 0 . #0=(|GDMP;degree;$OvlNni;10|))
                   (LETT |locv| (SPADCALL |v| (QREFELT $ 24)) . #0#)
                   (SEQ G190
                        (COND
                          ((NULL (COND ((NULL |p|) 'NIL) ('T 'T)))
                           (GO G191)))
                        (SEQ (LETT |t| (|SPADfirst| |p|) . #0#)
                             (LETT |j|
                                   (SPADCALL (QCAR |t|) |locv|
                                    (QREFELT $ 46)) . #0#)
                             (COND
                               ((< |res| |j|) (LETT |res| |j| . #0#)))
                             (EXIT (LETT |p| (CDR |p|) . #0#)))
                        NIL (GO G190) G191 (EXIT NIL))
                   (EXIT |res|)))))))) 

(DEFUN |GDMP;minimumDegree;$OvlNni;11| (|p| |v| $)
  (SPADCALL (SPADCALL |p| |v| (QREFELT $ 48)) (QREFELT $ 50))) 

(DEFUN |GDMP;differentiate;$Ovl$;12| (|p| |v| $)
  (SPADCALL (SPADCALL (SPADCALL |p| |v| (QREFELT $ 48)) (QREFELT $ 52))
      |v| (QREFELT $ 53))) 

(DEFUN |GDMP;degree;$LL;13| (|p| |lv| $)
  (PROG (#0=#:G1899 |v| #1=#:G1900)
    (RETURN
      (SEQ (PROGN
             (LETT #0# NIL . #2=(|GDMP;degree;$LL;13|))
             (SEQ (LETT |v| NIL . #2#) (LETT #1# |lv| . #2#) G190
                  (COND
                    ((OR (ATOM #1#)
                         (PROGN (LETT |v| (CAR #1#) . #2#) NIL))
                     (GO G191)))
                  (SEQ (EXIT (LETT #0#
                                   (CONS
                                    (SPADCALL |p| |v| (QREFELT $ 37))
                                    #0#) . #2#)))
                  (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                  (EXIT (NREVERSE0 #0#)))))))) 

(DEFUN |GDMP;minimumDegree;$LL;14| (|p| |lv| $)
  (PROG (#0=#:G1903 |v| #1=#:G1904)
    (RETURN
      (SEQ (PROGN
             (LETT #0# NIL . #2=(|GDMP;minimumDegree;$LL;14|))
             (SEQ (LETT |v| NIL . #2#) (LETT #1# |lv| . #2#) G190
                  (COND
                    ((OR (ATOM #1#)
                         (PROGN (LETT |v| (CAR #1#) . #2#) NIL))
                     (GO G191)))
                  (SEQ (EXIT (LETT #0#
                                   (CONS
                                    (SPADCALL |p| |v| (QREFELT $ 51))
                                    #0#) . #2#)))
                  (LETT #1# (CDR #1#) . #2#) (GO G190) G191
                  (EXIT (NREVERSE0 #0#)))))))) 

(DEFUN |GDMP;numberOfMonomials;$Nni;15| (|p| $)
  (PROG (|l|)
    (RETURN
      (SEQ (LETT |l| |p| |GDMP;numberOfMonomials;$Nni;15|)
           (EXIT (COND ((NULL |l|) 1) ('T (LENGTH |l|)))))))) 

(DEFUN |GDMP;monomial?;$B;16| (|p| $)
  (PROG (|l|)
    (RETURN
      (SEQ (LETT |l| |p| |GDMP;monomial?;$B;16|)
           (EXIT (COND ((NULL |l|) 'T) ('T (NULL (CDR |l|))))))))) 

(DEFUN |GDMP;maxNorm| (|p| $)
  (PROG (|l| |r| #0=#:G1913 |m|)
    (RETURN
      (SEQ (LETT |l| NIL . #1=(|GDMP;maxNorm|))
           (LETT |m| (|spadConstant| $ 35) . #1#)
           (SEQ (LETT |r| NIL . #1#)
                (LETT #0# (|GDMP;listCoef| |p| $) . #1#) G190
                (COND
                  ((OR (ATOM #0#)
                       (PROGN (LETT |r| (CAR #0#) . #1#) NIL))
                   (GO G191)))
                (SEQ (EXIT (COND
                             ((SPADCALL |m| |r| (QREFELT $ 61))
                              (LETT |m| |r| . #1#))
                             ((SPADCALL |m|
                                  (SPADCALL |r| (QREFELT $ 62))
                                  (QREFELT $ 61))
                              (LETT |m|
                                    (SPADCALL |r| (QREFELT $ 62)) . #1#)))))
                (LETT #0# (CDR #0#) . #1#) (GO G190) G191 (EXIT NIL))
           (EXIT |m|))))) 

(DEFUN |GDMP;/;$R$;18| (|p| |r| $)
  (SPADCALL (SPADCALL |r| (QREFELT $ 63)) |p| (QREFELT $ 64))) 

(DEFUN |GDMP;variables;$L;19| (|p| $)
  (PROG (|maxdeg| |tdeg| #0=#:G1925 #1=#:G1926 |i| #2=#:G1927
            #3=#:G1921)
    (RETURN
      (SEQ (LETT |maxdeg| (SPADCALL (QREFELT $ 11) 0 (QREFELT $ 66))
                 . #4=(|GDMP;variables;$L;19|))
           (SEQ G190
                (COND
                  ((NULL (COND
                           ((SPADCALL |p| (QREFELT $ 13)) 'NIL)
                           ('T 'T)))
                   #5=(GO G191)))
                (SEQ (LETT |tdeg| (SPADCALL |p| (QREFELT $ 67)) . #4#)
                     (LETT |p| (SPADCALL |p| (QREFELT $ 68)) . #4#)
                     (EXIT (SEQ (LETT |i| 1 . #4#)
                                (LETT #0# (QREFELT $ 11) . #4#) G190
                                (COND ((QSGREATERP |i| #0#) #5#))
                                (SEQ (EXIT
                                      (SPADCALL |maxdeg| |i|
                                       (MAX
                                        (SPADCALL |maxdeg| |i|
                                         (QREFELT $ 69))
                                        (SPADCALL |tdeg| |i|
                                         (QREFELT $ 46)))
                                       (QREFELT $ 70))))
                                (LETT |i| (QSADD1 |i|) . #4#)
                                #6=(GO G190) G191 (EXIT NIL))))
                NIL #6# G191 (EXIT NIL))
           (EXIT (PROGN
                   (LETT #1# NIL . #4#)
                   (SEQ (LETT |i| 1 . #4#)
                        (LETT #2# (QREFELT $ 11) . #4#) G190
                        (COND ((QSGREATERP |i| #2#) #5#))
                        (SEQ (EXIT (COND
                                     ((COND
                                        ((EQL
                                          (SPADCALL |maxdeg| |i|
                                           (QREFELT $ 69))
                                          0)
                                         'NIL)
                                        ('T 'T))
                                      (LETT #1#
                                       (CONS
                                        (SPADCALL
                                         (PROG1 (LETT #3# |i| . #4#)
                                           (|check-subtype| (> #3# 0)
                                            '(|PositiveInteger|) #3#))
                                         (QREFELT $ 71))
                                        #1#) . #4#)))))
                        (LETT |i| (QSADD1 |i|) . #4#) #6# G191
                        (EXIT (NREVERSE0 #1#))))))))) 

(DEFUN |GDMP;reorder;$L$;20| (|p| |perm| $)
  (PROG (#0=#:G1935 |term| #1=#:G1936 #2=#:G1937 #3=#:G1938 |j|
            #4=#:G1939 |q|)
    (RETURN
      (SEQ (COND
             ((NULL (EQL (LENGTH |perm|) (QREFELT $ 11)))
              (|error| "must be a complete permutation of all vars"))
             ('T
              (SEQ (LETT |q|
                         (PROGN
                           (LETT #0# NIL . #5=(|GDMP;reorder;$L$;20|))
                           (SEQ (LETT |term| NIL . #5#)
                                (LETT #1# |p| . #5#) G190
                                (COND
                                  ((OR (ATOM #1#)
                                    (PROGN
                                      (LETT |term| (CAR #1#) . #5#)
                                      NIL))
                                   #6=(GO G191)))
                                (SEQ (EXIT
                                      (LETT #0#
                                       (CONS
                                        (CONS
                                         (SPADCALL
                                          (PRIMVEC2ARR
                                           (PROGN
                                             (LETT #2#
                                              (GETREFV (SIZE |perm|)) . #5#)
                                             (SEQ (LETT #3# 0 . #5#)
                                              (LETT |j| NIL . #5#)
                                              (LETT #4# |perm| . #5#)
                                              G190
                                              (COND
                                                ((OR (ATOM #4#)
                                                  (PROGN
                                                    (LETT |j|
                                                     (CAR #4#) . #5#)
                                                    NIL))
                                                 #6#))
                                              (SEQ
                                               (EXIT
                                                (SETELT #2# #3#
                                                 (SPADCALL
                                                  (QCAR |term|) |j|
                                                  (QREFELT $ 46)))))
                                              (LETT #4#
                                               (PROG1 (CDR #4#)
                                                 (LETT #3#
                                                  (QSADD1 #3#) . #5#)) . #5#)
                                              #7=(GO G190) G191
                                              (EXIT NIL))
                                             #2#))
                                          (QREFELT $ 27))
                                         (QCDR |term|))
                                        #0#) . #5#)))
                                (LETT #1# (CDR #1#) . #5#) #7# G191
                                (EXIT (NREVERSE0 #0#)))) . #5#)
                   (EXIT (SPADCALL (CONS #'|GDMP;reorder;$L$;20!0| $)
                             |q| (QREFELT $ 75)))))))))) 

(DEFUN |GDMP;reorder;$L$;20!0| (|#1| |#2| $)
  (SPADCALL (QCAR |#2|) (QCAR |#1|) (QREFELT $ 73))) 

(DEFUN |GDMP;univariate;$OvlSup;21| (|p| |v| $)
  (PROG (|exp| |locv| #0=#:G1946 #1=#:G1947 |i| #2=#:G1948 |deg|
               |nexp|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |p| (QREFELT $ 13)) (|spadConstant| $ 78))
             ('T
              (SEQ (LETT |exp| (SPADCALL |p| (QREFELT $ 67))
                         . #3=(|GDMP;univariate;$OvlSup;21|))
                   (LETT |locv| (SPADCALL |v| (QREFELT $ 24)) . #3#)
                   (LETT |deg| 0 . #3#)
                   (LETT |nexp|
                         (SPADCALL
                             (PRIMVEC2ARR
                                 (PROGN
                                   (LETT #0#
                                    (GETREFV #4=(QREFELT $ 11)) . #3#)
                                   (SEQ (LETT #1# 0 . #3#)
                                    (LETT |i| 1 . #3#)
                                    (LETT #2# #4# . #3#) G190
                                    (COND
                                      ((QSGREATERP |i| #2#) (GO G191)))
                                    (SEQ
                                     (EXIT
                                      (SETELT #0# #1#
                                       (COND
                                         ((EQL |i| |locv|)
                                          (SEQ
                                           (LETT |deg|
                                            (SPADCALL |exp| |i|
                                             (QREFELT $ 46)) . #3#)
                                           (EXIT 0)))
                                         ('T
                                          (SPADCALL |exp| |i|
                                           (QREFELT $ 46)))))))
                                    (LETT |i|
                                     (PROG1 (QSADD1 |i|)
                                       (LETT #1# (QSADD1 #1#) . #3#)) . #3#)
                                    (GO G190) G191 (EXIT NIL))
                                   #0#))
                             (QREFELT $ 27)) . #3#)
                   (EXIT (SPADCALL
                             (SPADCALL
                                 (SPADCALL
                                     (SPADCALL |p| (QREFELT $ 41))
                                     |nexp| (QREFELT $ 28))
                                 |deg| (QREFELT $ 79))
                             (SPADCALL (SPADCALL |p| (QREFELT $ 68))
                                 |v| (QREFELT $ 48))
                             (QREFELT $ 80)))))))))) 

(DEFUN |GDMP;eval;$Ovl2$;22| (|p| |v| |val| $)
  (SPADCALL (SPADCALL |p| |v| (QREFELT $ 48)) |val| (QREFELT $ 81))) 

(DEFUN |GDMP;eval;$OvlR$;23| (|p| |v| |val| $)
  (SPADCALL |p| |v| (SPADCALL |val| (QREFELT $ 83)) (QREFELT $ 82))) 

(DEFUN |GDMP;eval;$LL$;24| (|p| |lv| |lval| $)
  (COND
    ((SPADCALL |lv| NIL (QREFELT $ 85)) |p|)
    ('T
     (SPADCALL
         (SPADCALL |p| (|SPADfirst| |lv|)
             (SPADCALL (|SPADfirst| |lval|) (QREFELT $ 83))
             (QREFELT $ 82))
         (CDR |lv|) (CDR |lval|) (QREFELT $ 87))))) 

(DEFUN |GDMP;evalSortedVarlist| (|p| |Lvar| |Lpval| $)
  (PROG (|v| |pv| |mvar| |pval| |pts|)
    (RETURN
      (SEQ (LETT |v| (SPADCALL |p| (QREFELT $ 39))
                 . #0=(|GDMP;evalSortedVarlist|))
           (EXIT (COND
                   ((QEQCAR |v| 1) |p|)
                   (#1='T
                    (SEQ (LETT |pv| (QCDR |v|) . #0#)
                         (COND
                           ((OR (SPADCALL |Lvar| NIL (QREFELT $ 85))
                                (SPADCALL |Lpval| NIL (QREFELT $ 89)))
                            (EXIT |p|)))
                         (LETT |mvar| (|SPADfirst| |Lvar|) . #0#)
                         (EXIT (COND
                                 ((SPADCALL |pv| |mvar| (QREFELT $ 90))
                                  (|GDMP;evalSortedVarlist| |p|
                                      (CDR |Lvar|)
                                      (SPADCALL |Lpval| '|rest|
                                       (QREFELT $ 92))
                                      $))
                                 (#1#
                                  (SEQ (LETT |pval|
                                        (SPADCALL |Lpval| '|first|
                                         (QREFELT $ 94)) . #0#)
                                       (LETT |pts|
                                        (SPADCALL
                                         (CONS
                                          #'|GDMP;evalSortedVarlist!0|
                                          (VECTOR $ |Lpval| |Lvar|))
                                         (SPADCALL |p| |pv|
                                          (QREFELT $ 48))
                                         (QREFELT $ 96)) . #0#)
                                       (EXIT
                                        (COND
                                          ((SPADCALL |mvar| |pv|
                                            (QREFELT $ 97))
                                           (SPADCALL |pts| |pval|
                                            (QREFELT $ 81)))
                                          (#1#
                                           (SPADCALL |pts| |pv|
                                            (QREFELT $ 53))))))))))))))))) 

(DEFUN |GDMP;evalSortedVarlist!0| (|#1| $$)
  (|GDMP;evalSortedVarlist| |#1| (QREFELT $$ 2) (QREFELT $$ 1)
      (QREFELT $$ 0))) 

(DEFUN |GDMP;eval;$LL$;26| (|p| |Lvar| |Lpval| $)
  (PROG (|nlvar| #0=#:G1964 |mvar| #1=#:G1965 |nlpval|)
    (RETURN
      (SEQ (LETT |nlvar|
                 (SPADCALL (CONS #'|GDMP;eval;$LL$;26!0| $) |Lvar|
                     (QREFELT $ 99))
                 . #2=(|GDMP;eval;$LL$;26|))
           (LETT |nlpval|
                 (COND
                   ((SPADCALL |Lvar| |nlvar| (QREFELT $ 85)) |Lpval|)
                   ('T
                    (LETT |nlpval|
                          (PROGN
                            (LETT #0# NIL . #2#)
                            (SEQ (LETT |mvar| NIL . #2#)
                                 (LETT #1# |nlvar| . #2#) G190
                                 (COND
                                   ((OR (ATOM #1#)
                                     (PROGN
                                       (LETT |mvar| (CAR #1#) . #2#)
                                       NIL))
                                    (GO G191)))
                                 (SEQ (EXIT
                                       (LETT #0#
                                        (CONS
                                         (SPADCALL |Lpval|
                                          (SPADCALL |mvar| |Lvar|
                                           (QREFELT $ 100))
                                          (QREFELT $ 101))
                                         #0#) . #2#)))
                                 (LETT #1# (CDR #1#) . #2#) (GO G190)
                                 G191 (EXIT (NREVERSE0 #0#)))) . #2#))) . #2#)
           (EXIT (|GDMP;evalSortedVarlist| |p| |nlvar| |nlpval| $)))))) 

(DEFUN |GDMP;eval;$LL$;26!0| (|#1| |#2| $)
  (SPADCALL |#2| |#1| (QREFELT $ 90))) 

(DEFUN |GDMP;multivariate;SupOvl$;27| (|p1| |v| $)
  (COND
    ((SPADCALL (|spadConstant| $ 78) |p1| (QREFELT $ 104))
     (|spadConstant| $ 16))
    ((EQL (SPADCALL |p1| (QREFELT $ 105)) 0)
     (SPADCALL |p1| (QREFELT $ 106)))
    ('T
     (SPADCALL
         (SPADCALL (SPADCALL |p1| (QREFELT $ 106))
             (SPADCALL (SPADCALL |v| (QREFELT $ 31))
                 (SPADCALL |p1| (QREFELT $ 105)) (QREFELT $ 107))
             (QREFELT $ 29))
         (SPADCALL (SPADCALL |p1| (QREFELT $ 108)) |v| (QREFELT $ 53))
         (QREFELT $ 109))))) 

(DEFUN |GDMP;univariate;$Sup;28| (|p| $)
  (PROG (|v| |ans| |q|)
    (RETURN
      (SEQ (LETT |v| (SPADCALL |p| (QREFELT $ 39))
                 . #0=(|GDMP;univariate;$Sup;28|))
           (EXIT (COND
                   ((QEQCAR |v| 1)
                    (SPADCALL (SPADCALL |p| (QREFELT $ 41)) 0
                        (QREFELT $ 111)))
                   ('T
                    (SEQ (LETT |q|
                               (SPADCALL |p| (QCDR |v|) (QREFELT $ 48)) . #0#)
                         (LETT |ans| (|spadConstant| $ 112) . #0#)
                         (SEQ G190
                              (COND
                                ((NULL (COND
                                         ((SPADCALL |q|
                                           (|spadConstant| $ 78)
                                           (QREFELT $ 104))
                                          'NIL)
                                         ('T 'T)))
                                 (GO G191)))
                              (SEQ (LETT |ans|
                                    (SPADCALL |ans|
                                     (SPADCALL
                                      (SPADCALL
                                       (SPADCALL |q| (QREFELT $ 106))
                                       (QREFELT $ 113))
                                      (SPADCALL |q| (QREFELT $ 105))
                                      (QREFELT $ 111))
                                     (QREFELT $ 114)) . #0#)
                                   (EXIT
                                    (LETT |q|
                                     (SPADCALL |q| (QREFELT $ 108)) . #0#)))
                              NIL (GO G190) G191 (EXIT NIL))
                         (EXIT |ans|))))))))) 

(DEFUN |GDMP;multivariate;SupOvl$;29| (|p| |v| $)
  (COND
    ((SPADCALL (|spadConstant| $ 112) |p| (QREFELT $ 116))
     (|spadConstant| $ 16))
    ('T
     (SPADCALL
         (SPADCALL (SPADCALL |p| (QREFELT $ 117))
             (SPADCALL (|spadConstant| $ 25) |v|
                 (SPADCALL |p| (QREFELT $ 118)) (QREFELT $ 30))
             (QREFELT $ 64))
         (SPADCALL (SPADCALL |p| (QREFELT $ 119)) |v| (QREFELT $ 120))
         (QREFELT $ 109))))) 

(DEFUN |GDMP;content;$R;30| (|p| $)
  (PROG (|t| #0=#:G1984 #1=#:G1981 #2=#:G1979 #3=#:G1980)
    (RETURN
      (SEQ (COND
             ((SPADCALL |p| (QREFELT $ 13)) (|spadConstant| $ 35))
             ('T
              (PROGN
                (LETT #3# NIL . #4=(|GDMP;content;$R;30|))
                (SEQ (LETT |t| NIL . #4#) (LETT #0# |p| . #4#) G190
                     (COND
                       ((OR (ATOM #0#)
                            (PROGN (LETT |t| (CAR #0#) . #4#) NIL))
                        (GO G191)))
                     (SEQ (EXIT (PROGN
                                  (LETT #1# (QCDR |t|) . #4#)
                                  (COND
                                    (#3#
                                     (LETT #2#
                                      (SPADCALL #2# #1#
                                       (QREFELT $ 121)) . #4#))
                                    ('T
                                     (PROGN
                                       (LETT #2# #1# . #4#)
                                       (LETT #3# 'T . #4#)))))))
                     (LETT #0# (CDR #0#) . #4#) (GO G190) G191
                     (EXIT NIL))
                (COND (#3# #2#) ('T (|spadConstant| $ 35)))))))))) 

(DEFUN |GDMP;gcd;3$;31| (|p| |q| $)
  (PROG (|pv| |qv| |r|)
    (RETURN
      (SEQ (LETT |pv| (SPADCALL |p| (QREFELT $ 39))
                 . #0=(|GDMP;gcd;3$;31|))
           (EXIT (COND
                   ((QEQCAR |pv| 1)
                    (SEQ (LETT |r| (SPADCALL |p| (QREFELT $ 41)) . #0#)
                         (EXIT (COND
                                 ((SPADCALL |r| (|spadConstant| $ 35)
                                      (QREFELT $ 123))
                                  |q|)
                                 (#1='T
                                  (SPADCALL
                                      (SPADCALL |r|
                                       (SPADCALL |q| (QREFELT $ 122))
                                       (QREFELT $ 121))
                                      (QREFELT $ 83)))))))
                   (#1#
                    (SEQ (LETT |qv|
                               (SPADCALL |q| (QREFELT $ 39)) . #0#)
                         (EXIT (COND
                                 ((QEQCAR |qv| 1)
                                  (SEQ (LETT |r|
                                        (SPADCALL |q| (QREFELT $ 41)) . #0#)
                                       (EXIT
                                        (COND
                                          ((SPADCALL |r|
                                            (|spadConstant| $ 35)
                                            (QREFELT $ 123))
                                           |p|)
                                          (#1#
                                           (SPADCALL
                                            (SPADCALL |r|
                                             (SPADCALL |p|
                                              (QREFELT $ 122))
                                             (QREFELT $ 121))
                                            (QREFELT $ 83)))))))
                                 ((SPADCALL (QCDR |pv|) (QCDR |qv|)
                                      (QREFELT $ 90))
                                  (SPADCALL |p|
                                      (SPADCALL
                                       (SPADCALL |q| (QCDR |qv|)
                                        (QREFELT $ 48))
                                       (QREFELT $ 124))
                                      (QREFELT $ 125)))
                                 ((SPADCALL (QCDR |qv|) (QCDR |pv|)
                                      (QREFELT $ 90))
                                  (SPADCALL |q|
                                      (SPADCALL
                                       (SPADCALL |p| (QCDR |pv|)
                                        (QREFELT $ 48))
                                       (QREFELT $ 124))
                                      (QREFELT $ 125)))
                                 (#1#
                                  (SPADCALL
                                      (SPADCALL
                                       (SPADCALL |p| (QCDR |pv|)
                                        (QREFELT $ 48))
                                       (SPADCALL |q| (QCDR |qv|)
                                        (QREFELT $ 48))
                                       (QREFELT $ 126))
                                      (QCDR |pv|) (QREFELT $ 53))))))))))))) 

(DEFUN |GDMP;gcd;3$;32| (|p| |q| $)
  (SPADCALL |p| |q| (QREFELT $ 128))) 

(DEFUN |GDMP;gcd;3$;33| (|p| |q| $)
  (PROG (|pv| |qv| |r|)
    (RETURN
      (SEQ (LETT |pv| (SPADCALL |p| (QREFELT $ 39))
                 . #0=(|GDMP;gcd;3$;33|))
           (EXIT (COND
                   ((QEQCAR |pv| 1)
                    (SEQ (LETT |r| (SPADCALL |p| (QREFELT $ 41)) . #0#)
                         (EXIT (COND
                                 ((SPADCALL |r| (|spadConstant| $ 35)
                                      (QREFELT $ 123))
                                  |q|)
                                 (#1='T
                                  (SPADCALL
                                      (SPADCALL |r|
                                       (SPADCALL |q| (QREFELT $ 122))
                                       (QREFELT $ 121))
                                      (QREFELT $ 83)))))))
                   (#1#
                    (SEQ (LETT |qv|
                               (SPADCALL |q| (QREFELT $ 39)) . #0#)
                         (EXIT (COND
                                 ((QEQCAR |qv| 1)
                                  (SEQ (LETT |r|
                                        (SPADCALL |q| (QREFELT $ 41)) . #0#)
                                       (EXIT
                                        (COND
                                          ((SPADCALL |r|
                                            (|spadConstant| $ 35)
                                            (QREFELT $ 123))
                                           |p|)
                                          (#1#
                                           (SPADCALL
                                            (SPADCALL |r|
                                             (SPADCALL |p|
                                              (QREFELT $ 122))
                                             (QREFELT $ 121))
                                            (QREFELT $ 83)))))))
                                 ((SPADCALL (QCDR |pv|) (QCDR |qv|)
                                      (QREFELT $ 90))
                                  (SPADCALL |p|
                                      (SPADCALL
                                       (SPADCALL |q| (QCDR |qv|)
                                        (QREFELT $ 48))
                                       (QREFELT $ 124))
                                      (QREFELT $ 125)))
                                 ((SPADCALL (QCDR |qv|) (QCDR |pv|)
                                      (QREFELT $ 90))
                                  (SPADCALL |q|
                                      (SPADCALL
                                       (SPADCALL |p| (QCDR |pv|)
                                        (QREFELT $ 48))
                                       (QREFELT $ 124))
                                      (QREFELT $ 125)))
                                 (#1#
                                  (SPADCALL
                                      (SPADCALL
                                       (SPADCALL |p| (QCDR |pv|)
                                        (QREFELT $ 48))
                                       (SPADCALL |q| (QCDR |qv|)
                                        (QREFELT $ 48))
                                       (QREFELT $ 126))
                                      (QCDR |pv|) (QREFELT $ 53))))))))))))) 

(DEFUN |GDMP;coerce;$Of;34| (|p| $)
  (PROG (#0=#:G2014 |v| #1=#:G2015 |vl1| |t| #2=#:G2016 |i| #3=#:G2017
            |l| |lt|)
    (RETURN
      (SEQ (COND
             ((SPADCALL |p| (QREFELT $ 13))
              (SPADCALL (|spadConstant| $ 35) (QREFELT $ 130)))
             ('T
              (SEQ (LETT |lt| NIL . #4=(|GDMP;coerce;$Of;34|))
                   (LETT |vl1|
                         (PROGN
                           (LETT #0# NIL . #4#)
                           (SEQ (LETT |v| NIL . #4#)
                                (LETT #1# (QREFELT $ 6) . #4#) G190
                                (COND
                                  ((OR (ATOM #1#)
                                    (PROGN
                                      (LETT |v| (CAR #1#) . #4#)
                                      NIL))
                                   #5=(GO G191)))
                                (SEQ (EXIT
                                      (LETT #0#
                                       (CONS
                                        (SPADCALL |v| (QREFELT $ 131))
                                        #0#) . #4#)))
                                (LETT #1# (CDR #1#) . #4#) #6=(GO G190)
                                G191 (EXIT (NREVERSE0 #0#)))) . #4#)
                   (SEQ (LETT |t| NIL . #4#)
                        (LETT #2# (REVERSE |p|) . #4#) G190
                        (COND
                          ((OR (ATOM #2#)
                               (PROGN (LETT |t| (CAR #2#) . #4#) NIL))
                           #5#))
                        (SEQ (LETT |l| NIL . #4#)
                             (SEQ (LETT |i| 1 . #4#)
                                  (LETT #3# (LENGTH |vl1|) . #4#) G190
                                  (COND ((QSGREATERP |i| #3#) #5#))
                                  (SEQ (EXIT
                                        (COND
                                          ((EQL
                                            (SPADCALL (QCAR |t|) |i|
                                             (QREFELT $ 46))
                                            0)
                                           "next")
                                          ((EQL
                                            (SPADCALL (QCAR |t|) |i|
                                             (QREFELT $ 46))
                                            1)
                                           (LETT |l|
                                            (CONS
                                             (SPADCALL |vl1| |i|
                                              (QREFELT $ 133))
                                             |l|) . #4#))
                                          ('T
                                           (LETT |l|
                                            (CONS
                                             (SPADCALL
                                              (SPADCALL |vl1| |i|
                                               (QREFELT $ 133))
                                              (SPADCALL
                                               (SPADCALL (QCAR |t|) |i|
                                                (QREFELT $ 46))
                                               (QREFELT $ 134))
                                              (QREFELT $ 135))
                                             |l|) . #4#)))))
                                  (LETT |i| (QSADD1 |i|) . #4#) #6#
                                  G191 (EXIT NIL))
                             (LETT |l| (REVERSE |l|) . #4#)
                             (COND
                               ((SPADCALL (QCDR |t|)
                                    (|spadConstant| $ 26)
                                    (QREFELT $ 123))
                                (COND
                                  ((NULL |l|)
                                   (LETT |l|
                                    (CONS
                                     (SPADCALL (QCDR |t|)
                                      (QREFELT $ 130))
                                     |l|) . #4#))))
                               ('T
                                (LETT |l|
                                      (CONS
                                       (SPADCALL (QCDR |t|)
                                        (QREFELT $ 130))
                                       |l|) . #4#)))
                             (EXIT (COND
                                     ((EQL 1 (LENGTH |l|))
                                      (LETT |lt|
                                       (CONS (|SPADfirst| |l|) |lt|) . #4#))
                                     ('T
                                      (LETT |lt|
                                       (CONS
                                        (SPADCALL (ELT $ 137) |l|
                                         (QREFELT $ 139))
                                        |lt|) . #4#)))))
                        (LETT #2# (CDR #2#) . #4#) #6# G191 (EXIT NIL))
                   (EXIT (COND
                           ((EQL 1 (LENGTH |lt|)) (|SPADfirst| |lt|))
                           ('T
                            (SPADCALL (ELT $ 140) |lt| (QREFELT $ 139)))))))))))) 

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

(DEFUN |GeneralDistributedMultivariatePolynomial;| (|#1| |#2| |#3|)
  (PROG (DV$1 DV$2 DV$3 |dv$| $ #0=#:G2043 |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|)
              . #1=(|GeneralDistributedMultivariatePolynomial|))
        (LETT DV$2 (|devaluate| |#2|) . #1#)
        (LETT DV$3 (|devaluate| |#3|) . #1#)
        (LETT |dv$|
              (LIST '|GeneralDistributedMultivariatePolynomial| DV$1
                    DV$2 DV$3) . #1#)
        (LETT $ (GETREFV 172) . #1#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory| |#2|
                                '(|PolynomialFactorizationExplicit|))
                            (|HasCategory| |#2| '(|CommutativeRing|))
                            (|HasCategory| |#2| '(|IntegralDomain|))
                            (OR (|HasCategory| |#2|
                                    '(|CommutativeRing|))
                                (|HasCategory| |#2|
                                    '(|IntegralDomain|)))
                            (|HasCategory| |#2|
                                '(|canonicalUnitNormal|))
                            (AND (|HasCategory|
                                     (|OrderedVariableList| |#1|)
                                     '(|PatternMatchable| (|Float|)))
                                 (|HasCategory| |#2|
                                     '(|PatternMatchable| (|Float|))))
                            (AND (|HasCategory|
                                     (|OrderedVariableList| |#1|)
                                     '(|PatternMatchable| (|Integer|)))
                                 (|HasCategory| |#2|
                                     '(|PatternMatchable| (|Integer|))))
                            (AND (|HasCategory|
                                     (|OrderedVariableList| |#1|)
                                     '(|ConvertibleTo|
                                       (|Pattern| (|Float|))))
                                 (|HasCategory| |#2|
                                     '(|ConvertibleTo|
                                       (|Pattern| (|Float|)))))
                            (AND (|HasCategory|
                                     (|OrderedVariableList| |#1|)
                                     '(|ConvertibleTo|
                                       (|Pattern| (|Integer|))))
                                 (|HasCategory| |#2|
                                     '(|ConvertibleTo|
                                       (|Pattern| (|Integer|)))))
                            (AND (|HasCategory|
                                     (|OrderedVariableList| |#1|)
                                     '(|ConvertibleTo| (|InputForm|)))
                                 (|HasCategory| |#2|
                                     '(|ConvertibleTo| (|InputForm|))))
                            (|HasCategory| |#2| '(|OrderedSet|))
                            (|HasCategory| |#2|
                                '(|LinearlyExplicitRingOver|
                                     (|Integer|)))
                            (|HasCategory| |#2|
                                '(|Algebra| (|Fraction| (|Integer|))))
                            (|HasCategory| |#2|
                                '(|CharacteristicNonZero|))
                            (|HasCategory| |#2|
                                '(|CharacteristicZero|))
                            (|HasCategory| |#2|
                                '(|RetractableTo| (|Integer|)))
                            (|HasCategory| |#2|
                                '(|RetractableTo|
                                     (|Fraction| (|Integer|))))
                            (|HasCategory| |#2| '(|Field|))
                            (OR (|HasCategory| |#2|
                                    '(|Algebra|
                                      (|Fraction| (|Integer|))))
                                (|HasCategory| |#2|
                                    '(|RetractableTo|
                                      (|Fraction| (|Integer|)))))
                            (LETT #0#
                                  (|HasCategory| |#2| '(|GcdDomain|)) . #1#)
                            (OR (|HasCategory| |#2|
                                    '(|CommutativeRing|))
                                #0#
                                (|HasCategory| |#2|
                                    '(|IntegralDomain|))
                                (|HasCategory| |#2|
                                    '(|PolynomialFactorizationExplicit|)))
                            (OR #0#
                                (|HasCategory| |#2|
                                    '(|IntegralDomain|))
                                (|HasCategory| |#2|
                                    '(|PolynomialFactorizationExplicit|)))
                            (OR #0#
                                (|HasCategory| |#2|
                                    '(|PolynomialFactorizationExplicit|))))) . #1#))
        (|haddProp| |$ConstructorCache|
            '|GeneralDistributedMultivariatePolynomial|
            (LIST DV$1 DV$2 DV$3) (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        (QSETREFV $ 7 |#2|)
        (QSETREFV $ 8 |#3|)
        (AND (|HasCategory| $ '(|CharacteristicNonZero|))
             (|HasCategory| |#2| '(|PolynomialFactorizationExplicit|))
             (|augmentPredVector| $ 8388608))
        (AND (OR (AND (|HasCategory| $ '(|CharacteristicNonZero|))
                      (|HasCategory| |#2|
                          '(|PolynomialFactorizationExplicit|)))
                 (|HasCategory| |#2| '(|CharacteristicNonZero|)))
             (|augmentPredVector| $ 16777216))
        (QSETREFV $ 9 (|Record| (|:| |k| |#3|) (|:| |c| |#2|)))
        (QSETREFV $ 10 (|List| (QREFELT $ 9)))
        (QSETREFV $ 11 (LENGTH |#1|))
        (COND
          ((|testBitVector| |pv$| 18)
           (QSETREFV $ 65
               (CONS (|dispatchFunction| |GDMP;/;$R$;18|) $))))
        (COND
          ((|testBitVector| |pv$| 20)
           (PROGN
             (QSETREFV $ 122
                 (CONS (|dispatchFunction| |GDMP;content;$R;30|) $))
             (COND
               ((|HasCategory| |#2| '(|EuclideanDomain|))
                (COND
                  ((|HasCategory| |#2| '(|FloatingPointSystem|))
                   (QSETREFV $ 125
                       (CONS (|dispatchFunction| |GDMP;gcd;3$;31|) $)))
                  ('T
                   (QSETREFV $ 125
                       (CONS (|dispatchFunction| |GDMP;gcd;3$;32|) $)))))
               ('T
                (QSETREFV $ 125
                    (CONS (|dispatchFunction| |GDMP;gcd;3$;33|) $)))))))
        $)))) 

(MAKEPROP '|GeneralDistributedMultivariatePolynomial| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL (|PolynomialRing| 7 8) (|local| |#1|)
             (|local| |#2|) (|local| |#3|) '|Term| '|Rep| '|n|
             (|Boolean|) |GDMP;zero?;$B;1| (|Vector| 17) (0 . |coerce|)
             (5 . |Zero|) (|NonNegativeInteger|) (9 . +)
             (|Mapping| 17 17 17) (15 . |reduce|)
             |GDMP;totalDegree;$Nni;2| (|PositiveInteger|)
             (|OrderedVariableList| 6) (22 . |lookup|) (27 . |One|)
             (31 . |One|) (35 . |directProduct|) (40 . |monomial|)
             (46 . *) |GDMP;monomial;$OvlNni$;3| |GDMP;coerce;Ovl$;4|
             (|Union| $ '"failed") (|Symbol|) (52 . |variable|)
             (57 . |Zero|) (61 . |Zero|) |GDMP;degree;$OvlNni;10|
             (|Union| 23 '"failed") |GDMP;mainVariable;$U;6|
             |GDMP;ground?;$B;7| (65 . |leadingCoefficient|)
             |GDMP;retract;$R;8| (|Union| 7 '"failed")
             |GDMP;retractIfCan;$U;9| (|Integer|) (70 . |elt|)
             (|SparseUnivariatePolynomial| $)
             |GDMP;univariate;$OvlSup;21|
             (|SparseUnivariatePolynomial| $$) (76 . |minimumDegree|)
             |GDMP;minimumDegree;$OvlNni;11| (81 . |differentiate|)
             |GDMP;multivariate;SupOvl$;27|
             |GDMP;differentiate;$Ovl$;12| (|List| 17) (|List| 23)
             |GDMP;degree;$LL;13| |GDMP;minimumDegree;$LL;14|
             |GDMP;numberOfMonomials;$Nni;15| |GDMP;monomial?;$B;16|
             (86 . <) (92 . -) (97 . |inv|) (102 . *) (108 . /)
             (114 . |new|) (120 . |degree|) (125 . |reductum|)
             (130 . |elt|) (136 . |setelt|) (143 . |index|)
             |GDMP;variables;$L;19| (148 . <) (|Mapping| 12 9 9)
             (154 . |sort|) (|List| 45) |GDMP;reorder;$L$;20|
             (160 . |Zero|) (164 . |monomial|) (170 . +) (176 . |elt|)
             |GDMP;eval;$Ovl2$;22| (182 . |coerce|)
             |GDMP;eval;$OvlR$;23| (187 . =) (|List| 7)
             |GDMP;eval;$LL$;24| (|List| $$) (193 . =) (199 . <)
             '"rest" (205 . |elt|) '"first" (211 . |elt|)
             (|Mapping| $$ $$) (217 . |map|) (223 . =)
             (|Mapping| 12 23 23) (229 . |sort|) (235 . |position|)
             (241 . |elt|) (|List| $) |GDMP;eval;$LL$;26| (247 . =)
             (253 . |degree|) (258 . |leadingCoefficient|) (263 . **)
             (269 . |reductum|) (274 . +)
             (|SparseUnivariatePolynomial| 7) (280 . |monomial|)
             (286 . |Zero|) (290 . |ground|) (295 . +)
             |GDMP;univariate;$Sup;28| (301 . =)
             (307 . |leadingCoefficient|) (312 . |degree|)
             (317 . |reductum|) |GDMP;multivariate;SupOvl$;29|
             (322 . |gcd|) (328 . |content|) (333 . =)
             (339 . |content|) (344 . |gcd|) (350 . |gcd|)
             (|PolynomialGcdPackage| 8 23 7 $$) (356 . |gcd|)
             (|OutputForm|) (362 . |coerce|) (367 . |coerce|)
             (|List| 129) (372 . |elt|) (378 . |coerce|) (383 . **)
             (389 . |One|) (393 . *) (|Mapping| 129 129 129)
             (399 . |reduce|) (405 . +) |GDMP;coerce;$Of;34|
             (|InputForm|) (|Pattern| (|Float|)) (|Pattern| 45)
             (|PatternMatchResult| (|Float|) $)
             (|PatternMatchResult| 45 $) (|Union| 154 '"failed")
             (|Matrix| $) (|Fraction| 45) (|Factored| $)
             (|Record| (|:| |unit| $) (|:| |canonical| $)
                 (|:| |associate| $))
             (|Matrix| 45)
             (|Record| (|:| |mat| 152) (|:| |vec| (|Vector| 45)))
             (|Vector| $) (|Factored| 47) (|Union| 157 '"failed")
             (|List| 47) (|Union| 149 '"failed") (|Union| 45 '"failed")
             (|Union| 102 '"failed")
             (|Record| (|:| |var| 23) (|:| |exponent| 17))
             (|Union| 161 '"failed")
             (|Record| (|:| |quotient| $) (|:| |remainder| $))
             (|Record| (|:| |mat| 165) (|:| |vec| (|Vector| 7)))
             (|Matrix| 7) (|List| 167) (|Equation| $) (|Mapping| 7 7)
             (|Mapping| 8 8) (|SingleInteger|) (|String|))
          '#(~= 411 |zero?| 417 |variables| 422 |univariate| 427
             |unitNormal| 438 |unitCanonical| 443 |unit?| 448
             |totalDegree| 453 |subtractIfCan| 464
             |squareFreePolynomial| 470 |squareFreePart| 475
             |squareFree| 480 |solveLinearPolynomialEquation| 485
             |sample| 491 |retractIfCan| 495 |retract| 515 |resultant|
             535 |reorder| 542 |reductum| 548 |reducedSystem| 553
             |recip| 575 |primitivePart| 580 |primitiveMonomials| 591
             |prime?| 596 |pomopo!| 601 |patternMatch| 609 |one?| 623
             |numberOfMonomials| 628 |multivariate| 633 |monomials| 645
             |monomial?| 650 |monomial| 655 |monicDivide| 675
             |minimumDegree| 682 |min| 699 |max| 705 |mapExponents| 711
             |map| 717 |mainVariable| 723 |leadingMonomial| 728
             |leadingCoefficient| 733 |lcm| 738 |latex| 749 |isTimes|
             754 |isPlus| 759 |isExpt| 764 |hash| 769 |ground?| 774
             |ground| 779 |gcdPolynomial| 784 |gcd| 790
             |factorSquareFreePolynomial| 801 |factorPolynomial| 806
             |factor| 811 |exquo| 816 |eval| 828 |discriminant| 882
             |differentiate| 888 |degree| 914 |convert| 931 |content|
             946 |conditionP| 957 |coerce| 962 |coefficients| 992
             |coefficient| 997 |charthRoot| 1017 |characteristic| 1022
             |binomThmExpt| 1026 |associates?| 1033 ^ 1039 |Zero| 1051
             |One| 1055 D 1059 >= 1085 > 1091 = 1097 <= 1103 < 1109 /
             1115 - 1121 + 1132 ** 1138 * 1150)
          'NIL
          (CONS (|makeByteWordVec2| 23
                    '(0 1 0 1 0 23 22 0 3 13 2 0 0 21 3 3 12 13 14 15 2
                      0 0 4 13 0 0 0 0 2 13 13 0 0 0 0 0 0 0 0 6 7 11 0
                      0 0 0 0 0 0 0 0 0 0 2 3 5 8 9 10 16 17))
                (CONS '#(|PolynomialCategory&|
                         |PolynomialFactorizationExplicit&|
                         |FiniteAbelianMonoidRing&|
                         |UniqueFactorizationDomain&|
                         |AbelianMonoidRing&| |GcdDomain&|
                         |IntegralDomain&|
                         |FullyLinearlyExplicitRingOver&| |Algebra&|
                         |Algebra&| |Algebra&|
                         |PartialDifferentialRing&| NIL NIL |Module&|
                         NIL NIL |Module&| NIL NIL |Module&| NIL
                         |Ring&| NIL NIL NIL NIL NIL NIL NIL NIL NIL
                         |AbelianGroup&| NIL NIL |AbelianMonoid&|
                         |Monoid&| NIL |SemiGroup&| |AbelianSemiGroup&|
                         NIL NIL |OrderedSet&| |Evalable&|
                         |FullyRetractableTo&| |SetCategory&|
                         |RetractableTo&| |InnerEvalable&|
                         |InnerEvalable&| |InnerEvalable&|
                         |RetractableTo&| NIL |BasicType&| NIL NIL NIL
                         NIL NIL NIL NIL |RetractableTo&|
                         |RetractableTo&|)
                      (CONS '#((|PolynomialCategory| 7 8
                                   (|OrderedVariableList| 6))
                               (|PolynomialFactorizationExplicit|)
                               (|FiniteAbelianMonoidRing| 7 8)
                               (|UniqueFactorizationDomain|)
                               (|AbelianMonoidRing| 7 8) (|GcdDomain|)
                               (|IntegralDomain|)
                               (|FullyLinearlyExplicitRingOver| 7)
                               (|Algebra| $$) (|Algebra| 149)
                               (|Algebra| 7)
                               (|PartialDifferentialRing|
                                   (|OrderedVariableList| 6))
                               (|LinearlyExplicitRingOver| 7)
                               (|CommutativeRing|) (|Module| $$)
                               (|EntireRing|)
                               (|LinearlyExplicitRingOver| 45)
                               (|Module| 149) (|CharacteristicNonZero|)
                               (|CharacteristicZero|) (|Module| 7)
                               (|BiModule| 7 7) (|Ring|)
                               (|BiModule| $$ $$) (|BiModule| 149 149)
                               (|LeftModule| 7) (|Rng|)
                               (|RightModule| 7) (|LeftModule| $$)
                               (|RightModule| $$) (|LeftModule| 149)
                               (|RightModule| 149) (|AbelianGroup|)
                               (|CancellationAbelianMonoid|)
                               (|SemiRing|) (|AbelianMonoid|)
                               (|Monoid|) (|SemiRng|) (|SemiGroup|)
                               (|AbelianSemiGroup|)
                               (|PatternMatchable| (|Float|))
                               (|PatternMatchable| 45) (|OrderedSet|)
                               (|Evalable| $$) (|FullyRetractableTo| 7)
                               (|SetCategory|)
                               (|RetractableTo|
                                   (|OrderedVariableList| 6))
                               (|InnerEvalable|
                                   (|OrderedVariableList| 6) $$)
                               (|InnerEvalable|
                                   (|OrderedVariableList| 6) 7)
                               (|InnerEvalable| $$ $$)
                               (|RetractableTo| 7) (|unitsKnown|)
                               (|BasicType|) (|CoercibleTo| 129)
                               (|CommutativeStar|) (|noZeroDivisors|)
                               (|canonicalUnitNormal|)
                               (|ConvertibleTo| 143)
                               (|ConvertibleTo| 144)
                               (|ConvertibleTo| 142)
                               (|RetractableTo| 45)
                               (|RetractableTo| 149))
                            (|makeByteWordVec2| 171
                                '(1 8 14 0 15 0 0 0 16 2 17 0 0 0 18 3
                                  14 17 19 0 17 20 1 23 22 0 24 0 0 0
                                  25 0 7 0 26 1 8 0 14 27 2 0 0 7 8 28
                                  2 0 0 0 0 29 1 23 32 33 34 0 7 0 35 0
                                  8 0 36 1 0 7 0 41 2 8 17 0 45 46 1 49
                                  17 0 50 1 49 0 0 52 2 7 12 0 0 61 1 7
                                  0 0 62 1 7 0 0 63 2 0 0 7 0 64 2 0 0
                                  0 7 65 2 14 0 17 17 66 1 0 8 0 67 1 0
                                  0 0 68 2 14 17 0 45 69 3 14 17 0 45
                                  17 70 1 23 0 22 71 2 8 12 0 0 73 2 10
                                  0 74 0 75 0 49 0 78 2 49 0 2 17 79 2
                                  49 0 0 0 80 2 49 2 0 2 81 1 0 0 7 83
                                  2 56 12 0 0 85 2 88 12 0 0 89 2 23 12
                                  0 0 90 2 88 0 0 91 92 2 88 2 0 93 94
                                  2 49 0 95 0 96 2 23 12 0 0 97 2 56 0
                                  98 0 99 2 56 45 23 0 100 2 88 2 0 45
                                  101 2 49 12 0 0 104 1 49 17 0 105 1
                                  49 2 0 106 2 0 0 0 17 107 1 49 0 0
                                  108 2 0 0 0 0 109 2 110 0 7 17 111 0
                                  110 0 112 1 0 7 0 113 2 110 0 0 0 114
                                  2 110 12 0 0 116 1 110 7 0 117 1 110
                                  17 0 118 1 110 0 0 119 2 7 0 0 0 121
                                  1 0 7 0 122 2 7 12 0 0 123 1 49 2 0
                                  124 2 0 0 0 0 125 2 49 0 0 0 126 2
                                  127 2 2 2 128 1 7 129 0 130 1 33 129
                                  0 131 2 132 129 0 45 133 1 17 129 0
                                  134 2 129 0 0 0 135 0 8 0 136 2 129 0
                                  0 0 137 2 132 129 138 0 139 2 129 0 0
                                  0 140 2 0 12 0 0 1 1 0 12 0 13 1 0 56
                                  0 72 2 0 47 0 23 48 1 0 110 0 115 1 3
                                  151 0 1 1 3 0 0 1 1 3 12 0 1 1 0 17 0
                                  21 2 0 17 0 56 1 2 0 32 0 0 1 1 1 155
                                  47 1 1 20 0 0 1 1 20 150 0 1 2 1 156
                                  157 47 1 0 0 0 1 1 17 158 0 1 1 16
                                  159 0 1 1 0 38 0 1 1 0 43 0 44 1 17
                                  149 0 1 1 16 45 0 1 1 0 23 0 1 1 0 7
                                  0 42 3 2 0 0 0 23 1 2 0 0 0 76 77 1 0
                                  0 0 68 1 12 152 148 1 2 12 153 148
                                  154 1 2 0 164 148 154 1 1 0 165 148 1
                                  1 0 32 0 1 2 20 0 0 23 1 1 20 0 0 1 1
                                  0 102 0 1 1 1 12 0 1 4 0 0 0 7 8 0 1
                                  3 6 145 0 143 145 1 3 7 146 0 144 146
                                  1 1 0 12 0 1 1 0 17 0 59 2 0 0 47 23
                                  53 2 0 0 110 23 120 1 0 102 0 1 1 0
                                  12 0 60 3 0 0 0 56 55 1 3 0 0 0 23 17
                                  30 2 0 0 7 8 28 3 0 163 0 0 23 1 2 0
                                  55 0 56 58 2 0 17 0 23 51 1 0 8 0 1 2
                                  11 0 0 0 1 2 11 0 0 0 1 2 0 0 169 0 1
                                  2 0 0 168 0 1 1 0 38 0 39 1 0 0 0 1 1
                                  0 7 0 41 1 20 0 102 1 2 20 0 0 0 1 1
                                  0 171 0 1 1 0 160 0 1 1 0 160 0 1 1 0
                                  162 0 1 1 0 170 0 1 1 0 12 0 40 1 0 7
                                  0 113 2 20 47 47 47 1 1 20 0 102 1 2
                                  20 0 0 0 125 1 1 155 47 1 1 1 155 47
                                  1 1 1 150 0 1 2 3 32 0 0 1 2 3 32 0 7
                                  1 3 0 0 0 23 0 82 3 0 0 0 56 102 103
                                  3 0 0 0 23 7 84 3 0 0 0 56 86 87 3 0
                                  0 0 0 0 1 3 0 0 0 102 102 1 2 0 0 0
                                  166 1 2 0 0 0 167 1 2 2 0 0 23 1 3 0
                                  0 0 23 17 1 3 0 0 0 56 55 1 2 0 0 0
                                  23 54 2 0 0 0 56 1 2 0 17 0 23 37 2 0
                                  55 0 56 57 1 0 8 0 67 1 10 142 0 1 1
                                  8 143 0 1 1 9 144 0 1 2 20 0 0 23 1 1
                                  20 7 0 122 1 24 147 148 1 1 19 0 149
                                  1 1 3 0 0 1 1 0 0 23 31 1 0 0 7 83 1
                                  0 0 45 1 1 0 129 0 141 1 0 86 0 1 3 0
                                  0 0 56 55 1 3 0 0 0 23 17 1 2 0 7 0 8
                                  1 1 25 32 0 1 0 0 17 1 3 2 0 0 0 17 1
                                  2 3 12 0 0 1 2 0 0 0 17 1 2 0 0 0 22
                                  1 0 0 0 16 0 0 0 25 3 0 0 0 23 17 1 3
                                  0 0 0 56 55 1 2 0 0 0 23 1 2 0 0 0 56
                                  1 2 11 12 0 0 1 2 11 12 0 0 1 2 0 12
                                  0 0 1 2 11 12 0 0 1 2 11 12 0 0 1 2
                                  18 0 0 7 65 1 0 0 0 1 2 0 0 0 0 1 2 0
                                  0 0 0 109 2 0 0 0 17 107 2 0 0 0 22 1
                                  2 13 0 0 149 1 2 13 0 149 0 1 2 0 0 7
                                  0 64 2 0 0 0 7 1 2 0 0 45 0 1 2 0 0 0
                                  0 29 2 0 0 17 0 1 2 0 0 22 0 1)))))
          '|lookupComplete|)) 
