(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DEFPARAMETER UnivariatePolynomialCategory;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|::|UnivariatePolynomialCategory;CAT|)
    |BOOT|::|UnivariatePolynomialCategory;CAT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (DECLAIM (NOTINLINE UnivariatePolynomialCategory;))-2|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|UnivariatePolynomialCategory;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 6 (DEFPARAMETER UnivariatePolynomialCategory;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|::|UnivariatePolynomialCategory;AL|)
    |BOOT|::|UnivariatePolynomialCategory;AL|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|8 17 (DEFUN UnivariatePolynomialCategory (t#1) ...)-4|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|UnivariatePolynomialCategory| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|UnivariatePolynomialCategory|
       #40Y(00 00 00 00 01 00 00 00 26 02 63 AE 6F 00 AC 6B 01 30 02 F9 1C 0F
            AC AD 2F 03 FA 7A 6B 01 30 04 0F 01 9E 19 04 5C 19 04)
       (|BOOT|::|devaluate| |BOOT|::|UnivariatePolynomialCategory;AL|
        |BOOT|::|assoc| |BOOT|::|UnivariatePolynomialCategory;|
        |BOOT|::|cons5|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|t#1|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|19 155 (DEFUN UnivariatePolynomialCategory; (t#1) ...)-5|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|UnivariatePolynomialCategory;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|UnivariatePolynomialCategory;|
       #76Y(00 00 00 00 01 00 00 00 26 02 63 DA AF 7B 01 70 01 DC DD DE 7B 02
            70 01 0E 05 1C 1A E0 E1 E2 6E 03 09 E0 E0 70 0A E5 E5 70 0A E6 E7
            01 02 6E 04 0E 2D 04 0F 0F 05 14 70 10 30 10 F8 14 EB B0 7B 02 AC
            AF EC 2D 03 13 16 01 15 19 03)
       ((|BOOT|::|t#1|) |BOOT|::|PAIR| (#1=#:|G735| #2=#:|G736|)
        (|BOOT|::|NonNegativeInteger|) (|BOOT|::|SingletonAsOrderedSet|)
        |BOOT|::|UnivariatePolynomialCategory;CAT| |BOOT|::|t#1| #1# #2#
        |BOOT|::|PolynomialCategory| |BOOT|::|Eltable| |BOOT|::|$|
        (((|BOOT|::|vectorise|
           ((|BOOT|::|Vector| |BOOT|::|t#1|) |BOOT|::|$|
            (|BOOT|::|NonNegativeInteger|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|unvectorise|
           (|BOOT|::|$| (|BOOT|::|Vector| |BOOT|::|t#1|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|makeSUP|
           ((|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|t#1|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|unmakeSUP|
           (|BOOT|::|$| (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|t#1|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|multiplyExponents|
           (|BOOT|::|$| |BOOT|::|$| (|BOOT|::|NonNegativeInteger|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|divideExponents|
           ((|BOOT|::|Union| |BOOT|::|$| "failed") |BOOT|::|$|
            (|BOOT|::|NonNegativeInteger|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|shiftLeft|
           (|BOOT|::|$| |BOOT|::|$| (|BOOT|::|NonNegativeInteger|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|monicDivide|
           ((|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|quotient| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|remainder| |BOOT|::|$|))
            |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|Ring|)))
         ((|BOOT|::|karatsubaDivide|
           ((|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|quotient| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|remainder| |BOOT|::|$|))
            |BOOT|::|$| (|BOOT|::|NonNegativeInteger|)))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|Ring|)))
         ((|BOOT|::|shiftRight|
           (|BOOT|::|$| |BOOT|::|$| (|BOOT|::|NonNegativeInteger|)))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|Ring|)))
         ((|BOOT|::|pseudoRemainder| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|Ring|)))
         ((|BOOT|::|differentiate|
           (|BOOT|::|$| |BOOT|::|$|
            (|BOOT|::|Mapping| |BOOT|::|t#1| |BOOT|::|t#1|) |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|Ring|)))
         ((|BOOT|::|discriminant| (|BOOT|::|t#1| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|CommutativeRing|)))
         ((|BOOT|::|resultant| (|BOOT|::|t#1| |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|CommutativeRing|)))
         ((|BOOT|::|elt|
           ((|BOOT|::|Fraction| |BOOT|::|$|) (|BOOT|::|Fraction| |BOOT|::|$|)
            (|BOOT|::|Fraction| |BOOT|::|$|)))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|order|
           ((|BOOT|::|NonNegativeInteger|) |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|subResultantGcd| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|composite|
           ((|BOOT|::|Union| |BOOT|::|$| "failed") |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|composite|
           ((|BOOT|::|Union| (|BOOT|::|Fraction| |BOOT|::|$|) "failed")
            (|BOOT|::|Fraction| |BOOT|::|$|) |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|pseudoQuotient| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|pseudoDivide|
           ((|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|coef| |BOOT|::|t#1|)
             (|BOOT|::|:| |BOOT|::|quotient| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|remainder| |BOOT|::|$|))
            |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|separate|
           ((|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|primePart| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|commonPart| |BOOT|::|$|))
            |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|GcdDomain|)))
         ((|BOOT|::|elt|
           (|BOOT|::|t#1| (|BOOT|::|Fraction| |BOOT|::|$|) |BOOT|::|t#1|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|Field|)))
         ((|BOOT|::|integrate| (|BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1|
           (|BOOT|::|Algebra| (|BOOT|::|Fraction| (|BOOT|::|Integer|))))))
        (((|BOOT|::|DifferentialRing|)
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|Ring|)))
         ((|BOOT|::|DifferentialExtension| |BOOT|::|t#1|)
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|Ring|)))
         ((|BOOT|::|StepThrough|)
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|StepThrough|)))
         ((|BOOT|::|Eltable| (|BOOT|::|Fraction| |BOOT|::|$|)
           (|BOOT|::|Fraction| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|EuclideanDomain|)
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|Field|)))
         ((|BOOT|::|additiveValuation|)
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|Field|))))
        |BOOT|::|mkCategory| |BOOT|::|Join| |BOOT|::|sublisV|
        |BOOT|::|UnivariatePolynomialCategory| 0.
        #.(|SYSTEM|::|GET-SETF-SYMBOL| '|COMMON-LISP|::|ELT|))
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|t#1|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
