(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DEFPARAMETER PolynomialSetCategory;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|::|PolynomialSetCategory;CAT|)
    |BOOT|::|PolynomialSetCategory;CAT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (DECLAIM (NOTINLINE PolynomialSetCategory;))-2|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|PolynomialSetCategory;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 6 (DEFPARAMETER PolynomialSetCategory;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|::|PolynomialSetCategory;AL|)
    |BOOT|::|PolynomialSetCategory;AL|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|8 20 (DEFUN PolynomialSetCategory (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|::|PolynomialSetCategory| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|PolynomialSetCategory|
       #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|::|PolynomialSetCategory;AL| |BOOT|::|assoc|
        |BOOT|::|PolynomialSetCategory;| |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(#:|22 97 (DEFUN PolynomialSetCategory; (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|::|PolynomialSetCategory;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|PolynomialSetCategory;|
       #82Y(00 00 00 00 04 00 00 00 26 05 63 DA B2 B2 B2 B2 7B 04 70 01 DC DD
            DE 7B 02 70 01 0E 05 1C 1A 2E 06 14 E1 6F 08 E3 6F 0A E5 6F 0C 2E
            0D 14 E8 01 03 6E 04 0F 2D 06 10 0F 05 14 70 11 30 11 F8 14 EC B3
            B3 B3 B3 7B 05 AC AF ED 2D 03 14 16 01 15 19 06)
       ((|BOOT|::|t#1| |BOOT|::|t#2| |BOOT|::|t#3| |BOOT|::|t#4|)
        |BOOT|::|PAIR| (#1=#:|G737| #2=#:|G738|) (|BOOT|::|List| |BOOT|::|t#4|)
        (|BOOT|::|List| |BOOT|::|t#4|) |BOOT|::|PolynomialSetCategory;CAT|
        |BOOT|::|SetCategory| |BOOT|::|t#4| |BOOT|::|Collection| #1#
        |BOOT|::|CoercibleTo| #2# |BOOT|::|RetractableFrom|
        |BOOT|::|finiteAggregate|
        (((|BOOT|::|mvar| (|BOOT|::|t#3| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|variables| ((|BOOT|::|List| |BOOT|::|t#3|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|mainVariables|
           ((|BOOT|::|List| |BOOT|::|t#3|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|mainVariable?|
           ((|BOOT|::|Boolean|) |BOOT|::|t#3| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|collectUnder| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|t#3|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|collect| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|t#3|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|collectUpper| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|t#3|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|sort|
           ((|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|under| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|floor| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|upper| |BOOT|::|$|))
            |BOOT|::|$| |BOOT|::|t#3|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|trivialIdeal?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|roughBase?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|roughSubIdeal?|
           ((|BOOT|::|Boolean|) |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|roughEqualIdeals?|
           ((|BOOT|::|Boolean|) |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|roughUnitIdeal?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|headRemainder|
           ((|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|num| |BOOT|::|t#4|)
             (|BOOT|::|:| |BOOT|::|den| |BOOT|::|t#1|))
            |BOOT|::|t#4| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|remainder|
           ((|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|rnum| |BOOT|::|t#1|)
             (|BOOT|::|:| |BOOT|::|polnum| |BOOT|::|t#4|)
             (|BOOT|::|:| |BOOT|::|den| |BOOT|::|t#1|))
            |BOOT|::|t#4| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|rewriteIdealWithHeadRemainder|
           ((|BOOT|::|List| |BOOT|::|t#4|) (|BOOT|::|List| |BOOT|::|t#4|)
            |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|rewriteIdealWithRemainder|
           ((|BOOT|::|List| |BOOT|::|t#4|) (|BOOT|::|List| |BOOT|::|t#4|)
            |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|triangular?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|iexactQuo| (|BOOT|::|t#1| |BOOT|::|t#1| |BOOT|::|t#1|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|))))
        |BOOT|::|mkCategory| |BOOT|::|Join| |BOOT|::|sublisV|
        |BOOT|::|PolynomialSetCategory| 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|))
