(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DEFPARAMETER FiniteRankNonAssociativeAlgebra;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|::|FiniteRankNonAssociativeAlgebra;CAT|)
    |BOOT|::|FiniteRankNonAssociativeAlgebra;CAT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (DECLAIM (NOTINLINE FiniteRankNonAssociativeAlgebra;))-2|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|FiniteRankNonAssociativeAlgebra;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 6 (DEFPARAMETER FiniteRankNonAssociativeAlgebra;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|::|FiniteRankNonAssociativeAlgebra;AL|)
    |BOOT|::|FiniteRankNonAssociativeAlgebra;AL|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|8 17 (DEFUN FiniteRankNonAssociativeAlgebra (t#1) ...)-4|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|FiniteRankNonAssociativeAlgebra|
    |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|FiniteRankNonAssociativeAlgebra|
       #40Y(00 00 00 00 01 00 00 00 26 02 63 AE 6F 00 AC 6B 01 30 02 F9 1C 0F
            AC AD 2F 03 FA 7A 6B 01 30 04 0F 01 9E 19 04 5C 19 04)
       (|BOOT|::|devaluate| |BOOT|::|FiniteRankNonAssociativeAlgebra;AL|
        |BOOT|::|assoc| |BOOT|::|FiniteRankNonAssociativeAlgebra;|
        |BOOT|::|cons5|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|t#1|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|19 195 (DEFUN FiniteRankNonAssociativeAlgebra; (t#1) ...)-5|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|FiniteRankNonAssociativeAlgebra;|
    |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|FiniteRankNonAssociativeAlgebra;|
       #55Y(00 00 00 00 01 00 00 00 26 02 63 DA AF 7B 01 70 01 0E 02 1C 0E DD
            6F 04 DF E0 01 02 6E 04 07 30 08 0F 02 14 30 09 F8 14 E4 B0 7B 02
            AC AF E5 2D 03 0C 16 01 15 19 03)
       ((|BOOT|::|t#1|) |BOOT|::|PAIR|
        |BOOT|::|FiniteRankNonAssociativeAlgebra;CAT| |BOOT|::|t#1|
        |BOOT|::|NonAssociativeAlgebra|
        (((|BOOT|::|someBasis| ((|BOOT|::|Vector| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|rank| ((|BOOT|::|PositiveInteger|))) |COMMON-LISP|::|T|)
         ((|BOOT|::|conditionsForIdempotents|
           ((|BOOT|::|List| (|BOOT|::|Polynomial| |BOOT|::|t#1|))
            (|BOOT|::|Vector| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|structuralConstants|
           ((|BOOT|::|Vector| (|BOOT|::|Matrix| |BOOT|::|t#1|))
            (|BOOT|::|Vector| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|leftRegularRepresentation|
           ((|BOOT|::|Matrix| |BOOT|::|t#1|) |BOOT|::|$|
            (|BOOT|::|Vector| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|rightRegularRepresentation|
           ((|BOOT|::|Matrix| |BOOT|::|t#1|) |BOOT|::|$|
            (|BOOT|::|Vector| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|leftTrace| (|BOOT|::|t#1| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|rightTrace| (|BOOT|::|t#1| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|leftNorm| (|BOOT|::|t#1| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|rightNorm| (|BOOT|::|t#1| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|coordinates|
           ((|BOOT|::|Vector| |BOOT|::|t#1|) |BOOT|::|$|
            (|BOOT|::|Vector| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|coordinates|
           ((|BOOT|::|Matrix| |BOOT|::|t#1|) (|BOOT|::|Vector| |BOOT|::|$|)
            (|BOOT|::|Vector| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|represents|
           (|BOOT|::|$| (|BOOT|::|Vector| |BOOT|::|t#1|)
            (|BOOT|::|Vector| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|leftDiscriminant|
           (|BOOT|::|t#1| (|BOOT|::|Vector| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|rightDiscriminant|
           (|BOOT|::|t#1| (|BOOT|::|Vector| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|leftTraceMatrix|
           ((|BOOT|::|Matrix| |BOOT|::|t#1|) (|BOOT|::|Vector| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|rightTraceMatrix|
           ((|BOOT|::|Matrix| |BOOT|::|t#1|) (|BOOT|::|Vector| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|leftCharacteristicPolynomial|
           ((|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|t#1|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|rightCharacteristicPolynomial|
           ((|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|t#1|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|commutative?| ((|BOOT|::|Boolean|))) |COMMON-LISP|::|T|)
         ((|BOOT|::|antiCommutative?| ((|BOOT|::|Boolean|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|associative?| ((|BOOT|::|Boolean|))) |COMMON-LISP|::|T|)
         ((|BOOT|::|antiAssociative?| ((|BOOT|::|Boolean|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|leftAlternative?| ((|BOOT|::|Boolean|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|rightAlternative?| ((|BOOT|::|Boolean|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|flexible?| ((|BOOT|::|Boolean|))) |COMMON-LISP|::|T|)
         ((|BOOT|::|alternative?| ((|BOOT|::|Boolean|))) |COMMON-LISP|::|T|)
         ((|BOOT|::|powerAssociative?| ((|BOOT|::|Boolean|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|jacobiIdentity?| ((|BOOT|::|Boolean|))) |COMMON-LISP|::|T|)
         ((|BOOT|::|lieAdmissible?| ((|BOOT|::|Boolean|))) |COMMON-LISP|::|T|)
         ((|BOOT|::|jordanAdmissible?| ((|BOOT|::|Boolean|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|noncommutativeJordanAlgebra?| ((|BOOT|::|Boolean|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|jordanAlgebra?| ((|BOOT|::|Boolean|))) |COMMON-LISP|::|T|)
         ((|BOOT|::|lieAlgebra?| ((|BOOT|::|Boolean|))) |COMMON-LISP|::|T|)
         ((|BOOT|::|recip|
           ((|BOOT|::|Union| |BOOT|::|$| "failed") |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|leftRecip|
           ((|BOOT|::|Union| |BOOT|::|$| "failed") |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|rightRecip|
           ((|BOOT|::|Union| |BOOT|::|$| "failed") |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|associatorDependence|
           ((|BOOT|::|List| (|BOOT|::|Vector| |BOOT|::|t#1|))))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|leftMinimalPolynomial|
           ((|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|t#1|) |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|rightMinimalPolynomial|
           ((|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|t#1|) |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|leftUnits|
           ((|BOOT|::|Union|
             (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|particular| |BOOT|::|$|)
              (|BOOT|::|:| |BOOT|::|basis| (|BOOT|::|List| |BOOT|::|$|)))
             "failed")))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|rightUnits|
           ((|BOOT|::|Union|
             (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|particular| |BOOT|::|$|)
              (|BOOT|::|:| |BOOT|::|basis| (|BOOT|::|List| |BOOT|::|$|)))
             "failed")))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|leftUnit| ((|BOOT|::|Union| |BOOT|::|$| "failed")))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|rightUnit| ((|BOOT|::|Union| |BOOT|::|$| "failed")))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|unit| ((|BOOT|::|Union| |BOOT|::|$| "failed")))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|))))
        (((|BOOT|::|unitsKnown|)
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|))))
        |BOOT|::|mkCategory| |BOOT|::|Join| |BOOT|::|sublisV|
        |BOOT|::|FiniteRankNonAssociativeAlgebra| 0.
        #.(|SYSTEM|::|GET-SETF-SYMBOL| '|COMMON-LISP|::|ELT|))
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|t#1|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
