Description of fast matrix multiplication algorithm: ⟨12×13×15:1442⟩

Algorithm type

8⁢X6⁢Y4⁢Z8+16⁢X6⁢Y2⁢Z8+72⁢X4⁢Y4⁢Z8+16⁢X3⁢Y5⁢Z8+8⁢X6⁢Y5⁢Z4+8⁢X5⁢Y2⁢Z8+8⁢X3⁢Y4⁢Z8+X6⁢Y6⁢Z2+16⁢X6⁢Y4⁢Z4+8⁢X5⁢Y5⁢Z4+4⁢X3⁢Y3⁢Z8+4⁢X9⁢Y2⁢Z2+X8⁢Y3⁢Z2+5⁢X6⁢Y5⁢Z2+2⁢X⁢Y10⁢Z2+7⁢X8⁢Y2⁢Z2+4⁢X6⁢Y4⁢Z2+8⁢X6⁢Y2⁢Z4+7⁢X4⁢Y6⁢Z2+2⁢X3⁢Y8⁢Z+24⁢X3⁢Y⁢Z8+2⁢X2⁢Y8⁢Z2+84⁢X2⁢Y2⁢Z8+12⁢X⁢Y3⁢Z8+4⁢X9⁢Y⁢Z+2⁢X8⁢Y2⁢Z+4⁢X8⁢Y⁢Z2+2⁢X7⁢Y3⁢Z+2⁢X6⁢Y3⁢Z2+2⁢X5⁢Y4⁢Z2+8⁢X5⁢Y2⁢Z4+13⁢X4⁢Y5⁢Z2+2⁢X3⁢Y7⁢Z+15⁢X3⁢Y6⁢Z2+2⁢X2⁢Y8⁢Z+4⁢X2⁢Y⁢Z8+8⁢X⁢Y9⁢Z+X⁢Y8⁢Z2+10⁢X8⁢Y⁢Z+2⁢X7⁢Y2⁢Z+4⁢X6⁢Y3⁢Z+6⁢X6⁢Y2⁢Z2+X5⁢Y4⁢Z+5⁢X5⁢Y3⁢Z2+2⁢X3⁢Y6⁢Z+12⁢X3⁢Y5⁢Z2+4⁢X3⁢Y3⁢Z4+2⁢X2⁢Y7⁢Z+19⁢X2⁢Y6⁢Z2+6⁢X⁢Y8⁢Z+X⁢Y7⁢Z2+9⁢X6⁢Y2⁢Z+4⁢X5⁢Y3⁢Z+5⁢X5⁢Y2⁢Z2+5⁢X3⁢Y5⁢Z+4⁢X3⁢Y4⁢Z2+2⁢X3⁢Y3⁢Z3+24⁢X3⁢Y2⁢Z4+10⁢X2⁢Y6⁢Z+24⁢X2⁢Y5⁢Z2+4⁢X2⁢Y3⁢Z4+6⁢X⁢Y7⁢Z+6⁢X⁢Y6⁢Z2+X6⁢Y⁢Z+10⁢X5⁢Y2⁢Z+8⁢X4⁢Y3⁢Z+3⁢X3⁢Y4⁢Z+24⁢X3⁢Y3⁢Z2+5⁢X3⁢Y2⁢Z3+12⁢X3⁢Y⁢Z4+9⁢X2⁢Y5⁢Z+9⁢X2⁢Y4⁢Z2+5⁢X2⁢Y3⁢Z3+48⁢X2⁢Y2⁢Z4+7⁢X⁢Y6⁢Z+12⁢X⁢Y5⁢Z2+5⁢X5⁢Y⁢Z+41⁢X3⁢Y3⁢Z+15⁢X3⁢Y2⁢Z2+X3⁢Y⁢Z3+X2⁢Y4⁢Z+33⁢X2⁢Y3⁢Z2+X2⁢Y2⁢Z3+4⁢X2⁢Y⁢Z4+5⁢X⁢Y5⁢Z+5⁢X⁢Y3⁢Z3+58⁢X3⁢Y2⁢Z+48⁢X3⁢Y⁢Z2+33⁢X2⁢Y3⁢Z+161⁢X2⁢Y2⁢Z2+2⁢X⁢Y4⁢Z+32⁢X⁢Y3⁢Z2+X⁢Y2⁢Z3+48⁢X⁢Y⁢Z4+43⁢X3⁢Y⁢Z+9⁢X2⁢Y2⁢Z+4⁢X2⁢Y⁢Z2+24⁢X⁢Y3⁢Z+8⁢X⁢Y2⁢Z2+6⁢X2⁢Y⁢Z+12⁢X⁢Y2⁢Z+116⁢X⁢Y⁢Z8X6Y4Z816X6Y2Z872X4Y4Z816X3Y5Z88X6Y5Z48X5Y2Z88X3Y4Z8X6Y6Z216X6Y4Z48X5Y5Z44X3Y3Z84X9Y2Z2X8Y3Z25X6Y5Z22XY10Z27X8Y2Z24X6Y4Z28X6Y2Z47X4Y6Z22X3Y8Z24X3YZ82X2Y8Z284X2Y2Z812XY3Z84X9YZ2X8Y2Z4X8YZ22X7Y3Z2X6Y3Z22X5Y4Z28X5Y2Z413X4Y5Z22X3Y7Z15X3Y6Z22X2Y8Z4X2YZ88XY9ZXY8Z210X8YZ2X7Y2Z4X6Y3Z6X6Y2Z2X5Y4Z5X5Y3Z22X3Y6Z12X3Y5Z24X3Y3Z42X2Y7Z19X2Y6Z26XY8ZXY7Z29X6Y2Z4X5Y3Z5X5Y2Z25X3Y5Z4X3Y4Z22X3Y3Z324X3Y2Z410X2Y6Z24X2Y5Z24X2Y3Z46XY7Z6XY6Z2X6YZ10X5Y2Z8X4Y3Z3X3Y4Z24X3Y3Z25X3Y2Z312X3YZ49X2Y5Z9X2Y4Z25X2Y3Z348X2Y2Z47XY6Z12XY5Z25X5YZ41X3Y3Z15X3Y2Z2X3YZ3X2Y4Z33X2Y3Z2X2Y2Z34X2YZ45XY5Z5XY3Z358X3Y2Z48X3YZ233X2Y3Z161X2Y2Z22XY4Z32XY3Z2XY2Z348XYZ443X3YZ9X2Y2Z4X2YZ224XY3Z8XY2Z26X2YZ12XY2Z116XYZ8*X^6*Y^4*Z^8+16*X^6*Y^2*Z^8+72*X^4*Y^4*Z^8+16*X^3*Y^5*Z^8+8*X^6*Y^5*Z^4+8*X^5*Y^2*Z^8+8*X^3*Y^4*Z^8+X^6*Y^6*Z^2+16*X^6*Y^4*Z^4+8*X^5*Y^5*Z^4+4*X^3*Y^3*Z^8+4*X^9*Y^2*Z^2+X^8*Y^3*Z^2+5*X^6*Y^5*Z^2+2*X*Y^10*Z^2+7*X^8*Y^2*Z^2+4*X^6*Y^4*Z^2+8*X^6*Y^2*Z^4+7*X^4*Y^6*Z^2+2*X^3*Y^8*Z+24*X^3*Y*Z^8+2*X^2*Y^8*Z^2+84*X^2*Y^2*Z^8+12*X*Y^3*Z^8+4*X^9*Y*Z+2*X^8*Y^2*Z+4*X^8*Y*Z^2+2*X^7*Y^3*Z+2*X^6*Y^3*Z^2+2*X^5*Y^4*Z^2+8*X^5*Y^2*Z^4+13*X^4*Y^5*Z^2+2*X^3*Y^7*Z+15*X^3*Y^6*Z^2+2*X^2*Y^8*Z+4*X^2*Y*Z^8+8*X*Y^9*Z+X*Y^8*Z^2+10*X^8*Y*Z+2*X^7*Y^2*Z+4*X^6*Y^3*Z+6*X^6*Y^2*Z^2+X^5*Y^4*Z+5*X^5*Y^3*Z^2+2*X^3*Y^6*Z+12*X^3*Y^5*Z^2+4*X^3*Y^3*Z^4+2*X^2*Y^7*Z+19*X^2*Y^6*Z^2+6*X*Y^8*Z+X*Y^7*Z^2+9*X^6*Y^2*Z+4*X^5*Y^3*Z+5*X^5*Y^2*Z^2+5*X^3*Y^5*Z+4*X^3*Y^4*Z^2+2*X^3*Y^3*Z^3+24*X^3*Y^2*Z^4+10*X^2*Y^6*Z+24*X^2*Y^5*Z^2+4*X^2*Y^3*Z^4+6*X*Y^7*Z+6*X*Y^6*Z^2+X^6*Y*Z+10*X^5*Y^2*Z+8*X^4*Y^3*Z+3*X^3*Y^4*Z+24*X^3*Y^3*Z^2+5*X^3*Y^2*Z^3+12*X^3*Y*Z^4+9*X^2*Y^5*Z+9*X^2*Y^4*Z^2+5*X^2*Y^3*Z^3+48*X^2*Y^2*Z^4+7*X*Y^6*Z+12*X*Y^5*Z^2+5*X^5*Y*Z+41*X^3*Y^3*Z+15*X^3*Y^2*Z^2+X^3*Y*Z^3+X^2*Y^4*Z+33*X^2*Y^3*Z^2+X^2*Y^2*Z^3+4*X^2*Y*Z^4+5*X*Y^5*Z+5*X*Y^3*Z^3+58*X^3*Y^2*Z+48*X^3*Y*Z^2+33*X^2*Y^3*Z+161*X^2*Y^2*Z^2+2*X*Y^4*Z+32*X*Y^3*Z^2+X*Y^2*Z^3+48*X*Y*Z^4+43*X^3*Y*Z+9*X^2*Y^2*Z+4*X^2*Y*Z^2+24*X*Y^3*Z+8*X*Y^2*Z^2+6*X^2*Y*Z+12*X*Y^2*Z+116*X*Y*Z

Algorithm definition

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