Description of fast matrix multiplication algorithm: ⟨15×25×32:6728⟩

Algorithm type

6⁢X2⁢Y9⁢Z4+2⁢X2⁢Y8⁢Z4+4⁢X2⁢Y6⁢Z6+X⁢Y4⁢Z9+X3⁢Y⁢Z9+X2⁢Y8⁢Z3+X2⁢Y5⁢Z6+2⁢X⁢Y6⁢Z6+728⁢X4⁢Y4⁢Z4+X3⁢Y2⁢Z7+57⁢X2⁢Y6⁢Z4+29⁢X2⁢Y4⁢Z6+13⁢X⁢Y9⁢Z2+6⁢X⁢Y2⁢Z9+4⁢X9⁢Y⁢Z+2⁢X3⁢Y2⁢Z6+5⁢X2⁢Y6⁢Z3+11⁢X2⁢Y5⁢Z4+X2⁢Y4⁢Z5+17⁢X2⁢Y3⁢Z6+17⁢X⁢Y6⁢Z4+11⁢X⁢Y4⁢Z6+X⁢Y2⁢Z8+2⁢X⁢Y⁢Z9+237⁢X6⁢Y2⁢Z2+112⁢X4⁢Y4⁢Z2+2⁢X3⁢Y2⁢Z5+X3⁢Y⁢Z6+116⁢X2⁢Y6⁢Z2+3⁢X2⁢Y5⁢Z3+107⁢X2⁢Y4⁢Z4+168⁢X2⁢Y2⁢Z6+X⁢Y7⁢Z2+12⁢X⁢Y6⁢Z3+2⁢X⁢Y4⁢Z5+13⁢X⁢Y3⁢Z6+8⁢X⁢Y2⁢Z7+X⁢Y⁢Z8+2⁢X6⁢Y2⁢Z+X3⁢Y⁢Z5+3⁢X2⁢Y5⁢Z2+8⁢X2⁢Y4⁢Z3+30⁢X2⁢Y3⁢Z4+41⁢X⁢Y6⁢Z2+X⁢Y5⁢Z3+18⁢X⁢Y4⁢Z4+6⁢X⁢Y3⁢Z5+32⁢X⁢Y2⁢Z6+2⁢X⁢Y⁢Z7+58⁢X6⁢Y⁢Z+505⁢X4⁢Y2⁢Z2+2⁢X3⁢Y3⁢Z2+X3⁢Y2⁢Z3+728⁢X2⁢Y4⁢Z2+7⁢X2⁢Y3⁢Z3+429⁢X2⁢Y2⁢Z4+46⁢X⁢Y6⁢Z+12⁢X⁢Y5⁢Z2+28⁢X⁢Y4⁢Z3+35⁢X⁢Y3⁢Z4+18⁢X⁢Y2⁢Z5+66⁢X⁢Y⁢Z6+26⁢X4⁢Y2⁢Z+3⁢X3⁢Y3⁢Z+2⁢X3⁢Y2⁢Z2+5⁢X3⁢Y⁢Z3+36⁢X2⁢Y4⁢Z+10⁢X2⁢Y3⁢Z2+2⁢X2⁢Y2⁢Z3+2⁢X⁢Y5⁢Z+64⁢X⁢Y4⁢Z2+15⁢X⁢Y3⁢Z3+55⁢X⁢Y2⁢Z4+9⁢X⁢Y⁢Z5+78⁢X4⁢Y⁢Z+85⁢X3⁢Y2⁢Z+83⁢X3⁢Y⁢Z2+26⁢X2⁢Y3⁢Z+544⁢X2⁢Y2⁢Z2+40⁢X2⁢Y⁢Z3+173⁢X⁢Y4⁢Z+65⁢X⁢Y3⁢Z2+73⁢X⁢Y2⁢Z3+71⁢X⁢Y⁢Z4+69⁢X3⁢Y⁢Z+247⁢X2⁢Y2⁢Z+160⁢X2⁢Y⁢Z2+44⁢X⁢Y3⁢Z+266⁢X⁢Y2⁢Z2+55⁢X⁢Y⁢Z3+164⁢X2⁢Y⁢Z+236⁢X⁢Y2⁢Z+152⁢X⁢Y⁢Z2+83⁢X⁢Y⁢Z6X2Y9Z42X2Y8Z44X2Y6Z6XY4Z9X3YZ9X2Y8Z3X2Y5Z62XY6Z6728X4Y4Z4X3Y2Z757X2Y6Z429X2Y4Z613XY9Z26XY2Z94X9YZ2X3Y2Z65X2Y6Z311X2Y5Z4X2Y4Z517X2Y3Z617XY6Z411XY4Z6XY2Z82XYZ9237X6Y2Z2112X4Y4Z22X3Y2Z5X3YZ6116X2Y6Z23X2Y5Z3107X2Y4Z4168X2Y2Z6XY7Z212XY6Z32XY4Z513XY3Z68XY2Z7XYZ82X6Y2ZX3YZ53X2Y5Z28X2Y4Z330X2Y3Z441XY6Z2XY5Z318XY4Z46XY3Z532XY2Z62XYZ758X6YZ505X4Y2Z22X3Y3Z2X3Y2Z3728X2Y4Z27X2Y3Z3429X2Y2Z446XY6Z12XY5Z228XY4Z335XY3Z418XY2Z566XYZ626X4Y2Z3X3Y3Z2X3Y2Z25X3YZ336X2Y4Z10X2Y3Z22X2Y2Z32XY5Z64XY4Z215XY3Z355XY2Z49XYZ578X4YZ85X3Y2Z83X3YZ226X2Y3Z544X2Y2Z240X2YZ3173XY4Z65XY3Z273XY2Z371XYZ469X3YZ247X2Y2Z160X2YZ244XY3Z266XY2Z255XYZ3164X2YZ236XY2Z152XYZ283XYZ6*X^2*Y^9*Z^4+2*X^2*Y^8*Z^4+4*X^2*Y^6*Z^6+X*Y^4*Z^9+X^3*Y*Z^9+X^2*Y^8*Z^3+X^2*Y^5*Z^6+2*X*Y^6*Z^6+728*X^4*Y^4*Z^4+X^3*Y^2*Z^7+57*X^2*Y^6*Z^4+29*X^2*Y^4*Z^6+13*X*Y^9*Z^2+6*X*Y^2*Z^9+4*X^9*Y*Z+2*X^3*Y^2*Z^6+5*X^2*Y^6*Z^3+11*X^2*Y^5*Z^4+X^2*Y^4*Z^5+17*X^2*Y^3*Z^6+17*X*Y^6*Z^4+11*X*Y^4*Z^6+X*Y^2*Z^8+2*X*Y*Z^9+237*X^6*Y^2*Z^2+112*X^4*Y^4*Z^2+2*X^3*Y^2*Z^5+X^3*Y*Z^6+116*X^2*Y^6*Z^2+3*X^2*Y^5*Z^3+107*X^2*Y^4*Z^4+168*X^2*Y^2*Z^6+X*Y^7*Z^2+12*X*Y^6*Z^3+2*X*Y^4*Z^5+13*X*Y^3*Z^6+8*X*Y^2*Z^7+X*Y*Z^8+2*X^6*Y^2*Z+X^3*Y*Z^5+3*X^2*Y^5*Z^2+8*X^2*Y^4*Z^3+30*X^2*Y^3*Z^4+41*X*Y^6*Z^2+X*Y^5*Z^3+18*X*Y^4*Z^4+6*X*Y^3*Z^5+32*X*Y^2*Z^6+2*X*Y*Z^7+58*X^6*Y*Z+505*X^4*Y^2*Z^2+2*X^3*Y^3*Z^2+X^3*Y^2*Z^3+728*X^2*Y^4*Z^2+7*X^2*Y^3*Z^3+429*X^2*Y^2*Z^4+46*X*Y^6*Z+12*X*Y^5*Z^2+28*X*Y^4*Z^3+35*X*Y^3*Z^4+18*X*Y^2*Z^5+66*X*Y*Z^6+26*X^4*Y^2*Z+3*X^3*Y^3*Z+2*X^3*Y^2*Z^2+5*X^3*Y*Z^3+36*X^2*Y^4*Z+10*X^2*Y^3*Z^2+2*X^2*Y^2*Z^3+2*X*Y^5*Z+64*X*Y^4*Z^2+15*X*Y^3*Z^3+55*X*Y^2*Z^4+9*X*Y*Z^5+78*X^4*Y*Z+85*X^3*Y^2*Z+83*X^3*Y*Z^2+26*X^2*Y^3*Z+544*X^2*Y^2*Z^2+40*X^2*Y*Z^3+173*X*Y^4*Z+65*X*Y^3*Z^2+73*X*Y^2*Z^3+71*X*Y*Z^4+69*X^3*Y*Z+247*X^2*Y^2*Z+160*X^2*Y*Z^2+44*X*Y^3*Z+266*X*Y^2*Z^2+55*X*Y*Z^3+164*X^2*Y*Z+236*X*Y^2*Z+152*X*Y*Z^2+83*X*Y*Z

Algorithm definition

The algorithm ⟨15×25×32:6728⟩ is serendipitous tensor product (⟨5×5×8:144⟩ - 20) ⊗ ⟨3×5×4:47⟩ +10⟨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