Description of fast matrix multiplication algorithm: ⟨8×13×24:1568⟩

Algorithm type

8⁢X4⁢Y6⁢Z4+32⁢X4⁢Y5⁢Z4+58⁢X4⁢Y4⁢Z4+2⁢X2⁢Y9⁢Z+2⁢X2⁢Y8⁢Z2+20⁢X4⁢Y3⁢Z4+2⁢X2⁢Y6⁢Z3+2⁢X2⁢Y3⁢Z6+6⁢X6⁢Y2⁢Z2+6⁢X4⁢Y2⁢Z4+4⁢X2⁢Y7⁢Z+18⁢X2⁢Y6⁢Z2+8⁢X2⁢Y5⁢Z3+2⁢X2⁢Y4⁢Z4+2⁢X2⁢Y2⁢Z6+4⁢X⁢Y7⁢Z2+4⁢X2⁢Y6⁢Z+146⁢X2⁢Y5⁢Z2+10⁢X2⁢Y4⁢Z3+4⁢X2⁢Y3⁢Z4+4⁢X2⁢Y⁢Z6+2⁢X4⁢Y2⁢Z2+2⁢X2⁢Y5⁢Z+112⁢X2⁢Y4⁢Z2+6⁢X2⁢Y3⁢Z3+6⁢X2⁢Y2⁢Z4+8⁢X⁢Y5⁢Z2+4⁢X3⁢Y3⁢Z+10⁢X2⁢Y4⁢Z+166⁢X2⁢Y3⁢Z2+6⁢X2⁢Y2⁢Z3+8⁢X⁢Y4⁢Z2+20⁢X⁢Y3⁢Z3+4⁢X3⁢Y2⁢Z+4⁢X2⁢Y3⁢Z+110⁢X2⁢Y2⁢Z2+26⁢X⁢Y3⁢Z2+8⁢X⁢Y2⁢Z3+6⁢X2⁢Y2⁢Z+18⁢X2⁢Y⁢Z2+372⁢X⁢Y3⁢Z+4⁢X⁢Y2⁢Z2+4⁢X⁢Y⁢Z3+204⁢X⁢Y2⁢Z+10⁢X⁢Y⁢Z2+104⁢X⁢Y⁢Z8X4Y6Z432X4Y5Z458X4Y4Z42X2Y9Z2X2Y8Z220X4Y3Z42X2Y6Z32X2Y3Z66X6Y2Z26X4Y2Z44X2Y7Z18X2Y6Z28X2Y5Z32X2Y4Z42X2Y2Z64XY7Z24X2Y6Z146X2Y5Z210X2Y4Z34X2Y3Z44X2YZ62X4Y2Z22X2Y5Z112X2Y4Z26X2Y3Z36X2Y2Z48XY5Z24X3Y3Z10X2Y4Z166X2Y3Z26X2Y2Z38XY4Z220XY3Z34X3Y2Z4X2Y3Z110X2Y2Z226XY3Z28XY2Z36X2Y2Z18X2YZ2372XY3Z4XY2Z24XYZ3204XY2Z10XYZ2104XYZ8*X^4*Y^6*Z^4+32*X^4*Y^5*Z^4+58*X^4*Y^4*Z^4+2*X^2*Y^9*Z+2*X^2*Y^8*Z^2+20*X^4*Y^3*Z^4+2*X^2*Y^6*Z^3+2*X^2*Y^3*Z^6+6*X^6*Y^2*Z^2+6*X^4*Y^2*Z^4+4*X^2*Y^7*Z+18*X^2*Y^6*Z^2+8*X^2*Y^5*Z^3+2*X^2*Y^4*Z^4+2*X^2*Y^2*Z^6+4*X*Y^7*Z^2+4*X^2*Y^6*Z+146*X^2*Y^5*Z^2+10*X^2*Y^4*Z^3+4*X^2*Y^3*Z^4+4*X^2*Y*Z^6+2*X^4*Y^2*Z^2+2*X^2*Y^5*Z+112*X^2*Y^4*Z^2+6*X^2*Y^3*Z^3+6*X^2*Y^2*Z^4+8*X*Y^5*Z^2+4*X^3*Y^3*Z+10*X^2*Y^4*Z+166*X^2*Y^3*Z^2+6*X^2*Y^2*Z^3+8*X*Y^4*Z^2+20*X*Y^3*Z^3+4*X^3*Y^2*Z+4*X^2*Y^3*Z+110*X^2*Y^2*Z^2+26*X*Y^3*Z^2+8*X*Y^2*Z^3+6*X^2*Y^2*Z+18*X^2*Y*Z^2+372*X*Y^3*Z+4*X*Y^2*Z^2+4*X*Y*Z^3+204*X*Y^2*Z+10*X*Y*Z^2+104*X*Y*Z

Algorithm definition

The algorithm ⟨8×13×24:1568⟩ is the (Kronecker) tensor product of ⟨8×13×12:784⟩ with ⟨1×1×2:2⟩.

Algorithm description

These encodings are given in compressed text format using the maple computer algebra system. In each cases, the last line could be understood as a description of the encoding with respect to classical matrix multiplication algorithm. As these outputs are structured, one can construct easily a parser to its favorite format using the maple documentation without this software.


Back to main table