Description of fast matrix multiplication algorithm: ⟨12×13×16:1509⟩

Algorithm type

6⁢X4⁢Y6⁢Z6+4⁢X4⁢Y5⁢Z6+3⁢X8⁢Y4⁢Z2+3⁢X6⁢Y4⁢Z4+2⁢X4⁢Y6⁢Z4+8⁢X4⁢Y4⁢Z6+32⁢X4⁢Y5⁢Z4+4⁢X2⁢Y5⁢Z6+27⁢X6⁢Y4⁢Z2+6⁢X6⁢Y2⁢Z4+2⁢X4⁢Y6⁢Z2+61⁢X4⁢Y4⁢Z4+4⁢X3⁢Y5⁢Z4+2⁢X2⁢Y8⁢Z2+20⁢X2⁢Y4⁢Z6+3⁢X9⁢Y⁢Z+X4⁢Y6⁢Z+4⁢X4⁢Y5⁢Z2+4⁢X4⁢Y3⁢Z4+4⁢X2⁢Y7⁢Z2+7⁢X2⁢Y6⁢Z3+27⁢X2⁢Y3⁢Z6+2⁢X⁢Y9⁢Z+4⁢X⁢Y4⁢Z6+4⁢X⁢Y⁢Z9+26⁢X6⁢Y2⁢Z2+X4⁢Y5⁢Z+10⁢X4⁢Y4⁢Z2+16⁢X4⁢Y2⁢Z4+X3⁢Y6⁢Z+3⁢X3⁢Y3⁢Z4+40⁢X2⁢Y6⁢Z2+3⁢X2⁢Y5⁢Z3+25⁢X2⁢Y4⁢Z4+59⁢X2⁢Y2⁢Z6+X⁢Y8⁢Z+X⁢Y6⁢Z3+5⁢X⁢Y3⁢Z6+2⁢X6⁢Y⁢Z2+X4⁢Y4⁢Z+4⁢X4⁢Y3⁢Z2+X3⁢Y5⁢Z+3⁢X3⁢Y4⁢Z2+10⁢X3⁢Y2⁢Z4+5⁢X2⁢Y6⁢Z+20⁢X2⁢Y5⁢Z2+9⁢X2⁢Y4⁢Z3+35⁢X2⁢Y3⁢Z4+4⁢X2⁢Y⁢Z6+2⁢X⁢Y7⁢Z+2⁢X⁢Y6⁢Z2+X⁢Y5⁢Z3+45⁢X⁢Y2⁢Z6+X6⁢Y⁢Z+X4⁢Y3⁢Z+6⁢X4⁢Y2⁢Z2+X3⁢Y4⁢Z+6⁢X3⁢Y3⁢Z2+5⁢X3⁢Y⁢Z4+4⁢X2⁢Y5⁢Z+61⁢X2⁢Y4⁢Z2+3⁢X2⁢Y3⁢Z3+87⁢X2⁢Y2⁢Z4+15⁢X⁢Y6⁢Z+6⁢X⁢Y5⁢Z2+5⁢X⁢Y4⁢Z3+32⁢X⁢Y⁢Z6+32⁢X3⁢Y3⁢Z+7⁢X3⁢Y2⁢Z2+8⁢X3⁢Y⁢Z3+6⁢X2⁢Y4⁢Z+61⁢X2⁢Y3⁢Z2+2⁢X2⁢Y2⁢Z3+10⁢X2⁢Y⁢Z4+2⁢X⁢Y5⁢Z+13⁢X⁢Y4⁢Z2+27⁢X⁢Y3⁢Z3+36⁢X⁢Y2⁢Z4+10⁢X3⁢Y2⁢Z+15⁢X3⁢Y⁢Z2+81⁢X2⁢Y2⁢Z2+2⁢X2⁢Y⁢Z3+5⁢X⁢Y4⁢Z+31⁢X⁢Y3⁢Z2+12⁢X⁢Y2⁢Z3+18⁢X⁢Y⁢Z4+35⁢X3⁢Y⁢Z+4⁢X2⁢Y2⁢Z+5⁢X2⁢Y⁢Z2+81⁢X⁢Y3⁢Z+74⁢X⁢Y2⁢Z2+46⁢X⁢Y⁢Z3+25⁢X⁢Y2⁢Z+37⁢X⁢Y⁢Z2+12⁢X⁢Y⁢Z6X4Y6Z64X4Y5Z63X8Y4Z23X6Y4Z42X4Y6Z48X4Y4Z632X4Y5Z44X2Y5Z627X6Y4Z26X6Y2Z42X4Y6Z261X4Y4Z44X3Y5Z42X2Y8Z220X2Y4Z63X9YZX4Y6Z4X4Y5Z24X4Y3Z44X2Y7Z27X2Y6Z327X2Y3Z62XY9Z4XY4Z64XYZ926X6Y2Z2X4Y5Z10X4Y4Z216X4Y2Z4X3Y6Z3X3Y3Z440X2Y6Z23X2Y5Z325X2Y4Z459X2Y2Z6XY8ZXY6Z35XY3Z62X6YZ2X4Y4Z4X4Y3Z2X3Y5Z3X3Y4Z210X3Y2Z45X2Y6Z20X2Y5Z29X2Y4Z335X2Y3Z44X2YZ62XY7Z2XY6Z2XY5Z345XY2Z6X6YZX4Y3Z6X4Y2Z2X3Y4Z6X3Y3Z25X3YZ44X2Y5Z61X2Y4Z23X2Y3Z387X2Y2Z415XY6Z6XY5Z25XY4Z332XYZ632X3Y3Z7X3Y2Z28X3YZ36X2Y4Z61X2Y3Z22X2Y2Z310X2YZ42XY5Z13XY4Z227XY3Z336XY2Z410X3Y2Z15X3YZ281X2Y2Z22X2YZ35XY4Z31XY3Z212XY2Z318XYZ435X3YZ4X2Y2Z5X2YZ281XY3Z74XY2Z246XYZ325XY2Z37XYZ212XYZ6*X^4*Y^6*Z^6+4*X^4*Y^5*Z^6+3*X^8*Y^4*Z^2+3*X^6*Y^4*Z^4+2*X^4*Y^6*Z^4+8*X^4*Y^4*Z^6+32*X^4*Y^5*Z^4+4*X^2*Y^5*Z^6+27*X^6*Y^4*Z^2+6*X^6*Y^2*Z^4+2*X^4*Y^6*Z^2+61*X^4*Y^4*Z^4+4*X^3*Y^5*Z^4+2*X^2*Y^8*Z^2+20*X^2*Y^4*Z^6+3*X^9*Y*Z+X^4*Y^6*Z+4*X^4*Y^5*Z^2+4*X^4*Y^3*Z^4+4*X^2*Y^7*Z^2+7*X^2*Y^6*Z^3+27*X^2*Y^3*Z^6+2*X*Y^9*Z+4*X*Y^4*Z^6+4*X*Y*Z^9+26*X^6*Y^2*Z^2+X^4*Y^5*Z+10*X^4*Y^4*Z^2+16*X^4*Y^2*Z^4+X^3*Y^6*Z+3*X^3*Y^3*Z^4+40*X^2*Y^6*Z^2+3*X^2*Y^5*Z^3+25*X^2*Y^4*Z^4+59*X^2*Y^2*Z^6+X*Y^8*Z+X*Y^6*Z^3+5*X*Y^3*Z^6+2*X^6*Y*Z^2+X^4*Y^4*Z+4*X^4*Y^3*Z^2+X^3*Y^5*Z+3*X^3*Y^4*Z^2+10*X^3*Y^2*Z^4+5*X^2*Y^6*Z+20*X^2*Y^5*Z^2+9*X^2*Y^4*Z^3+35*X^2*Y^3*Z^4+4*X^2*Y*Z^6+2*X*Y^7*Z+2*X*Y^6*Z^2+X*Y^5*Z^3+45*X*Y^2*Z^6+X^6*Y*Z+X^4*Y^3*Z+6*X^4*Y^2*Z^2+X^3*Y^4*Z+6*X^3*Y^3*Z^2+5*X^3*Y*Z^4+4*X^2*Y^5*Z+61*X^2*Y^4*Z^2+3*X^2*Y^3*Z^3+87*X^2*Y^2*Z^4+15*X*Y^6*Z+6*X*Y^5*Z^2+5*X*Y^4*Z^3+32*X*Y*Z^6+32*X^3*Y^3*Z+7*X^3*Y^2*Z^2+8*X^3*Y*Z^3+6*X^2*Y^4*Z+61*X^2*Y^3*Z^2+2*X^2*Y^2*Z^3+10*X^2*Y*Z^4+2*X*Y^5*Z+13*X*Y^4*Z^2+27*X*Y^3*Z^3+36*X*Y^2*Z^4+10*X^3*Y^2*Z+15*X^3*Y*Z^2+81*X^2*Y^2*Z^2+2*X^2*Y*Z^3+5*X*Y^4*Z+31*X*Y^3*Z^2+12*X*Y^2*Z^3+18*X*Y*Z^4+35*X^3*Y*Z+4*X^2*Y^2*Z+5*X^2*Y*Z^2+81*X*Y^3*Z+74*X*Y^2*Z^2+46*X*Y*Z^3+25*X*Y^2*Z+37*X*Y*Z^2+12*X*Y*Z

Algorithm definition

The algorithm ⟨12×13×16:1509⟩ 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