(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 3 (SDEFUN CPIMA;XtoY (# #) ...)-1|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|CPIMA;XtoY| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|CPIMA;XtoY|
       #27Y(00 00 00 00 02 00 00 00 26 03 AD C5 5F 14 94 00 99 01 A1 7A B1 95
            03 36 03 19 04)
       (17. |BOOT|::|CPIMA;XtoY!0|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|Q| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|5 6 (SDEFUN CPIMA;XtoY!0 (# #) ...)-2|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|CPIMA;XtoY!0| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|CPIMA;XtoY!0|
       #34Y(00 00 00 00 02 00 00 00 26 03 AD C5 5F 14 94 00 B0 B0 C6 5F 14 94
            00 95 01 36 01 F8 95 03 36 03 19 04)
       (13. 12.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|x| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|8 22 (SDEFUN CPIMA;characteristicPolynomial;EPolR;2 (# #) ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|CPIMA;characteristicPolynomial;EPolR;2|
    |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|CPIMA;characteristicPolynomial;EPolR;2|
       #65Y(00 00 00 00 02 00 00 00 26 03 01 02 AF C5 5F 14 94 00 B2 95 02 36
            02 16 01 F8 AF C6 5F 14 94 00 B1 C7 5F 14 B2 C8 5F 14 94 00 B4 C9
            5F 14 B2 B6 70 05 95 03 36 03 F8 95 03 36 03 16 01 F9 9E 19 05)
       (24. 26. 19. 25. 23. |BOOT|::|CPIMA;XtoY|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|x| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|24 24 (DECLAIM (NOTINLINE CharacteristicPolynomialInMonogenicalAlgebra;))-4|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE|
     |BOOT|::|CharacteristicPolynomialInMonogenicalAlgebra;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|26 48 (DEFUN CharacteristicPolynomialInMonogenicalAlgebra (&REST G700) ...)-5|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|CharacteristicPolynomialInMonogenicalAlgebra|
    |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|CharacteristicPolynomialInMonogenicalAlgebra|
       #66Y(03 00 01 00 00 00 00 00 21 16 63 AE 6F 00 DB 6B 02 38 01 71 6E DD
            2D 03 04 F8 1C 13 53 16 99 06 A2 77 00 7E 03 15 54 05 00 00 00 1D
            0D 1B 10 14 2F 05 19 03 05 00 00 00 1C 05 DB 6B 02 31 70 55 19 03)
       (|BOOT|::|devaluateList|
        |BOOT|::|CharacteristicPolynomialInMonogenicalAlgebra|
        |BOOT|::|$ConstructorCache| |BOOT|::|domainEqualList|
        |BOOT|::|lassocShiftWithFunction| |BOOT|::|CDRwithIncrement|
        |BOOT|::|CharacteristicPolynomialInMonogenicalAlgebra;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|50 81 (DEFUN CharacteristicPolynomialInMonogenicalAlgebra; (#1 #2 #3) ...)-6|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|CharacteristicPolynomialInMonogenicalAlgebra;|
    |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|CharacteristicPolynomialInMonogenicalAlgebra;|
       #148Y(00 00 00 00 03 00 00 00 26 04 01 05 B4 2F 00 F8 B3 2F 00 F9 B2 2F
             00 FA DB AD AF B1 61 04 FB DC 2F 03 FC AF B1 C9 60 DE DE 63 6E 03
             05 B1 CB 60 6B 07 DB AE B0 B2 7B 03 E2 A5 7A 2D 04 09 B0 2F 0A B4
             B1 D0 60 B3 B1 D1 60 B2 B1 D2 60 B0 D3 5F 14 94 00 95 01 36 01 F8
             B1 70 0F B1 D5 60 B0 D6 5F 14 94 00 B2 D7 5F 14 94 00 B4 D8 5F 14
             94 00 95 01 36 01 F8 E2 95 03 36 03 F8 DE 95 03 36 03 F8 B1 D9 60
             B3 EF 8B 16 08 99 17 A2 7A B1 03 18 60 A1 19 09)
       (|BOOT|::|devaluate|
        |BOOT|::|CharacteristicPolynomialInMonogenicalAlgebra| 28.
        |BOOT|::|GETREFV| 0. |BOOT|::|buildPredVector| 3.
        |BOOT|::|$ConstructorCache| 1. |BOOT|::|haddProp|
        |BOOT|::|stuffDomainSlots| 6. 7. 8. 18. |BOOT|::|CPIMA;XtoY| 19. 22.
        13. 20. 23. (|BOOT|::|CommutativeRing|) |BOOT|::|HasCategory|
        |BOOT|::|CPIMA;characteristicPolynomial;EPolR;2| 27.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|#1| |BOOT|::|#2| |BOOT|::|#3|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|83 108 (MAKEPROP 'CharacteristicPolynomialInMonogenicalAlgebra 'infovec ...)-7|
   #36Y(00 00 00 00 00 00 00 00 20 01 DA DB DC DD 63 DE DF 70 06 E1 E2 E3 E4 30
        06 5D 5D 7A E5 7B 05 2D 03 0C 19 01)
   (|BOOT|::|CharacteristicPolynomialInMonogenicalAlgebra| |BOOT|::|infovec|
    #(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      (|BOOT|::|local| |BOOT|::|#1|) (|BOOT|::|local| |BOOT|::|#2|)
      (|BOOT|::|local| |BOOT|::|#3|) (0. . |BOOT|::|Zero|)
      (4. . |BOOT|::|Zero|) (|BOOT|::|NonNegativeInteger|)
      (8. . |BOOT|::|Zero|) (12. . |BOOT|::|monomial|)
      (|BOOT|::|SparseUnivariatePolynomial| 7.) (|BOOT|::|Mapping| 7. 6.)
      (|BOOT|::|UnivariatePolynomialCategoryFunctions2| 6. 7. 7. 14.)
      (18. . |BOOT|::|map|) (24. . |BOOT|::|definingPolynomial|) '|BOOT|::|P|
      (28. . |BOOT|::|One|) (32. . |BOOT|::|One|) (36. . |BOOT|::|monomial|)
      '|FRICAS-LISP|::|X| (42. . |BOOT|::|lift|) (47. . |COMMON-LISP|::|-|)
      (53. . |BOOT|::|resultant|) (59. . |BOOT|::|characteristicPolynomial|))
    #(|BOOT|::|characteristicPolynomial| 64.) 1. (0.)
    |BOOT|::|makeByteWordVec2| #(|COMMON-LISP|::|NIL|)
    #((|BOOT|::|Join|
       (|BOOT|::|mkCategory|
        (|COMMON-LISP|::|LIST|
         '((|BOOT|::|characteristicPolynomial| (|BOOT|::|#2| |BOOT|::|#3|))
           |COMMON-LISP|::|T|))
        (|COMMON-LISP|::|LIST|) |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)))
    27.
    (0. 6. 0. 9. 0. 7. 0. 10. 0. 11. 0. 12. 2. 7. 0. 6. 11. 13. 2. 16. 14. 15.
     7. 17. 0. 8. 7. 18. 0. 6. 0. 20. 0. 7. 0. 21. 2. 14. 0. 7. 11. 22. 1. 8.
     7. 0. 24. 2. 14. 0. 0. 0. 25. 2. 14. 7. 0. 0. 26. 1. 0. 7. 8. 27. 1. 0. 7.
     8. 27.)
    |BOOT|::|lookupComplete| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
