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

Algorithm type

8X6Y4Z8+16X6Y2Z8+72X4Y4Z8+16X3Y5Z8+8X6Y5Z4+8X5Y2Z8+8X3Y4Z8+X6Y6Z2+16X6Y4Z4+8X5Y5Z4+4X3Y3Z8+4X9Y2Z2+X8Y3Z2+5X6Y5Z2+2XY10Z2+7X8Y2Z2+4X6Y4Z2+8X6Y2Z4+7X4Y6Z2+2X3Y8Z+24X3YZ8+2X2Y8Z2+84X2Y2Z8+12XY3Z8+4X9YZ+2X8Y2Z+4X8YZ2+2X7Y3Z+2X6Y3Z2+2X5Y4Z2+8X5Y2Z4+13X4Y5Z2+2X3Y7Z+15X3Y6Z2+2X2Y8Z+4X2YZ8+8XY9Z+XY8Z2+10X8YZ+2X7Y2Z+4X6Y3Z+6X6Y2Z2+X5Y4Z+5X5Y3Z2+2X3Y6Z+12X3Y5Z2+4X3Y3Z4+2X2Y7Z+19X2Y6Z2+6XY8Z+XY7Z2+9X6Y2Z+4X5Y3Z+5X5Y2Z2+5X3Y5Z+4X3Y4Z2+2X3Y3Z3+24X3Y2Z4+10X2Y6Z+24X2Y5Z2+4X2Y3Z4+6XY7Z+6XY6Z2+X6YZ+10X5Y2Z+8X4Y3Z+3X3Y4Z+24X3Y3Z2+5X3Y2Z3+12X3YZ4+9X2Y5Z+9X2Y4Z2+5X2Y3Z3+48X2Y2Z4+7XY6Z+12XY5Z2+5X5YZ+41X3Y3Z+15X3Y2Z2+X3YZ3+X2Y4Z+33X2Y3Z2+X2Y2Z3+4X2YZ4+5XY5Z+5XY3Z3+58X3Y2Z+48X3YZ2+33X2Y3Z+161X2Y2Z2+2XY4Z+32XY3Z2+XY2Z3+48XYZ4+43X3YZ+9X2Y2Z+4X2YZ2+24XY3Z+8XY2Z2+6X2YZ+12XY2Z+116XYZ8X6Y4Z816X6Y2Z872X4Y4Z816X3Y5Z88X6Y5Z48X5Y2Z88X3Y4Z8X6Y6Z216X6Y4Z48X5Y5Z44X3Y3Z84X9Y2Z2X8Y3Z25X6Y5Z22XY10Z27X8Y2Z24X6Y4Z28X6Y2Z47X4Y6Z22X3Y8Z24X3YZ82X2Y8Z284X2Y2Z812XY3Z84X9YZ2X8Y2Z4X8YZ22X7Y3Z2X6Y3Z22X5Y4Z28X5Y2Z413X4Y5Z22X3Y7Z15X3Y6Z22X2Y8Z4X2YZ88XY9ZXY8Z210X8YZ2X7Y2Z4X6Y3Z6X6Y2Z2X5Y4Z5X5Y3Z22X3Y6Z12X3Y5Z24X3Y3Z42X2Y7Z19X2Y6Z26XY8ZXY7Z29X6Y2Z4X5Y3Z5X5Y2Z25X3Y5Z4X3Y4Z22X3Y3Z324X3Y2Z410X2Y6Z24X2Y5Z24X2Y3Z46XY7Z6XY6Z2X6YZ10X5Y2Z8X4Y3Z3X3Y4Z24X3Y3Z25X3Y2Z312X3YZ49X2Y5Z9X2Y4Z25X2Y3Z348X2Y2Z47XY6Z12XY5Z25X5YZ41X3Y3Z15X3Y2Z2X3YZ3X2Y4Z33X2Y3Z2X2Y2Z34X2YZ45XY5Z5XY3Z358X3Y2Z48X3YZ233X2Y3Z161X2Y2Z22XY4Z32XY3Z2XY2Z348XYZ443X3YZ9X2Y2Z4X2YZ224XY3Z8XY2Z26X2YZ12XY2Z116XYZ8*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