Description of fast matrix multiplication algorithm: ⟨20×25×28:7718⟩

Algorithm type

X12⁢Y4⁢Z2+X9⁢Y4⁢Z4+6⁢X6⁢Y4⁢Z6+3⁢X12⁢Y2⁢Z+X9⁢Y4⁢Z2+2⁢X9⁢Y2⁢Z4+47⁢X8⁢Y4⁢Z2+56⁢X6⁢Y4⁢Z4+282⁢X4⁢Y4⁢Z6+3⁢X9⁢Y2⁢Z2+2⁢X3⁢Y4⁢Z6+3⁢X9⁢Y2⁢Z+6⁢X9⁢Y⁢Z2+X8⁢Y2⁢Z2+51⁢X6⁢Y4⁢Z2+99⁢X6⁢Y2⁢Z4+423⁢X4⁢Y4⁢Z4+6⁢X4⁢Y2⁢Z6+94⁢X2⁢Y4⁢Z6+9⁢X8⁢Y2⁢Z+18⁢X6⁢Y2⁢Z3+2⁢X6⁢Y⁢Z4+2⁢X3⁢Y6⁢Z2+8⁢X3⁢Y2⁢Z6+2⁢X2⁢Y3⁢Z6+37⁢X6⁢Y2⁢Z2+188⁢X4⁢Y4⁢Z2+197⁢X4⁢Y2⁢Z4+94⁢X2⁢Y6⁢Z2+3⁢X2⁢Y4⁢Z4+X2⁢Y3⁢Z5+486⁢X2⁢Y2⁢Z6+X⁢Y4⁢Z5+21⁢X6⁢Y2⁢Z+30⁢X6⁢Y⁢Z2+17⁢X4⁢Y4⁢Z+54⁢X4⁢Y2⁢Z3+4⁢X4⁢Y⁢Z4+19⁢X3⁢Y4⁢Z2+26⁢X3⁢Y2⁢Z4+111⁢X2⁢Y4⁢Z3+33⁢X2⁢Y3⁢Z4+8⁢X2⁢Y⁢Z6+32⁢X⁢Y2⁢Z6+101⁢X4⁢Y2⁢Z2+17⁢X3⁢Y4⁢Z+6⁢X3⁢Y2⁢Z3+32⁢X3⁢Y⁢Z4+280⁢X2⁢Y4⁢Z2+31⁢X2⁢Y3⁢Z3+655⁢X2⁢Y2⁢Z4+34⁢X⁢Y6⁢Z+37⁢X⁢Y4⁢Z3+X⁢Y3⁢Z4+3⁢X⁢Y2⁢Z5+133⁢X⁢Y⁢Z6+56⁢X4⁢Y2⁢Z+36⁢X4⁢Y⁢Z2+6⁢X3⁢Y3⁢Z+79⁢X3⁢Y2⁢Z2+24⁢X3⁢Y⁢Z3+68⁢X2⁢Y4⁢Z+13⁢X2⁢Y3⁢Z2+162⁢X2⁢Y2⁢Z3+74⁢X2⁢Y⁢Z4+X⁢Y5⁢Z+9⁢X⁢Y4⁢Z2+12⁢X⁢Y3⁢Z3+19⁢X⁢Y2⁢Z4+X⁢Y⁢Z5+26⁢X3⁢Y2⁢Z+73⁢X3⁢Y⁢Z2+18⁢X2⁢Y3⁢Z+814⁢X2⁢Y2⁢Z2+72⁢X2⁢Y⁢Z3+53⁢X⁢Y4⁢Z+63⁢X⁢Y3⁢Z2+203⁢X⁢Y2⁢Z3+178⁢X⁢Y⁢Z4+29⁢X3⁢Y⁢Z+106⁢X2⁢Y2⁢Z+191⁢X2⁢Y⁢Z2+51⁢X⁢Y3⁢Z+253⁢X⁢Y2⁢Z2+180⁢X⁢Y⁢Z3+98⁢X2⁢Y⁢Z+269⁢X⁢Y2⁢Z+415⁢X⁢Y⁢Z2+246⁢X⁢Y⁢ZX12Y4Z2X9Y4Z46X6Y4Z63X12Y2ZX9Y4Z22X9Y2Z447X8Y4Z256X6Y4Z4282X4Y4Z63X9Y2Z22X3Y4Z63X9Y2Z6X9YZ2X8Y2Z251X6Y4Z299X6Y2Z4423X4Y4Z46X4Y2Z694X2Y4Z69X8Y2Z18X6Y2Z32X6YZ42X3Y6Z28X3Y2Z62X2Y3Z637X6Y2Z2188X4Y4Z2197X4Y2Z494X2Y6Z23X2Y4Z4X2Y3Z5486X2Y2Z6XY4Z521X6Y2Z30X6YZ217X4Y4Z54X4Y2Z34X4YZ419X3Y4Z226X3Y2Z4111X2Y4Z333X2Y3Z48X2YZ632XY2Z6101X4Y2Z217X3Y4Z6X3Y2Z332X3YZ4280X2Y4Z231X2Y3Z3655X2Y2Z434XY6Z37XY4Z3XY3Z43XY2Z5133XYZ656X4Y2Z36X4YZ26X3Y3Z79X3Y2Z224X3YZ368X2Y4Z13X2Y3Z2162X2Y2Z374X2YZ4XY5Z9XY4Z212XY3Z319XY2Z4XYZ526X3Y2Z73X3YZ218X2Y3Z814X2Y2Z272X2YZ353XY4Z63XY3Z2203XY2Z3178XYZ429X3YZ106X2Y2Z191X2YZ251XY3Z253XY2Z2180XYZ398X2YZ269XY2Z415XYZ2246XYZX^12*Y^4*Z^2+X^9*Y^4*Z^4+6*X^6*Y^4*Z^6+3*X^12*Y^2*Z+X^9*Y^4*Z^2+2*X^9*Y^2*Z^4+47*X^8*Y^4*Z^2+56*X^6*Y^4*Z^4+282*X^4*Y^4*Z^6+3*X^9*Y^2*Z^2+2*X^3*Y^4*Z^6+3*X^9*Y^2*Z+6*X^9*Y*Z^2+X^8*Y^2*Z^2+51*X^6*Y^4*Z^2+99*X^6*Y^2*Z^4+423*X^4*Y^4*Z^4+6*X^4*Y^2*Z^6+94*X^2*Y^4*Z^6+9*X^8*Y^2*Z+18*X^6*Y^2*Z^3+2*X^6*Y*Z^4+2*X^3*Y^6*Z^2+8*X^3*Y^2*Z^6+2*X^2*Y^3*Z^6+37*X^6*Y^2*Z^2+188*X^4*Y^4*Z^2+197*X^4*Y^2*Z^4+94*X^2*Y^6*Z^2+3*X^2*Y^4*Z^4+X^2*Y^3*Z^5+486*X^2*Y^2*Z^6+X*Y^4*Z^5+21*X^6*Y^2*Z+30*X^6*Y*Z^2+17*X^4*Y^4*Z+54*X^4*Y^2*Z^3+4*X^4*Y*Z^4+19*X^3*Y^4*Z^2+26*X^3*Y^2*Z^4+111*X^2*Y^4*Z^3+33*X^2*Y^3*Z^4+8*X^2*Y*Z^6+32*X*Y^2*Z^6+101*X^4*Y^2*Z^2+17*X^3*Y^4*Z+6*X^3*Y^2*Z^3+32*X^3*Y*Z^4+280*X^2*Y^4*Z^2+31*X^2*Y^3*Z^3+655*X^2*Y^2*Z^4+34*X*Y^6*Z+37*X*Y^4*Z^3+X*Y^3*Z^4+3*X*Y^2*Z^5+133*X*Y*Z^6+56*X^4*Y^2*Z+36*X^4*Y*Z^2+6*X^3*Y^3*Z+79*X^3*Y^2*Z^2+24*X^3*Y*Z^3+68*X^2*Y^4*Z+13*X^2*Y^3*Z^2+162*X^2*Y^2*Z^3+74*X^2*Y*Z^4+X*Y^5*Z+9*X*Y^4*Z^2+12*X*Y^3*Z^3+19*X*Y^2*Z^4+X*Y*Z^5+26*X^3*Y^2*Z+73*X^3*Y*Z^2+18*X^2*Y^3*Z+814*X^2*Y^2*Z^2+72*X^2*Y*Z^3+53*X*Y^4*Z+63*X*Y^3*Z^2+203*X*Y^2*Z^3+178*X*Y*Z^4+29*X^3*Y*Z+106*X^2*Y^2*Z+191*X^2*Y*Z^2+51*X*Y^3*Z+253*X*Y^2*Z^2+180*X*Y*Z^3+98*X^2*Y*Z+269*X*Y^2*Z+415*X*Y*Z^2+246*X*Y*Z

Algorithm definition

The algorithm ⟨20×25×28:7718⟩ is serendipitous tensor product (⟨5×5×7:127⟩ - 13) ⊗ ⟨4×5×4:61⟩ +⟨4×5×12:174⟩ +5⟨4×5×8:118⟩.

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