Description of fast matrix multiplication algorithm: ⟨13×15×16:1885⟩

Algorithm type

X4⁢Y6⁢Z5+3⁢X4⁢Y4⁢Z7+X2⁢Y12⁢Z+7⁢X4⁢Y4⁢Z6+X3⁢Y8⁢Z3+X3⁢Y4⁢Z7+X9⁢Y⁢Z3+2⁢X6⁢Y2⁢Z5+X4⁢Y8⁢Z+32⁢X4⁢Y4⁢Z5+X4⁢Y2⁢Z7+X2⁢Y9⁢Z2+X2⁢Y6⁢Z5+14⁢X6⁢Y2⁢Z4+3⁢X6⁢Y⁢Z5+X4⁢Y6⁢Z2+99⁢X4⁢Y4⁢Z4+2⁢X4⁢Y2⁢Z6+X3⁢Y6⁢Z3+7⁢X3⁢Y4⁢Z5+X3⁢Y2⁢Z7+X2⁢Y9⁢Z+X2⁢Y6⁢Z4+2⁢X2⁢Y2⁢Z8+2⁢X2⁢Y⁢Z9+2⁢X⁢Y9⁢Z2+5⁢X9⁢Y⁢Z+X7⁢Y⁢Z3+X6⁢Y4⁢Z+2⁢X6⁢Y3⁢Z2+10⁢X6⁢Y2⁢Z3+6⁢X4⁢Y4⁢Z3+8⁢X2⁢Y6⁢Z3+3⁢X2⁢Y4⁢Z5+X2⁢Y3⁢Z6+9⁢X2⁢Y2⁢Z7+4⁢X⁢Y9⁢Z+3⁢X⁢Y⁢Z9+X6⁢Y3⁢Z+33⁢X6⁢Y2⁢Z2+X6⁢Y⁢Z3+11⁢X4⁢Y4⁢Z2+X4⁢Y3⁢Z3+4⁢X4⁢Y2⁢Z4+X4⁢Y⁢Z5+X3⁢Y6⁢Z+3⁢X3⁢Y4⁢Z3+X3⁢Y3⁢Z4+43⁢X2⁢Y6⁢Z2+30⁢X2⁢Y4⁢Z4+52⁢X2⁢Y2⁢Z6+2⁢X2⁢Y⁢Z7+X⁢Y3⁢Z6+X⁢Y2⁢Z7+3⁢X⁢Y⁢Z8+X7⁢Y⁢Z+6⁢X6⁢Y2⁢Z+3⁢X5⁢Y2⁢Z2+X4⁢Y4⁢Z+20⁢X4⁢Y2⁢Z3+X3⁢Y4⁢Z2+2⁢X3⁢Y3⁢Z3+X3⁢Y2⁢Z4+5⁢X3⁢Y⁢Z5+8⁢X2⁢Y6⁢Z+105⁢X2⁢Y4⁢Z3+X2⁢Y3⁢Z4+50⁢X2⁢Y2⁢Z5+7⁢X⁢Y6⁢Z2+3⁢X⁢Y2⁢Z6+6⁢X⁢Y⁢Z7+7⁢X6⁢Y⁢Z+46⁢X4⁢Y2⁢Z2+X4⁢Y⁢Z3+X3⁢Y4⁢Z+X3⁢Y3⁢Z2+5⁢X3⁢Y2⁢Z3+16⁢X3⁢Y⁢Z4+81⁢X2⁢Y4⁢Z2+4⁢X2⁢Y3⁢Z3+101⁢X2⁢Y2⁢Z4+18⁢X⁢Y6⁢Z+2⁢X⁢Y4⁢Z3+X⁢Y3⁢Z4+2⁢X⁢Y2⁢Z5+27⁢X⁢Y⁢Z6+12⁢X3⁢Y3⁢Z+4⁢X3⁢Y2⁢Z2+22⁢X3⁢Y⁢Z3+X2⁢Y4⁢Z+68⁢X2⁢Y2⁢Z3+4⁢X2⁢Y⁢Z4+27⁢X⁢Y4⁢Z2+20⁢X⁢Y3⁢Z3+19⁢X⁢Y2⁢Z4+11⁢X⁢Y⁢Z5+X4⁢Y⁢Z+8⁢X3⁢Y2⁢Z+20⁢X3⁢Y⁢Z2+14⁢X2⁢Y3⁢Z+121⁢X2⁢Y2⁢Z2+32⁢X2⁢Y⁢Z3+25⁢X⁢Y4⁢Z+17⁢X⁢Y3⁢Z2+56⁢X⁢Y2⁢Z3+27⁢X⁢Y⁢Z4+17⁢X3⁢Y⁢Z+18⁢X2⁢Y2⁢Z+26⁢X2⁢Y⁢Z2+24⁢X⁢Y3⁢Z+128⁢X⁢Y2⁢Z2+81⁢X⁢Y⁢Z3+11⁢X2⁢Y⁢Z+60⁢X⁢Y2⁢Z+29⁢X⁢Y⁢Z2+18⁢X⁢Y⁢ZX4Y6Z53X4Y4Z7X2Y12Z7X4Y4Z6X3Y8Z3X3Y4Z7X9YZ32X6Y2Z5X4Y8Z32X4Y4Z5X4Y2Z7X2Y9Z2X2Y6Z514X6Y2Z43X6YZ5X4Y6Z299X4Y4Z42X4Y2Z6X3Y6Z37X3Y4Z5X3Y2Z7X2Y9ZX2Y6Z42X2Y2Z82X2YZ92XY9Z25X9YZX7YZ3X6Y4Z2X6Y3Z210X6Y2Z36X4Y4Z38X2Y6Z33X2Y4Z5X2Y3Z69X2Y2Z74XY9Z3XYZ9X6Y3Z33X6Y2Z2X6YZ311X4Y4Z2X4Y3Z34X4Y2Z4X4YZ5X3Y6Z3X3Y4Z3X3Y3Z443X2Y6Z230X2Y4Z452X2Y2Z62X2YZ7XY3Z6XY2Z73XYZ8X7YZ6X6Y2Z3X5Y2Z2X4Y4Z20X4Y2Z3X3Y4Z22X3Y3Z3X3Y2Z45X3YZ58X2Y6Z105X2Y4Z3X2Y3Z450X2Y2Z57XY6Z23XY2Z66XYZ77X6YZ46X4Y2Z2X4YZ3X3Y4ZX3Y3Z25X3Y2Z316X3YZ481X2Y4Z24X2Y3Z3101X2Y2Z418XY6Z2XY4Z3XY3Z42XY2Z527XYZ612X3Y3Z4X3Y2Z222X3YZ3X2Y4Z68X2Y2Z34X2YZ427XY4Z220XY3Z319XY2Z411XYZ5X4YZ8X3Y2Z20X3YZ214X2Y3Z121X2Y2Z232X2YZ325XY4Z17XY3Z256XY2Z327XYZ417X3YZ18X2Y2Z26X2YZ224XY3Z128XY2Z281XYZ311X2YZ60XY2Z29XYZ218XYZX^4*Y^6*Z^5+3*X^4*Y^4*Z^7+X^2*Y^12*Z+7*X^4*Y^4*Z^6+X^3*Y^8*Z^3+X^3*Y^4*Z^7+X^9*Y*Z^3+2*X^6*Y^2*Z^5+X^4*Y^8*Z+32*X^4*Y^4*Z^5+X^4*Y^2*Z^7+X^2*Y^9*Z^2+X^2*Y^6*Z^5+14*X^6*Y^2*Z^4+3*X^6*Y*Z^5+X^4*Y^6*Z^2+99*X^4*Y^4*Z^4+2*X^4*Y^2*Z^6+X^3*Y^6*Z^3+7*X^3*Y^4*Z^5+X^3*Y^2*Z^7+X^2*Y^9*Z+X^2*Y^6*Z^4+2*X^2*Y^2*Z^8+2*X^2*Y*Z^9+2*X*Y^9*Z^2+5*X^9*Y*Z+X^7*Y*Z^3+X^6*Y^4*Z+2*X^6*Y^3*Z^2+10*X^6*Y^2*Z^3+6*X^4*Y^4*Z^3+8*X^2*Y^6*Z^3+3*X^2*Y^4*Z^5+X^2*Y^3*Z^6+9*X^2*Y^2*Z^7+4*X*Y^9*Z+3*X*Y*Z^9+X^6*Y^3*Z+33*X^6*Y^2*Z^2+X^6*Y*Z^3+11*X^4*Y^4*Z^2+X^4*Y^3*Z^3+4*X^4*Y^2*Z^4+X^4*Y*Z^5+X^3*Y^6*Z+3*X^3*Y^4*Z^3+X^3*Y^3*Z^4+43*X^2*Y^6*Z^2+30*X^2*Y^4*Z^4+52*X^2*Y^2*Z^6+2*X^2*Y*Z^7+X*Y^3*Z^6+X*Y^2*Z^7+3*X*Y*Z^8+X^7*Y*Z+6*X^6*Y^2*Z+3*X^5*Y^2*Z^2+X^4*Y^4*Z+20*X^4*Y^2*Z^3+X^3*Y^4*Z^2+2*X^3*Y^3*Z^3+X^3*Y^2*Z^4+5*X^3*Y*Z^5+8*X^2*Y^6*Z+105*X^2*Y^4*Z^3+X^2*Y^3*Z^4+50*X^2*Y^2*Z^5+7*X*Y^6*Z^2+3*X*Y^2*Z^6+6*X*Y*Z^7+7*X^6*Y*Z+46*X^4*Y^2*Z^2+X^4*Y*Z^3+X^3*Y^4*Z+X^3*Y^3*Z^2+5*X^3*Y^2*Z^3+16*X^3*Y*Z^4+81*X^2*Y^4*Z^2+4*X^2*Y^3*Z^3+101*X^2*Y^2*Z^4+18*X*Y^6*Z+2*X*Y^4*Z^3+X*Y^3*Z^4+2*X*Y^2*Z^5+27*X*Y*Z^6+12*X^3*Y^3*Z+4*X^3*Y^2*Z^2+22*X^3*Y*Z^3+X^2*Y^4*Z+68*X^2*Y^2*Z^3+4*X^2*Y*Z^4+27*X*Y^4*Z^2+20*X*Y^3*Z^3+19*X*Y^2*Z^4+11*X*Y*Z^5+X^4*Y*Z+8*X^3*Y^2*Z+20*X^3*Y*Z^2+14*X^2*Y^3*Z+121*X^2*Y^2*Z^2+32*X^2*Y*Z^3+25*X*Y^4*Z+17*X*Y^3*Z^2+56*X*Y^2*Z^3+27*X*Y*Z^4+17*X^3*Y*Z+18*X^2*Y^2*Z+26*X^2*Y*Z^2+24*X*Y^3*Z+128*X*Y^2*Z^2+81*X*Y*Z^3+11*X^2*Y*Z+60*X*Y^2*Z+29*X*Y*Z^2+18*X*Y*Z

Algorithm definition

The algorithm ⟨13×15×16:1885⟩ is taken from:

Andrew I. Perminov. FastMatrixMultiplication, GitHub, February 2026. [ GitHub repository ]

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