Description of fast matrix multiplication algorithm: ⟨15×25×28:5944⟩

Algorithm type

13⁢X6⁢Y4⁢Z4+4⁢X9⁢Y2⁢Z2+2⁢X6⁢Y4⁢Z2+611⁢X4⁢Y4⁢Z4+5⁢X2⁢Y6⁢Z4+12⁢X9⁢Y⁢Z+2⁢X3⁢Y6⁢Z2+X3⁢Y4⁢Z4+3⁢X3⁢Y2⁢Z6+2⁢X2⁢Y6⁢Z3+X2⁢Y5⁢Z4+233⁢X6⁢Y2⁢Z2+94⁢X4⁢Y4⁢Z2+13⁢X4⁢Y2⁢Z4+2⁢X3⁢Y2⁢Z5+94⁢X2⁢Y6⁢Z2+X2⁢Y5⁢Z3+70⁢X2⁢Y4⁢Z4+145⁢X2⁢Y2⁢Z6+6⁢X6⁢Y2⁢Z+4⁢X6⁢Y⁢Z2+8⁢X3⁢Y4⁢Z2+3⁢X3⁢Y2⁢Z4+2⁢X3⁢Y⁢Z5+2⁢X2⁢Y5⁢Z2+11⁢X2⁢Y4⁢Z3+44⁢X2⁢Y3⁢Z4+3⁢X2⁢Y⁢Z6+8⁢X⁢Y6⁢Z2+15⁢X⁢Y4⁢Z4+54⁢X6⁢Y⁢Z+401⁢X4⁢Y2⁢Z2+4⁢X3⁢Y2⁢Z3+600⁢X2⁢Y4⁢Z2+12⁢X2⁢Y3⁢Z3+379⁢X2⁢Y2⁢Z4+2⁢X2⁢Y⁢Z5+34⁢X⁢Y6⁢Z+4⁢X⁢Y5⁢Z2+10⁢X⁢Y4⁢Z3+2⁢X⁢Y3⁢Z4+24⁢X⁢Y2⁢Z5+52⁢X⁢Y⁢Z6+18⁢X4⁢Y2⁢Z+6⁢X4⁢Y⁢Z2+6⁢X3⁢Y3⁢Z+12⁢X3⁢Y2⁢Z2+16⁢X3⁢Y⁢Z3+34⁢X2⁢Y4⁢Z+15⁢X2⁢Y3⁢Z2+12⁢X2⁢Y2⁢Z3+5⁢X2⁢Y⁢Z4+6⁢X⁢Y5⁢Z+40⁢X⁢Y4⁢Z2+X⁢Y3⁢Z3+51⁢X⁢Y2⁢Z4+18⁢X⁢Y⁢Z5+54⁢X4⁢Y⁢Z+95⁢X3⁢Y2⁢Z+73⁢X3⁢Y⁢Z2+24⁢X2⁢Y3⁢Z+578⁢X2⁢Y2⁢Z2+31⁢X2⁢Y⁢Z3+143⁢X⁢Y4⁢Z+57⁢X⁢Y3⁢Z2+66⁢X⁢Y2⁢Z3+74⁢X⁢Y⁢Z4+99⁢X3⁢Y⁢Z+220⁢X2⁢Y2⁢Z+130⁢X2⁢Y⁢Z2+52⁢X⁢Y3⁢Z+226⁢X⁢Y2⁢Z2+73⁢X⁢Y⁢Z3+170⁢X2⁢Y⁢Z+280⁢X⁢Y2⁢Z+158⁢X⁢Y⁢Z2+109⁢X⁢Y⁢Z13X6Y4Z44X9Y2Z22X6Y4Z2611X4Y4Z45X2Y6Z412X9YZ2X3Y6Z2X3Y4Z43X3Y2Z62X2Y6Z3X2Y5Z4233X6Y2Z294X4Y4Z213X4Y2Z42X3Y2Z594X2Y6Z2X2Y5Z370X2Y4Z4145X2Y2Z66X6Y2Z4X6YZ28X3Y4Z23X3Y2Z42X3YZ52X2Y5Z211X2Y4Z344X2Y3Z43X2YZ68XY6Z215XY4Z454X6YZ401X4Y2Z24X3Y2Z3600X2Y4Z212X2Y3Z3379X2Y2Z42X2YZ534XY6Z4XY5Z210XY4Z32XY3Z424XY2Z552XYZ618X4Y2Z6X4YZ26X3Y3Z12X3Y2Z216X3YZ334X2Y4Z15X2Y3Z212X2Y2Z35X2YZ46XY5Z40XY4Z2XY3Z351XY2Z418XYZ554X4YZ95X3Y2Z73X3YZ224X2Y3Z578X2Y2Z231X2YZ3143XY4Z57XY3Z266XY2Z374XYZ499X3YZ220X2Y2Z130X2YZ252XY3Z226XY2Z273XYZ3170X2YZ280XY2Z158XYZ2109XYZ13*X^6*Y^4*Z^4+4*X^9*Y^2*Z^2+2*X^6*Y^4*Z^2+611*X^4*Y^4*Z^4+5*X^2*Y^6*Z^4+12*X^9*Y*Z+2*X^3*Y^6*Z^2+X^3*Y^4*Z^4+3*X^3*Y^2*Z^6+2*X^2*Y^6*Z^3+X^2*Y^5*Z^4+233*X^6*Y^2*Z^2+94*X^4*Y^4*Z^2+13*X^4*Y^2*Z^4+2*X^3*Y^2*Z^5+94*X^2*Y^6*Z^2+X^2*Y^5*Z^3+70*X^2*Y^4*Z^4+145*X^2*Y^2*Z^6+6*X^6*Y^2*Z+4*X^6*Y*Z^2+8*X^3*Y^4*Z^2+3*X^3*Y^2*Z^4+2*X^3*Y*Z^5+2*X^2*Y^5*Z^2+11*X^2*Y^4*Z^3+44*X^2*Y^3*Z^4+3*X^2*Y*Z^6+8*X*Y^6*Z^2+15*X*Y^4*Z^4+54*X^6*Y*Z+401*X^4*Y^2*Z^2+4*X^3*Y^2*Z^3+600*X^2*Y^4*Z^2+12*X^2*Y^3*Z^3+379*X^2*Y^2*Z^4+2*X^2*Y*Z^5+34*X*Y^6*Z+4*X*Y^5*Z^2+10*X*Y^4*Z^3+2*X*Y^3*Z^4+24*X*Y^2*Z^5+52*X*Y*Z^6+18*X^4*Y^2*Z+6*X^4*Y*Z^2+6*X^3*Y^3*Z+12*X^3*Y^2*Z^2+16*X^3*Y*Z^3+34*X^2*Y^4*Z+15*X^2*Y^3*Z^2+12*X^2*Y^2*Z^3+5*X^2*Y*Z^4+6*X*Y^5*Z+40*X*Y^4*Z^2+X*Y^3*Z^3+51*X*Y^2*Z^4+18*X*Y*Z^5+54*X^4*Y*Z+95*X^3*Y^2*Z+73*X^3*Y*Z^2+24*X^2*Y^3*Z+578*X^2*Y^2*Z^2+31*X^2*Y*Z^3+143*X*Y^4*Z+57*X*Y^3*Z^2+66*X*Y^2*Z^3+74*X*Y*Z^4+99*X^3*Y*Z+220*X^2*Y^2*Z+130*X^2*Y*Z^2+52*X*Y^3*Z+226*X*Y^2*Z^2+73*X*Y*Z^3+170*X^2*Y*Z+280*X*Y^2*Z+158*X*Y*Z^2+109*X*Y*Z

Algorithm definition

The algorithm ⟨15×25×28:5944⟩ is serendipitous tensor product (⟨5×5×7:127⟩ - 13) ⊗ ⟨3×5×4:47⟩ +⟨3×5×12:136⟩ +5⟨3×5×8:90⟩.

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