Description of fast matrix multiplication algorithm: ⟨10×25×28:4057⟩

Algorithm type

8X6Y8Z4+376X4Y8Z4+6X2Y8Z4+8X3Y8Z2+3X2Y8Z3+2X2Y7Z4+24X6Y4Z2+8X4Y4Z4+512X2Y8Z2+X2Y6Z3+3X2Y5Z4+19XY8Z2+72X4Y4Z2+2X2Y6Z2+2X2Y5Z3+131X2Y4Z4+137XY8Z+9XY7Z2+2X2Y5Z2+7X2Y4Z3+10X2Y3Z4+2XY7Z+10XY6Z2+24X3Y4Z+178X2Y4Z2+12X2Y3Z3+13X2Y2Z4+3XY6Z+12XY5Z2+2XY4Z3+16X3Y2Z2+72X2Y4Z+4X2Y3Z2+16X2Y2Z3+15XY5Z+150XY4Z2+2XY3Z3+767X2Y2Z2+177XY4Z+23XY3Z2+8XY2Z3+48X3YZ+16X2YZ2+15XY3Z+37XY2Z2+12XYZ3+144X2YZ+294XY2Z+296XYZ2+347XYZ8X6Y8Z4376X4Y8Z46X2Y8Z48X3Y8Z23X2Y8Z32X2Y7Z424X6Y4Z28X4Y4Z4512X2Y8Z2X2Y6Z33X2Y5Z419XY8Z272X4Y4Z22X2Y6Z22X2Y5Z3131X2Y4Z4137XY8Z9XY7Z22X2Y5Z27X2Y4Z310X2Y3Z42XY7Z10XY6Z224X3Y4Z178X2Y4Z212X2Y3Z313X2Y2Z43XY6Z12XY5Z22XY4Z316X3Y2Z272X2Y4Z4X2Y3Z216X2Y2Z315XY5Z150XY4Z22XY3Z3767X2Y2Z2177XY4Z23XY3Z28XY2Z348X3YZ16X2YZ215XY3Z37XY2Z212XYZ3144X2YZ294XY2Z296XYZ2347XYZ8*X^6*Y^8*Z^4+376*X^4*Y^8*Z^4+6*X^2*Y^8*Z^4+8*X^3*Y^8*Z^2+3*X^2*Y^8*Z^3+2*X^2*Y^7*Z^4+24*X^6*Y^4*Z^2+8*X^4*Y^4*Z^4+512*X^2*Y^8*Z^2+X^2*Y^6*Z^3+3*X^2*Y^5*Z^4+19*X*Y^8*Z^2+72*X^4*Y^4*Z^2+2*X^2*Y^6*Z^2+2*X^2*Y^5*Z^3+131*X^2*Y^4*Z^4+137*X*Y^8*Z+9*X*Y^7*Z^2+2*X^2*Y^5*Z^2+7*X^2*Y^4*Z^3+10*X^2*Y^3*Z^4+2*X*Y^7*Z+10*X*Y^6*Z^2+24*X^3*Y^4*Z+178*X^2*Y^4*Z^2+12*X^2*Y^3*Z^3+13*X^2*Y^2*Z^4+3*X*Y^6*Z+12*X*Y^5*Z^2+2*X*Y^4*Z^3+16*X^3*Y^2*Z^2+72*X^2*Y^4*Z+4*X^2*Y^3*Z^2+16*X^2*Y^2*Z^3+15*X*Y^5*Z+150*X*Y^4*Z^2+2*X*Y^3*Z^3+767*X^2*Y^2*Z^2+177*X*Y^4*Z+23*X*Y^3*Z^2+8*X*Y^2*Z^3+48*X^3*Y*Z+16*X^2*Y*Z^2+15*X*Y^3*Z+37*X*Y^2*Z^2+12*X*Y*Z^3+144*X^2*Y*Z+294*X*Y^2*Z+296*X*Y*Z^2+347*X*Y*Z

Algorithm definition

The algorithm ⟨10×25×28:4057⟩ is serendipitous tensor product (⟨5×5×7:127⟩ - 13) ⊗ ⟨2×5×4:32⟩ +⟨2×5×12:94⟩ +5⟨2×5×8:63⟩.

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