Description of fast matrix multiplication algorithm: ⟨10×20×25:2967⟩

Algorithm type

8⁢X2⁢Y12⁢Z4+8⁢X6⁢Y8⁢Z2+256⁢X4⁢Y8⁢Z4+8⁢X⁢Y12⁢Z2+8⁢X4⁢Y8⁢Z2+8⁢X2⁢Y8⁢Z4+9⁢X4⁢Y2⁢Z6+8⁢X3⁢Y8⁢Z+344⁢X2⁢Y8⁢Z2+6⁢X4⁢Y2⁢Z5+X3⁢Y2⁢Z6+8⁢X2⁢Y8⁢Z+8⁢X⁢Y8⁢Z2+88⁢X4⁢Y4⁢Z2+5⁢X3⁢Y2⁢Z5+80⁢X2⁢Y4⁢Z4+3⁢X2⁢Y2⁢Z6+88⁢X⁢Y8⁢Z+2⁢X4⁢Y2⁢Z3+10⁢X2⁢Y⁢Z6+7⁢X4⁢Y⁢Z3+6⁢X3⁢Y2⁢Z3+160⁢X2⁢Y4⁢Z2+X2⁢Y3⁢Z3+X2⁢Y2⁢Z4+4⁢X2⁢Y⁢Z5+2⁢X⁢Y2⁢Z5+2⁢X⁢Y⁢Z6+X4⁢Y⁢Z2+6⁢X3⁢Y2⁢Z2+5⁢X3⁢Y⁢Z3+88⁢X2⁢Y4⁢Z+6⁢X2⁢Y2⁢Z3+X2⁢Y⁢Z4+80⁢X⁢Y4⁢Z2+3⁢X⁢Y2⁢Z4+18⁢X3⁢Y2⁢Z+2⁢X3⁢Y⁢Z2+519⁢X2⁢Y2⁢Z2+14⁢X2⁢Y⁢Z3+160⁢X⁢Y4⁢Z+16⁢X⁢Y3⁢Z2+6⁢X⁢Y2⁢Z3+8⁢X3⁢Y⁢Z+16⁢X2⁢Y2⁢Z+14⁢X2⁢Y⁢Z2+2⁢X⁢Y3⁢Z+18⁢X⁢Y2⁢Z2+3⁢X⁢Y⁢Z3+177⁢X2⁢Y⁢Z+176⁢X⁢Y2⁢Z+161⁢X⁢Y⁢Z2+328⁢X⁢Y⁢Z8X2Y12Z48X6Y8Z2256X4Y8Z48XY12Z28X4Y8Z28X2Y8Z49X4Y2Z68X3Y8Z344X2Y8Z26X4Y2Z5X3Y2Z68X2Y8Z8XY8Z288X4Y4Z25X3Y2Z580X2Y4Z43X2Y2Z688XY8Z2X4Y2Z310X2YZ67X4YZ36X3Y2Z3160X2Y4Z2X2Y3Z3X2Y2Z44X2YZ52XY2Z52XYZ6X4YZ26X3Y2Z25X3YZ388X2Y4Z6X2Y2Z3X2YZ480XY4Z23XY2Z418X3Y2Z2X3YZ2519X2Y2Z214X2YZ3160XY4Z16XY3Z26XY2Z38X3YZ16X2Y2Z14X2YZ22XY3Z18XY2Z23XYZ3177X2YZ176XY2Z161XYZ2328XYZ8*X^2*Y^12*Z^4+8*X^6*Y^8*Z^2+256*X^4*Y^8*Z^4+8*X*Y^12*Z^2+8*X^4*Y^8*Z^2+8*X^2*Y^8*Z^4+9*X^4*Y^2*Z^6+8*X^3*Y^8*Z+344*X^2*Y^8*Z^2+6*X^4*Y^2*Z^5+X^3*Y^2*Z^6+8*X^2*Y^8*Z+8*X*Y^8*Z^2+88*X^4*Y^4*Z^2+5*X^3*Y^2*Z^5+80*X^2*Y^4*Z^4+3*X^2*Y^2*Z^6+88*X*Y^8*Z+2*X^4*Y^2*Z^3+10*X^2*Y*Z^6+7*X^4*Y*Z^3+6*X^3*Y^2*Z^3+160*X^2*Y^4*Z^2+X^2*Y^3*Z^3+X^2*Y^2*Z^4+4*X^2*Y*Z^5+2*X*Y^2*Z^5+2*X*Y*Z^6+X^4*Y*Z^2+6*X^3*Y^2*Z^2+5*X^3*Y*Z^3+88*X^2*Y^4*Z+6*X^2*Y^2*Z^3+X^2*Y*Z^4+80*X*Y^4*Z^2+3*X*Y^2*Z^4+18*X^3*Y^2*Z+2*X^3*Y*Z^2+519*X^2*Y^2*Z^2+14*X^2*Y*Z^3+160*X*Y^4*Z+16*X*Y^3*Z^2+6*X*Y^2*Z^3+8*X^3*Y*Z+16*X^2*Y^2*Z+14*X^2*Y*Z^2+2*X*Y^3*Z+18*X*Y^2*Z^2+3*X*Y*Z^3+177*X^2*Y*Z+176*X*Y^2*Z+161*X*Y*Z^2+328*X*Y*Z

Algorithm definition

The algorithm ⟨10×20×25:2967⟩ is serendipitous tensor product (⟨5×5×5:93⟩ - 5) ⊗ ⟨2×4×5:32⟩ +⟨6×4×5:90⟩ +⟨4×4×5:61⟩.

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