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

Algorithm type

2⁢X⁢Y12⁢Z2+X9⁢Y4⁢Z+X2⁢Y2⁢Z9+X⁢Y10⁢Z2+X⁢Y6⁢Z6+5⁢X9⁢Y2⁢Z+49⁢X6⁢Y4⁢Z2+544⁢X4⁢Y4⁢Z4+17⁢X4⁢Y2⁢Z6+2⁢X3⁢Y8⁢Z+64⁢X2⁢Y8⁢Z2+17⁢X2⁢Y6⁢Z4+32⁢X2⁢Y4⁢Z6+5⁢X2⁢Y⁢Z9+X⁢Y9⁢Z2+3⁢X6⁢Y4⁢Z+X6⁢Y2⁢Z3+X3⁢Y6⁢Z2+2⁢X2⁢Y8⁢Z+4⁢X⁢Y8⁢Z2+2⁢X⁢Y6⁢Z4+X⁢Y4⁢Z6+161⁢X6⁢Y2⁢Z2+5⁢X6⁢Y⁢Z3+81⁢X4⁢Y4⁢Z2+17⁢X4⁢Y2⁢Z4+X3⁢Y6⁢Z+X3⁢Y4⁢Z3+X2⁢Y7⁢Z+35⁢X2⁢Y6⁢Z2+83⁢X2⁢Y4⁢Z4+163⁢X2⁢Y2⁢Z6+22⁢X⁢Y8⁢Z+5⁢X⁢Y3⁢Z6+17⁢X6⁢Y2⁢Z+5⁢X6⁢Y⁢Z2+2⁢X4⁢Y4⁢Z+2⁢X4⁢Y2⁢Z3+3⁢X3⁢Y4⁢Z2+3⁢X2⁢Y6⁢Z+12⁢X2⁢Y5⁢Z2+51⁢X2⁢Y4⁢Z3+2⁢X2⁢Y2⁢Z5+6⁢X2⁢Y⁢Z6+X⁢Y7⁢Z+9⁢X⁢Y6⁢Z2+2⁢X⁢Y4⁢Z4+16⁢X⁢Y2⁢Z6+55⁢X6⁢Y⁢Z+221⁢X4⁢Y2⁢Z2+X4⁢Y⁢Z3+19⁢X3⁢Y4⁢Z+5⁢X3⁢Y3⁢Z2+5⁢X3⁢Y2⁢Z3+571⁢X2⁢Y4⁢Z2+X2⁢Y3⁢Z3+223⁢X2⁢Y2⁢Z4+18⁢X⁢Y6⁢Z+11⁢X⁢Y4⁢Z3+X⁢Y3⁢Z4+55⁢X⁢Y⁢Z6+23⁢X4⁢Y2⁢Z+X4⁢Y⁢Z2+17⁢X3⁢Y2⁢Z2+52⁢X2⁢Y4⁢Z+16⁢X2⁢Y3⁢Z2+27⁢X2⁢Y2⁢Z3+X2⁢Y⁢Z4+11⁢X⁢Y5⁢Z+82⁢X⁢Y4⁢Z2+32⁢X⁢Y2⁢Z4+11⁢X4⁢Y⁢Z+83⁢X3⁢Y2⁢Z+55⁢X3⁢Y⁢Z2+13⁢X2⁢Y3⁢Z+639⁢X2⁢Y2⁢Z2+62⁢X2⁢Y⁢Z3+184⁢X⁢Y4⁢Z+32⁢X⁢Y3⁢Z2+113⁢X⁢Y2⁢Z3+11⁢X⁢Y⁢Z4+110⁢X3⁢Y⁢Z+174⁢X2⁢Y2⁢Z+29⁢X2⁢Y⁢Z2+34⁢X⁢Y3⁢Z+199⁢X⁢Y2⁢Z2+110⁢X⁢Y⁢Z3+89⁢X2⁢Y⁢Z+276⁢X⁢Y2⁢Z+100⁢X⁢Y⁢Z2+136⁢X⁢Y⁢Z2XY12Z2X9Y4ZX2Y2Z9XY10Z2XY6Z65X9Y2Z49X6Y4Z2544X4Y4Z417X4Y2Z62X3Y8Z64X2Y8Z217X2Y6Z432X2Y4Z65X2YZ9XY9Z23X6Y4ZX6Y2Z3X3Y6Z22X2Y8Z4XY8Z22XY6Z4XY4Z6161X6Y2Z25X6YZ381X4Y4Z217X4Y2Z4X3Y6ZX3Y4Z3X2Y7Z35X2Y6Z283X2Y4Z4163X2Y2Z622XY8Z5XY3Z617X6Y2Z5X6YZ22X4Y4Z2X4Y2Z33X3Y4Z23X2Y6Z12X2Y5Z251X2Y4Z32X2Y2Z56X2YZ6XY7Z9XY6Z22XY4Z416XY2Z655X6YZ221X4Y2Z2X4YZ319X3Y4Z5X3Y3Z25X3Y2Z3571X2Y4Z2X2Y3Z3223X2Y2Z418XY6Z11XY4Z3XY3Z455XYZ623X4Y2ZX4YZ217X3Y2Z252X2Y4Z16X2Y3Z227X2Y2Z3X2YZ411XY5Z82XY4Z232XY2Z411X4YZ83X3Y2Z55X3YZ213X2Y3Z639X2Y2Z262X2YZ3184XY4Z32XY3Z2113XY2Z311XYZ4110X3YZ174X2Y2Z29X2YZ234XY3Z199XY2Z2110XYZ389X2YZ276XY2Z100XYZ2136XYZ2*X*Y^12*Z^2+X^9*Y^4*Z+X^2*Y^2*Z^9+X*Y^10*Z^2+X*Y^6*Z^6+5*X^9*Y^2*Z+49*X^6*Y^4*Z^2+544*X^4*Y^4*Z^4+17*X^4*Y^2*Z^6+2*X^3*Y^8*Z+64*X^2*Y^8*Z^2+17*X^2*Y^6*Z^4+32*X^2*Y^4*Z^6+5*X^2*Y*Z^9+X*Y^9*Z^2+3*X^6*Y^4*Z+X^6*Y^2*Z^3+X^3*Y^6*Z^2+2*X^2*Y^8*Z+4*X*Y^8*Z^2+2*X*Y^6*Z^4+X*Y^4*Z^6+161*X^6*Y^2*Z^2+5*X^6*Y*Z^3+81*X^4*Y^4*Z^2+17*X^4*Y^2*Z^4+X^3*Y^6*Z+X^3*Y^4*Z^3+X^2*Y^7*Z+35*X^2*Y^6*Z^2+83*X^2*Y^4*Z^4+163*X^2*Y^2*Z^6+22*X*Y^8*Z+5*X*Y^3*Z^6+17*X^6*Y^2*Z+5*X^6*Y*Z^2+2*X^4*Y^4*Z+2*X^4*Y^2*Z^3+3*X^3*Y^4*Z^2+3*X^2*Y^6*Z+12*X^2*Y^5*Z^2+51*X^2*Y^4*Z^3+2*X^2*Y^2*Z^5+6*X^2*Y*Z^6+X*Y^7*Z+9*X*Y^6*Z^2+2*X*Y^4*Z^4+16*X*Y^2*Z^6+55*X^6*Y*Z+221*X^4*Y^2*Z^2+X^4*Y*Z^3+19*X^3*Y^4*Z+5*X^3*Y^3*Z^2+5*X^3*Y^2*Z^3+571*X^2*Y^4*Z^2+X^2*Y^3*Z^3+223*X^2*Y^2*Z^4+18*X*Y^6*Z+11*X*Y^4*Z^3+X*Y^3*Z^4+55*X*Y*Z^6+23*X^4*Y^2*Z+X^4*Y*Z^2+17*X^3*Y^2*Z^2+52*X^2*Y^4*Z+16*X^2*Y^3*Z^2+27*X^2*Y^2*Z^3+X^2*Y*Z^4+11*X*Y^5*Z+82*X*Y^4*Z^2+32*X*Y^2*Z^4+11*X^4*Y*Z+83*X^3*Y^2*Z+55*X^3*Y*Z^2+13*X^2*Y^3*Z+639*X^2*Y^2*Z^2+62*X^2*Y*Z^3+184*X*Y^4*Z+32*X*Y^3*Z^2+113*X*Y^2*Z^3+11*X*Y*Z^4+110*X^3*Y*Z+174*X^2*Y^2*Z+29*X^2*Y*Z^2+34*X*Y^3*Z+199*X*Y^2*Z^2+110*X*Y*Z^3+89*X^2*Y*Z+276*X*Y^2*Z+100*X*Y*Z^2+136*X*Y*Z

Algorithm definition

The algorithm ⟨15×25×25:5370⟩ is serendipitous tensor product (⟨3×5×5:58⟩ - 6) ⊗ ⟨5×5×5:93⟩ +3⟨5×5×10:178⟩.

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