Description of fast matrix multiplication algorithm: ⟨15×20×32:5442⟩

Algorithm type

4⁢X⁢Y12⁢Z5+2⁢X2⁢Y11⁢Z4+2⁢X⁢Y8⁢Z8+2⁢X2⁢Y11⁢Z3+4⁢X2⁢Y9⁢Z4+X2⁢Y7⁢Z6+4⁢X2⁢Y4⁢Z9+2⁢X2⁢Y9⁢Z3+2⁢X2⁢Y8⁢Z4+X2⁢Y7⁢Z5+10⁢X2⁢Y6⁢Z6+3⁢X2⁢Y4⁢Z8+6⁢X⁢Y9⁢Z4+2⁢X⁢Y8⁢Z5+2⁢X⁢Y6⁢Z7+X2⁢Y7⁢Z4+8⁢X2⁢Y6⁢Z5+X2⁢Y5⁢Z6+X2⁢Y4⁢Z7+2⁢X⁢Y11⁢Z+4⁢X⁢Y10⁢Z2+4⁢X⁢Y8⁢Z4+3⁢X⁢Y6⁢Z6+4⁢X⁢Y4⁢Z8+560⁢X4⁢Y4⁢Z4+3⁢X2⁢Y7⁢Z3+22⁢X2⁢Y6⁢Z4+13⁢X2⁢Y4⁢Z6+4⁢X⁢Y8⁢Z3+10⁢X⁢Y6⁢Z5+X⁢Y5⁢Z6+3⁢X⁢Y4⁢Z7+11⁢X⁢Y2⁢Z9+3⁢X9⁢Y⁢Z+4⁢X2⁢Y7⁢Z2+3⁢X2⁢Y6⁢Z3+4⁢X2⁢Y5⁢Z4+5⁢X2⁢Y4⁢Z5+3⁢X2⁢Y3⁢Z6+2⁢X2⁢Y2⁢Z7+9⁢X⁢Y6⁢Z4+2⁢X⁢Y4⁢Z6+5⁢X⁢Y2⁢Z8+178⁢X6⁢Y2⁢Z2+112⁢X4⁢Y4⁢Z2+126⁢X2⁢Y6⁢Z2+3⁢X2⁢Y5⁢Z3+123⁢X2⁢Y4⁢Z4+4⁢X2⁢Y3⁢Z5+168⁢X2⁢Y2⁢Z6+2⁢X⁢Y7⁢Z2+5⁢X⁢Y6⁢Z3+3⁢X⁢Y5⁢Z4+6⁢X⁢Y4⁢Z5+18⁢X⁢Y3⁢Z6+4⁢X⁢Y2⁢Z7+2⁢X6⁢Y2⁢Z+5⁢X2⁢Y5⁢Z2+22⁢X2⁢Y4⁢Z3+17⁢X2⁢Y3⁢Z4+4⁢X2⁢Y2⁢Z5+4⁢X⁢Y7⁢Z+16⁢X⁢Y6⁢Z2+8⁢X⁢Y4⁢Z4+12⁢X⁢Y3⁢Z5+19⁢X⁢Y2⁢Z6+40⁢X6⁢Y⁢Z+186⁢X4⁢Y2⁢Z2+828⁢X2⁢Y4⁢Z2+16⁢X2⁢Y3⁢Z3+258⁢X2⁢Y2⁢Z4+43⁢X⁢Y6⁢Z+5⁢X⁢Y5⁢Z2+15⁢X⁢Y4⁢Z3+17⁢X⁢Y3⁢Z4+14⁢X⁢Y2⁢Z5+60⁢X⁢Y⁢Z6+26⁢X4⁢Y2⁢Z+2⁢X3⁢Y3⁢Z+2⁢X3⁢Y2⁢Z2+3⁢X3⁢Y⁢Z3+38⁢X2⁢Y4⁢Z+2⁢X2⁢Y3⁢Z2+2⁢X2⁢Y2⁢Z3+X⁢Y5⁢Z+43⁢X⁢Y4⁢Z2+6⁢X⁢Y3⁢Z3+55⁢X⁢Y2⁢Z4+6⁢X⁢Y⁢Z5+13⁢X4⁢Y⁢Z+65⁢X3⁢Y2⁢Z+61⁢X3⁢Y⁢Z2+26⁢X2⁢Y3⁢Z+397⁢X2⁢Y2⁢Z2+39⁢X2⁢Y⁢Z3+204⁢X⁢Y4⁢Z+70⁢X⁢Y3⁢Z2+112⁢X⁢Y2⁢Z3+33⁢X⁢Y⁢Z4+51⁢X3⁢Y⁢Z+193⁢X2⁢Y2⁢Z+33⁢X2⁢Y⁢Z2+39⁢X⁢Y3⁢Z+312⁢X⁢Y2⁢Z2+60⁢X⁢Y⁢Z3+55⁢X2⁢Y⁢Z+275⁢X⁢Y2⁢Z+85⁢X⁢Y⁢Z2+48⁢X⁢Y⁢Z4XY12Z52X2Y11Z42XY8Z82X2Y11Z34X2Y9Z4X2Y7Z64X2Y4Z92X2Y9Z32X2Y8Z4X2Y7Z510X2Y6Z63X2Y4Z86XY9Z42XY8Z52XY6Z7X2Y7Z48X2Y6Z5X2Y5Z6X2Y4Z72XY11Z4XY10Z24XY8Z43XY6Z64XY4Z8560X4Y4Z43X2Y7Z322X2Y6Z413X2Y4Z64XY8Z310XY6Z5XY5Z63XY4Z711XY2Z93X9YZ4X2Y7Z23X2Y6Z34X2Y5Z45X2Y4Z53X2Y3Z62X2Y2Z79XY6Z42XY4Z65XY2Z8178X6Y2Z2112X4Y4Z2126X2Y6Z23X2Y5Z3123X2Y4Z44X2Y3Z5168X2Y2Z62XY7Z25XY6Z33XY5Z46XY4Z518XY3Z64XY2Z72X6Y2Z5X2Y5Z222X2Y4Z317X2Y3Z44X2Y2Z54XY7Z16XY6Z28XY4Z412XY3Z519XY2Z640X6YZ186X4Y2Z2828X2Y4Z216X2Y3Z3258X2Y2Z443XY6Z5XY5Z215XY4Z317XY3Z414XY2Z560XYZ626X4Y2Z2X3Y3Z2X3Y2Z23X3YZ338X2Y4Z2X2Y3Z22X2Y2Z3XY5Z43XY4Z26XY3Z355XY2Z46XYZ513X4YZ65X3Y2Z61X3YZ226X2Y3Z397X2Y2Z239X2YZ3204XY4Z70XY3Z2112XY2Z333XYZ451X3YZ193X2Y2Z33X2YZ239XY3Z312XY2Z260XYZ355X2YZ275XY2Z85XYZ248XYZ4*X*Y^12*Z^5+2*X^2*Y^11*Z^4+2*X*Y^8*Z^8+2*X^2*Y^11*Z^3+4*X^2*Y^9*Z^4+X^2*Y^7*Z^6+4*X^2*Y^4*Z^9+2*X^2*Y^9*Z^3+2*X^2*Y^8*Z^4+X^2*Y^7*Z^5+10*X^2*Y^6*Z^6+3*X^2*Y^4*Z^8+6*X*Y^9*Z^4+2*X*Y^8*Z^5+2*X*Y^6*Z^7+X^2*Y^7*Z^4+8*X^2*Y^6*Z^5+X^2*Y^5*Z^6+X^2*Y^4*Z^7+2*X*Y^11*Z+4*X*Y^10*Z^2+4*X*Y^8*Z^4+3*X*Y^6*Z^6+4*X*Y^4*Z^8+560*X^4*Y^4*Z^4+3*X^2*Y^7*Z^3+22*X^2*Y^6*Z^4+13*X^2*Y^4*Z^6+4*X*Y^8*Z^3+10*X*Y^6*Z^5+X*Y^5*Z^6+3*X*Y^4*Z^7+11*X*Y^2*Z^9+3*X^9*Y*Z+4*X^2*Y^7*Z^2+3*X^2*Y^6*Z^3+4*X^2*Y^5*Z^4+5*X^2*Y^4*Z^5+3*X^2*Y^3*Z^6+2*X^2*Y^2*Z^7+9*X*Y^6*Z^4+2*X*Y^4*Z^6+5*X*Y^2*Z^8+178*X^6*Y^2*Z^2+112*X^4*Y^4*Z^2+126*X^2*Y^6*Z^2+3*X^2*Y^5*Z^3+123*X^2*Y^4*Z^4+4*X^2*Y^3*Z^5+168*X^2*Y^2*Z^6+2*X*Y^7*Z^2+5*X*Y^6*Z^3+3*X*Y^5*Z^4+6*X*Y^4*Z^5+18*X*Y^3*Z^6+4*X*Y^2*Z^7+2*X^6*Y^2*Z+5*X^2*Y^5*Z^2+22*X^2*Y^4*Z^3+17*X^2*Y^3*Z^4+4*X^2*Y^2*Z^5+4*X*Y^7*Z+16*X*Y^6*Z^2+8*X*Y^4*Z^4+12*X*Y^3*Z^5+19*X*Y^2*Z^6+40*X^6*Y*Z+186*X^4*Y^2*Z^2+828*X^2*Y^4*Z^2+16*X^2*Y^3*Z^3+258*X^2*Y^2*Z^4+43*X*Y^6*Z+5*X*Y^5*Z^2+15*X*Y^4*Z^3+17*X*Y^3*Z^4+14*X*Y^2*Z^5+60*X*Y*Z^6+26*X^4*Y^2*Z+2*X^3*Y^3*Z+2*X^3*Y^2*Z^2+3*X^3*Y*Z^3+38*X^2*Y^4*Z+2*X^2*Y^3*Z^2+2*X^2*Y^2*Z^3+X*Y^5*Z+43*X*Y^4*Z^2+6*X*Y^3*Z^3+55*X*Y^2*Z^4+6*X*Y*Z^5+13*X^4*Y*Z+65*X^3*Y^2*Z+61*X^3*Y*Z^2+26*X^2*Y^3*Z+397*X^2*Y^2*Z^2+39*X^2*Y*Z^3+204*X*Y^4*Z+70*X*Y^3*Z^2+112*X*Y^2*Z^3+33*X*Y*Z^4+51*X^3*Y*Z+193*X^2*Y^2*Z+33*X^2*Y*Z^2+39*X*Y^3*Z+312*X*Y^2*Z^2+60*X*Y*Z^3+55*X^2*Y*Z+275*X*Y^2*Z+85*X*Y*Z^2+48*X*Y*Z

Algorithm definition

The algorithm ⟨15×20×32:5442⟩ is serendipitous tensor product (⟨5×5×8:144⟩ - 20) ⊗ ⟨3×4×4:38⟩ +10⟨3×4×8:73⟩.

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