(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DEFPARAMETER PolynomialCategory;CAT 'NIL)-1|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB 63 31 5A C6 19 01)
   ((|COMMON-LISP|::|SPECIAL| |BOOT|::|PolynomialCategory;CAT|)
    |BOOT|::|PolynomialCategory;CAT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (DECLAIM (NOTINLINE PolynomialCategory;))-2|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|PolynomialCategory;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 6 (DEFPARAMETER PolynomialCategory;AL 'NIL)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB 63 31 5A C6 19 01)
   ((|COMMON-LISP|::|SPECIAL| |BOOT|::|PolynomialCategory;AL|)
    |BOOT|::|PolynomialCategory;AL|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|8 18 (DEFUN PolynomialCategory (t#1 t#2 t#3) ...)-4|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|PolynomialCategory| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|PolynomialCategory|
       #50Y(00 00 00 00 03 00 00 00 26 04 63 B0 6F 00 B0 6F 00 B0 6F 00 7B 03
            AC 6B 01 30 02 F9 1C 11 AC 99 03 9F 37 00 FA 7A 6B 01 30 04 0F 01
            9E 19 06 5C 19 06)
       (|BOOT|::|devaluate| |BOOT|::|PolynomialCategory;AL| |BOOT|::|assoc|
        |BOOT|::|PolynomialCategory;| |BOOT|::|cons5|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|t#1| |BOOT|::|t#2| |BOOT|::|t#3|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|20 143 (DEFUN PolynomialCategory; (t#1 t#2 t#3) ...)-5|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|PolynomialCategory;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|PolynomialCategory;|
       #74Y(00 00 00 00 03 00 00 00 26 04 63 DA B1 B1 B1 7B 03 70 01 0E 02 1C
            1D DD DE DF 6E 03 06 DF DD 70 07 DF E2 70 07 2E 09 14 E4 E5 01 02
            6E 04 0C 2D 05 0D 0F 02 14 30 0E F8 14 E9 B2 B2 B2 7B 04 AC AF EA
            2D 03 11 16 01 15 19 05)
       ((|BOOT|::|t#1| |BOOT|::|t#2| |BOOT|::|t#3|) |BOOT|::|PAIR|
        |BOOT|::|PolynomialCategory;CAT| |BOOT|::|t#1| |BOOT|::|t#2|
        |BOOT|::|t#3| |BOOT|::|MaybeSkewPolynomialCategory|
        |BOOT|::|InnerEvalable| |BOOT|::|$|
        |BOOT|::|VariablesCommuteWithCoefficients|
        (((|BOOT|::|univariate|
           ((|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|) |BOOT|::|$|
            |BOOT|::|t#3|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|univariate|
           ((|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|t#1|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|minimumDegree|
           ((|BOOT|::|NonNegativeInteger|) |BOOT|::|$| |BOOT|::|t#3|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|minimumDegree|
           ((|BOOT|::|List| (|BOOT|::|NonNegativeInteger|)) |BOOT|::|$|
            (|BOOT|::|List| |BOOT|::|t#3|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|monicDivide|
           ((|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|quotient| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|remainder| |BOOT|::|$|))
            |BOOT|::|$| |BOOT|::|$| |BOOT|::|t#3|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|Ring|)))
         ((|BOOT|::|multivariate|
           (|BOOT|::|$| (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|t#1|)
            |BOOT|::|t#3|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|multivariate|
           (|BOOT|::|$| (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|)
            |BOOT|::|t#3|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|isPlus|
           ((|BOOT|::|Union| (|BOOT|::|List| |BOOT|::|$|) "failed")
            |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|isTimes|
           ((|BOOT|::|Union| (|BOOT|::|List| |BOOT|::|$|) "failed")
            |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|SemiRing|)))
         ((|BOOT|::|isExpt|
           ((|BOOT|::|Union|
             (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|var| |BOOT|::|t#3|)
              (|BOOT|::|:| |BOOT|::|exponent| (|BOOT|::|NonNegativeInteger|)))
             "failed")
            |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|SemiRing|)))
         ((|BOOT|::|resultant|
           (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$| |BOOT|::|t#3|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|CommutativeRing|)))
         ((|BOOT|::|discriminant| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|t#3|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|CommutativeRing|)))
         ((|BOOT|::|content| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|t#3|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|GcdDomain|)))
         ((|BOOT|::|primitivePart| (|BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|GcdDomain|)))
         ((|BOOT|::|primitivePart| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|t#3|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|GcdDomain|)))
         ((|BOOT|::|squareFree| ((|BOOT|::|Factored| |BOOT|::|$|) |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|GcdDomain|)))
         ((|BOOT|::|squareFreePart| (|BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|GcdDomain|))))
        (((|BOOT|::|RetractableTo| |BOOT|::|t#3|)
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|SemiRing|)))
         ((|BOOT|::|Evalable| |BOOT|::|$|)
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|SemiRing|)))
         ((|BOOT|::|PartialDifferentialRing| |BOOT|::|t#3|)
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|Ring|)))
         ((|BOOT|::|ConvertibleTo| (|BOOT|::|InputForm|))
          (|COMMON-LISP|::|AND|
           (|BOOT|::|has| |BOOT|::|t#3|
            (|BOOT|::|ConvertibleTo| (|BOOT|::|InputForm|)))
           (|BOOT|::|has| |BOOT|::|t#1|
            (|BOOT|::|ConvertibleTo| (|BOOT|::|InputForm|)))))
         ((|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
          (|COMMON-LISP|::|AND|
           (|BOOT|::|has| |BOOT|::|t#3|
            (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|))))
           (|BOOT|::|has| |BOOT|::|t#1|
            (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|))))
           (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|Ring|))))
         ((|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
          (|COMMON-LISP|::|AND|
           (|BOOT|::|has| |BOOT|::|t#3|
            (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|))))
           (|BOOT|::|has| |BOOT|::|t#1|
            (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|))))
           (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|Ring|))))
         ((|BOOT|::|PatternMatchable| (|BOOT|::|Integer|))
          (|COMMON-LISP|::|AND|
           (|BOOT|::|has| |BOOT|::|t#3|
            (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|)))
           (|BOOT|::|has| |BOOT|::|t#1|
            (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|)))
           (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|Ring|))))
         ((|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
          (|COMMON-LISP|::|AND|
           (|BOOT|::|has| |BOOT|::|t#3|
            (|BOOT|::|PatternMatchable| (|BOOT|::|Float|)))
           (|BOOT|::|has| |BOOT|::|t#1|
            (|BOOT|::|PatternMatchable| (|BOOT|::|Float|)))
           (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|Ring|))))
         ((|BOOT|::|GcdDomain|)
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|GcdDomain|)))
         ((|BOOT|::|PolynomialFactorizationExplicit|)
          (|BOOT|::|has| |BOOT|::|t#1|
           (|BOOT|::|PolynomialFactorizationExplicit|))))
        |BOOT|::|mkCategory| |BOOT|::|Join| |BOOT|::|sublisV|
        |BOOT|::|PolynomialCategory| 0.
        #.(|SYSTEM|::|GET-SETF-SYMBOL| '|COMMON-LISP|::|ELT|))
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|t#1| |BOOT|::|t#2| |BOOT|::|t#3|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
