(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DECLAIM (NOTINLINE RealClosedField;))-1|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|RealClosedField;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (DEFPARAMETER RealClosedField;AL 'NIL)-2|
   #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|::|RealClosedField;AL|)
    |BOOT|::|RealClosedField;AL|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 8 (DEFUN RealClosedField NIL ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|RealClosedField| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|RealClosedField|
       #22Y(00 00 00 00 00 00 00 00 26 01 0E 00 1E 06 2E 01 0F 00 19 01 19 01)
       (|BOOT|::|RealClosedField;AL| |BOOT|::|RealClosedField;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|) ()
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|10 75 (DEFUN RealClosedField; NIL ...)-4|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|RealClosedField;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|RealClosedField;|
       #65Y(00 00 00 00 00 00 00 00 26 01 63 DA DB DC DD 7B 03 70 04 2E 05 14
            2E 06 14 2E 07 14 2E 08 14 E3 6F 0A E5 6F 0C E7 6F 0C 2E 0E 14 E9
            01 03 6E 04 10 6E 09 11 30 12 F8 14 ED AE EE 2D 03 15 15 19 02)
       ((#1=#:|G703| #2=#:|G704| #3=#:|G705|)
        (|BOOT|::|Fraction| (|BOOT|::|Integer|)) (|BOOT|::|Integer|)
        (|BOOT|::|Fraction| (|BOOT|::|Integer|)) |BOOT|::|PAIR|
        |BOOT|::|CharacteristicZero| |BOOT|::|OrderedRing|
        |BOOT|::|CommutativeRing| |BOOT|::|Field| #1#
        |BOOT|::|FullyRetractableTo| #2# |BOOT|::|Algebra| #3#
        |BOOT|::|RadicalCategory|
        (((|BOOT|::|mainForm|
           ((|BOOT|::|Union| (|BOOT|::|OutputForm|) "failed") |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|mainDefiningPolynomial|
           ((|BOOT|::|Union| (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|)
             "failed")
            |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|mainValue|
           ((|BOOT|::|Union| (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|)
             "failed")
            |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|rootOf|
           ((|BOOT|::|Union| |BOOT|::|$| "failed")
            (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|)
            (|BOOT|::|PositiveInteger|) (|BOOT|::|OutputForm|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|rootOf|
           ((|BOOT|::|Union| |BOOT|::|$| "failed")
            (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|)
            (|BOOT|::|PositiveInteger|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|allRootsOf|
           ((|BOOT|::|List| |BOOT|::|$|)
            (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|allRootsOf|
           ((|BOOT|::|List| |BOOT|::|$|)
            (|BOOT|::|SparseUnivariatePolynomial|
             (|BOOT|::|Fraction| (|BOOT|::|Integer|)))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|allRootsOf|
           ((|BOOT|::|List| |BOOT|::|$|)
            (|BOOT|::|SparseUnivariatePolynomial| (|BOOT|::|Integer|))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|allRootsOf|
           ((|BOOT|::|List| |BOOT|::|$|) (|BOOT|::|Polynomial| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|allRootsOf|
           ((|BOOT|::|List| |BOOT|::|$|)
            (|BOOT|::|Polynomial| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|allRootsOf|
           ((|BOOT|::|List| |BOOT|::|$|)
            (|BOOT|::|Polynomial| (|BOOT|::|Integer|))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|sqrt|
           (|BOOT|::|$| |BOOT|::|$| (|BOOT|::|PositiveInteger|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|sqrt| (|BOOT|::|$| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|sqrt|
           (|BOOT|::|$| (|BOOT|::|Fraction| (|BOOT|::|Integer|))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|sqrt| (|BOOT|::|$| (|BOOT|::|Integer|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|rename!| (|BOOT|::|$| |BOOT|::|$| (|BOOT|::|OutputForm|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|rename| (|BOOT|::|$| |BOOT|::|$| (|BOOT|::|OutputForm|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|approximate|
           ((|BOOT|::|Fraction| (|BOOT|::|Integer|)) |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|))
        |BOOT|::|mkCategory| |BOOT|::|Join| |BOOT|::|sublisV|
        (|BOOT|::|RealClosedField|) 0.
        #.(|SYSTEM|::|GET-SETF-SYMBOL| '|COMMON-LISP|::|ELT|))
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|) ()
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|77 77 (MAKEPROP 'RealClosedField 'NILADIC ...)-5|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB 64 2D 03 02 19 01)
   (|BOOT|::|RealClosedField| |BOOT|::|NILADIC| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
