(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DECLAIM (NOTINLINE PolynomialFactorizationExplicit;))-1|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|PolynomialFactorizationExplicit;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (DEFPARAMETER PolynomialFactorizationExplicit;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|::|PolynomialFactorizationExplicit;AL|)
    |BOOT|::|PolynomialFactorizationExplicit;AL|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 10 (DEFUN PolynomialFactorizationExplicit NIL ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|PolynomialFactorizationExplicit|
    |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|PolynomialFactorizationExplicit|
       #22Y(00 00 00 00 00 00 00 00 26 01 0E 00 1E 06 2E 01 0F 00 19 01 19 01)
       (|BOOT|::|PolynomialFactorizationExplicit;AL|
        |BOOT|::|PolynomialFactorizationExplicit;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|) ()
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|12 48 (DEFUN PolynomialFactorizationExplicit; NIL ...)-4|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|PolynomialFactorizationExplicit;|
    |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|PolynomialFactorizationExplicit;|
       #33Y(00 00 00 00 00 00 00 00 26 01 63 2E 00 14 DB 01 03 6E 04 02 30 03
            F8 14 DE AE DF 2D 03 06 15 19 02)
       (|BOOT|::|UniqueFactorizationDomain|
        (((|BOOT|::|squareFreePolynomial|
           ((|BOOT|::|Factored|
             (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|))
            (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|factorPolynomial|
           ((|BOOT|::|Factored|
             (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|))
            (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|factorSquareFreePolynomial|
           ((|BOOT|::|Factored|
             (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|))
            (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|gcdPolynomial|
           ((|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|)
            (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|)
            (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|solveLinearPolynomialEquation|
           ((|BOOT|::|Union|
             (|BOOT|::|List|
              (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|))
             "failed")
            (|BOOT|::|List| (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|))
            (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|conditionP|
           ((|BOOT|::|Union| (|BOOT|::|Vector| |BOOT|::|$|) "failed")
            (|BOOT|::|Matrix| |BOOT|::|$|)))
          (|BOOT|::|has| |BOOT|::|$| (|BOOT|::|CharacteristicNonZero|)))
         ((|BOOT|::|charthRoot|
           ((|BOOT|::|Union| |BOOT|::|$| "failed") |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|$| (|BOOT|::|CharacteristicNonZero|))))
        |BOOT|::|mkCategory| |BOOT|::|Join|
        (|BOOT|::|PolynomialFactorizationExplicit|) 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(#:|50 50 (MAKEPROP 'PolynomialFactorizationExplicit 'NILADIC ...)-5|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB 64 2D 03 02 19 01)
   (|BOOT|::|PolynomialFactorizationExplicit| |BOOT|::|NILADIC|
    |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
