Description of fast matrix multiplication algorithm: ⟨10×21×25:3154⟩

Algorithm type

5⁢X4⁢Y4⁢Z6+235⁢X4⁢Y4⁢Z4+2⁢X6⁢Y3⁢Z2+2⁢X4⁢Y5⁢Z2+2⁢X2⁢Y6⁢Z3+2⁢X6⁢Y2⁢Z2+2⁢X4⁢Y4⁢Z2+5⁢X4⁢Y2⁢Z4+2⁢X3⁢Y5⁢Z2+94⁢X2⁢Y6⁢Z2+15⁢X2⁢Y2⁢Z6+8⁢X4⁢Y3⁢Z2+5⁢X3⁢Y4⁢Z2+X2⁢Y5⁢Z2+6⁢X2⁢Y4⁢Z3+88⁢X4⁢Y2⁢Z2+3⁢X3⁢Y4⁢Z+9⁢X3⁢Y3⁢Z2+18⁢X2⁢Y5⁢Z+373⁢X2⁢Y4⁢Z2+45⁢X2⁢Y2⁢Z4+35⁢X⁢Y6⁢Z+8⁢X3⁢Y3⁢Z+10⁢X3⁢Y2⁢Z2+12⁢X2⁢Y4⁢Z+10⁢X2⁢Y3⁢Z2+14⁢X2⁢Y2⁢Z3+6⁢X⁢Y5⁢Z+6⁢X⁢Y3⁢Z3+5⁢X3⁢Y2⁢Z+47⁢X2⁢Y3⁢Z+689⁢X2⁢Y2⁢Z2+120⁢X⁢Y4⁢Z+18⁢X⁢Y3⁢Z2+18⁢X⁢Y2⁢Z3+11⁢X3⁢Y⁢Z+119⁢X2⁢Y2⁢Z+13⁢X2⁢Y⁢Z2+54⁢X⁢Y3⁢Z+56⁢X⁢Y2⁢Z2+40⁢X⁢Y⁢Z3+231⁢X2⁢Y⁢Z+346⁢X⁢Y2⁢Z+114⁢X⁢Y⁢Z2+250⁢X⁢Y⁢Z5X4Y4Z6235X4Y4Z42X6Y3Z22X4Y5Z22X2Y6Z32X6Y2Z22X4Y4Z25X4Y2Z42X3Y5Z294X2Y6Z215X2Y2Z68X4Y3Z25X3Y4Z2X2Y5Z26X2Y4Z388X4Y2Z23X3Y4Z9X3Y3Z218X2Y5Z373X2Y4Z245X2Y2Z435XY6Z8X3Y3Z10X3Y2Z212X2Y4Z10X2Y3Z214X2Y2Z36XY5Z6XY3Z35X3Y2Z47X2Y3Z689X2Y2Z2120XY4Z18XY3Z218XY2Z311X3YZ119X2Y2Z13X2YZ254XY3Z56XY2Z240XYZ3231X2YZ346XY2Z114XYZ2250XYZ5*X^4*Y^4*Z^6+235*X^4*Y^4*Z^4+2*X^6*Y^3*Z^2+2*X^4*Y^5*Z^2+2*X^2*Y^6*Z^3+2*X^6*Y^2*Z^2+2*X^4*Y^4*Z^2+5*X^4*Y^2*Z^4+2*X^3*Y^5*Z^2+94*X^2*Y^6*Z^2+15*X^2*Y^2*Z^6+8*X^4*Y^3*Z^2+5*X^3*Y^4*Z^2+X^2*Y^5*Z^2+6*X^2*Y^4*Z^3+88*X^4*Y^2*Z^2+3*X^3*Y^4*Z+9*X^3*Y^3*Z^2+18*X^2*Y^5*Z+373*X^2*Y^4*Z^2+45*X^2*Y^2*Z^4+35*X*Y^6*Z+8*X^3*Y^3*Z+10*X^3*Y^2*Z^2+12*X^2*Y^4*Z+10*X^2*Y^3*Z^2+14*X^2*Y^2*Z^3+6*X*Y^5*Z+6*X*Y^3*Z^3+5*X^3*Y^2*Z+47*X^2*Y^3*Z+689*X^2*Y^2*Z^2+120*X*Y^4*Z+18*X*Y^3*Z^2+18*X*Y^2*Z^3+11*X^3*Y*Z+119*X^2*Y^2*Z+13*X^2*Y*Z^2+54*X*Y^3*Z+56*X*Y^2*Z^2+40*X*Y*Z^3+231*X^2*Y*Z+346*X*Y^2*Z+114*X*Y*Z^2+250*X*Y*Z

Algorithm definition

The algorithm ⟨10×21×25:3154⟩ is serendipitous tensor product (⟨5×7×5:127⟩ - 15) ⊗ ⟨2×3×5:25⟩ +⟨4×3×5:47⟩ +⟨2×9×5:72⟩ +5⟨2×6×5:47⟩.

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