Description of fast matrix multiplication algorithm: ⟨12×15×16:1725⟩

Algorithm type

5⁢X4⁢Y6⁢Z5+3⁢X4⁢Y2⁢Z9+X6⁢Y2⁢Z6+X4⁢Y6⁢Z4+16⁢X4⁢Y4⁢Z6+2⁢X4⁢Y2⁢Z8+3⁢X2⁢Y4⁢Z8+5⁢X6⁢Y2⁢Z5+21⁢X4⁢Y4⁢Z5+X4⁢Y2⁢Z7+3⁢X2⁢Y8⁢Z3+5⁢X2⁢Y4⁢Z7+95⁢X4⁢Y4⁢Z4+3⁢X2⁢Y8⁢Z2+X2⁢Y4⁢Z6+7⁢X2⁢Y2⁢Z8+4⁢X2⁢Y⁢Z9+5⁢X⁢Y2⁢Z9+12⁢X9⁢Y⁢Z+15⁢X6⁢Y2⁢Z3+6⁢X6⁢Y⁢Z4+6⁢X4⁢Y4⁢Z3+6⁢X4⁢Y3⁢Z4+5⁢X4⁢Y⁢Z6+8⁢X2⁢Y6⁢Z3+5⁢X2⁢Y3⁢Z6+4⁢X2⁢Y2⁢Z7+6⁢X⁢Y9⁢Z+X⁢Y2⁢Z8+6⁢X⁢Y⁢Z9+66⁢X6⁢Y2⁢Z2+5⁢X6⁢Y⁢Z3+18⁢X4⁢Y4⁢Z2+6⁢X4⁢Y3⁢Z3+38⁢X4⁢Y2⁢Z4+3⁢X4⁢Y⁢Z5+11⁢X3⁢Y⁢Z6+58⁢X2⁢Y6⁢Z2+2⁢X2⁢Y3⁢Z5+66⁢X2⁢Y2⁢Z6+3⁢X2⁢Y⁢Z7+6⁢X⁢Y2⁢Z7+6⁢X6⁢Y2⁢Z+33⁢X6⁢Y⁢Z2+72⁢X4⁢Y2⁢Z3+4⁢X4⁢Y⁢Z4+6⁢X2⁢Y6⁢Z+14⁢X2⁢Y4⁢Z3+5⁢X2⁢Y3⁢Z4+18⁢X2⁢Y2⁢Z5+9⁢X2⁢Y⁢Z6+3⁢X⁢Y2⁢Z6+9⁢X⁢Y⁢Z7+22⁢X6⁢Y⁢Z+76⁢X4⁢Y2⁢Z2+X3⁢Y⁢Z4+68⁢X2⁢Y4⁢Z2+86⁢X2⁢Y2⁢Z4+12⁢X2⁢Y⁢Z5+24⁢X⁢Y6⁢Z+8⁢X⁢Y4⁢Z3+2⁢X⁢Y2⁢Z5+8⁢X⁢Y⁢Z6+6⁢X4⁢Y2⁢Z+42⁢X4⁢Y⁢Z2+18⁢X3⁢Y3⁢Z+35⁢X3⁢Y⁢Z3+2⁢X2⁢Y4⁢Z+21⁢X2⁢Y3⁢Z2+38⁢X2⁢Y2⁢Z3+7⁢X2⁢Y⁢Z4+X⁢Y4⁢Z2+28⁢X⁢Y3⁢Z3+X⁢Y2⁢Z4+5⁢X⁢Y⁢Z5+6⁢X4⁢Y⁢Z+24⁢X3⁢Y2⁢Z+20⁢X3⁢Y⁢Z2+27⁢X2⁢Y3⁢Z+102⁢X2⁢Y2⁢Z2+41⁢X2⁢Y⁢Z3+3⁢X⁢Y4⁢Z+15⁢X⁢Y3⁢Z2+30⁢X⁢Y2⁢Z3+8⁢X⁢Y⁢Z4+29⁢X3⁢Y⁢Z+18⁢X2⁢Y2⁢Z+46⁢X2⁢Y⁢Z2+29⁢X⁢Y3⁢Z+30⁢X⁢Y2⁢Z2+22⁢X⁢Y⁢Z3+4⁢X2⁢Y⁢Z+12⁢X⁢Y2⁢Z+26⁢X⁢Y⁢Z25X4Y6Z53X4Y2Z9X6Y2Z6X4Y6Z416X4Y4Z62X4Y2Z83X2Y4Z85X6Y2Z521X4Y4Z5X4Y2Z73X2Y8Z35X2Y4Z795X4Y4Z43X2Y8Z2X2Y4Z67X2Y2Z84X2YZ95XY2Z912X9YZ15X6Y2Z36X6YZ46X4Y4Z36X4Y3Z45X4YZ68X2Y6Z35X2Y3Z64X2Y2Z76XY9ZXY2Z86XYZ966X6Y2Z25X6YZ318X4Y4Z26X4Y3Z338X4Y2Z43X4YZ511X3YZ658X2Y6Z22X2Y3Z566X2Y2Z63X2YZ76XY2Z76X6Y2Z33X6YZ272X4Y2Z34X4YZ46X2Y6Z14X2Y4Z35X2Y3Z418X2Y2Z59X2YZ63XY2Z69XYZ722X6YZ76X4Y2Z2X3YZ468X2Y4Z286X2Y2Z412X2YZ524XY6Z8XY4Z32XY2Z58XYZ66X4Y2Z42X4YZ218X3Y3Z35X3YZ32X2Y4Z21X2Y3Z238X2Y2Z37X2YZ4XY4Z228XY3Z3XY2Z45XYZ56X4YZ24X3Y2Z20X3YZ227X2Y3Z102X2Y2Z241X2YZ33XY4Z15XY3Z230XY2Z38XYZ429X3YZ18X2Y2Z46X2YZ229XY3Z30XY2Z222XYZ34X2YZ12XY2Z26XYZ25*X^4*Y^6*Z^5+3*X^4*Y^2*Z^9+X^6*Y^2*Z^6+X^4*Y^6*Z^4+16*X^4*Y^4*Z^6+2*X^4*Y^2*Z^8+3*X^2*Y^4*Z^8+5*X^6*Y^2*Z^5+21*X^4*Y^4*Z^5+X^4*Y^2*Z^7+3*X^2*Y^8*Z^3+5*X^2*Y^4*Z^7+95*X^4*Y^4*Z^4+3*X^2*Y^8*Z^2+X^2*Y^4*Z^6+7*X^2*Y^2*Z^8+4*X^2*Y*Z^9+5*X*Y^2*Z^9+12*X^9*Y*Z+15*X^6*Y^2*Z^3+6*X^6*Y*Z^4+6*X^4*Y^4*Z^3+6*X^4*Y^3*Z^4+5*X^4*Y*Z^6+8*X^2*Y^6*Z^3+5*X^2*Y^3*Z^6+4*X^2*Y^2*Z^7+6*X*Y^9*Z+X*Y^2*Z^8+6*X*Y*Z^9+66*X^6*Y^2*Z^2+5*X^6*Y*Z^3+18*X^4*Y^4*Z^2+6*X^4*Y^3*Z^3+38*X^4*Y^2*Z^4+3*X^4*Y*Z^5+11*X^3*Y*Z^6+58*X^2*Y^6*Z^2+2*X^2*Y^3*Z^5+66*X^2*Y^2*Z^6+3*X^2*Y*Z^7+6*X*Y^2*Z^7+6*X^6*Y^2*Z+33*X^6*Y*Z^2+72*X^4*Y^2*Z^3+4*X^4*Y*Z^4+6*X^2*Y^6*Z+14*X^2*Y^4*Z^3+5*X^2*Y^3*Z^4+18*X^2*Y^2*Z^5+9*X^2*Y*Z^6+3*X*Y^2*Z^6+9*X*Y*Z^7+22*X^6*Y*Z+76*X^4*Y^2*Z^2+X^3*Y*Z^4+68*X^2*Y^4*Z^2+86*X^2*Y^2*Z^4+12*X^2*Y*Z^5+24*X*Y^6*Z+8*X*Y^4*Z^3+2*X*Y^2*Z^5+8*X*Y*Z^6+6*X^4*Y^2*Z+42*X^4*Y*Z^2+18*X^3*Y^3*Z+35*X^3*Y*Z^3+2*X^2*Y^4*Z+21*X^2*Y^3*Z^2+38*X^2*Y^2*Z^3+7*X^2*Y*Z^4+X*Y^4*Z^2+28*X*Y^3*Z^3+X*Y^2*Z^4+5*X*Y*Z^5+6*X^4*Y*Z+24*X^3*Y^2*Z+20*X^3*Y*Z^2+27*X^2*Y^3*Z+102*X^2*Y^2*Z^2+41*X^2*Y*Z^3+3*X*Y^4*Z+15*X*Y^3*Z^2+30*X*Y^2*Z^3+8*X*Y*Z^4+29*X^3*Y*Z+18*X^2*Y^2*Z+46*X^2*Y*Z^2+29*X*Y^3*Z+30*X*Y^2*Z^2+22*X*Y*Z^3+4*X^2*Y*Z+12*X*Y^2*Z+26*X*Y*Z^2

Algorithm definition

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