(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DEFPARAMETER DifferentialPolynomialCategory;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|::|DifferentialPolynomialCategory;CAT|)
    |BOOT|::|DifferentialPolynomialCategory;CAT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (DECLAIM (NOTINLINE DifferentialPolynomialCategory;))-2|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|DifferentialPolynomialCategory;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 6 (DEFPARAMETER DifferentialPolynomialCategory;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|::|DifferentialPolynomialCategory;AL|)
    |BOOT|::|DifferentialPolynomialCategory;AL|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|8 22 (DEFUN DifferentialPolynomialCategory (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|::|DifferentialPolynomialCategory| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DifferentialPolynomialCategory|
       #53Y(00 00 00 00 04 00 00 00 26 05 63 B1 6F 00 B1 6F 00 B1 6F 00 B1 6F
            00 7B 04 AC 6B 01 30 02 F9 1C 11 AC 99 03 9F 37 00 FA 7A 6B 01 30
            04 0F 01 9E 19 07 5C 19 07)
       (|BOOT|::|devaluate| |BOOT|::|DifferentialPolynomialCategory;AL|
        |BOOT|::|assoc| |BOOT|::|DifferentialPolynomialCategory;|
        |BOOT|::|cons5|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|t#1| |BOOT|::|t#2| |BOOT|::|t#3| |BOOT|::|t#4|)
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|24 81 (DEFUN DifferentialPolynomialCategory; (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|::|DifferentialPolynomialCategory;|
    |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DifferentialPolynomialCategory;|
       #71Y(00 00 00 00 04 00 00 00 26 05 63 DA B2 B2 B2 B2 7B 04 70 01 0E 02
            1C 18 DD DE DF 6E 03 06 DD 6F 07 E2 6F 09 E4 E5 01 02 6E 04 0C 2D
            04 0D 0F 02 14 30 0E F8 14 E9 B3 B3 B3 B3 7B 05 AC AF EA 2D 03 11
            16 01 15 19 06)
       ((|BOOT|::|t#1| |BOOT|::|t#2| |BOOT|::|t#3| |BOOT|::|t#4|)
        |BOOT|::|PAIR| |BOOT|::|DifferentialPolynomialCategory;CAT|
        |BOOT|::|t#1| |BOOT|::|t#4| |BOOT|::|t#3| |BOOT|::|PolynomialCategory|
        |BOOT|::|DifferentialExtension| |BOOT|::|t#2| |BOOT|::|RetractableTo|
        (((|BOOT|::|makeVariable|
           ((|BOOT|::|Mapping| |BOOT|::|$| (|BOOT|::|NonNegativeInteger|))
            |BOOT|::|t#2|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|differentialVariables|
           ((|BOOT|::|List| |BOOT|::|t#2|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|order|
           ((|BOOT|::|NonNegativeInteger|) |BOOT|::|$| |BOOT|::|t#2|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|order| ((|BOOT|::|NonNegativeInteger|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|degree|
           ((|BOOT|::|NonNegativeInteger|) |BOOT|::|$| |BOOT|::|t#2|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|weights|
           ((|BOOT|::|List| (|BOOT|::|NonNegativeInteger|)) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|weight| ((|BOOT|::|NonNegativeInteger|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|weights|
           ((|BOOT|::|List| (|BOOT|::|NonNegativeInteger|)) |BOOT|::|$|
            |BOOT|::|t#2|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|weight|
           ((|BOOT|::|NonNegativeInteger|) |BOOT|::|$| |BOOT|::|t#2|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|isobaric?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|leader| (|BOOT|::|t#3| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|initial| (|BOOT|::|$| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|separant| (|BOOT|::|$| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|makeVariable|
           ((|BOOT|::|Mapping| |BOOT|::|$| (|BOOT|::|NonNegativeInteger|))
            |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|DifferentialRing|))))
        (((|BOOT|::|InnerEvalable| |BOOT|::|t#2| |BOOT|::|t#1|)
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|DifferentialRing|)))
         ((|BOOT|::|InnerEvalable| |BOOT|::|t#2| |BOOT|::|$|)
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|DifferentialRing|)))
         ((|BOOT|::|Evalable| |BOOT|::|$|)
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|DifferentialRing|))))
        |BOOT|::|mkCategory| |BOOT|::|Join| |BOOT|::|sublisV|
        |BOOT|::|DifferentialPolynomialCategory| 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| |BOOT|::|t#4|)
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
