Description of fast matrix multiplication algorithm: ⟨20×25×30:8072⟩

Algorithm type

8⁢X12⁢Y⁢Z+41⁢X4⁢Y6⁢Z4+12⁢X⁢Y⁢Z12+167⁢X4⁢Y5⁢Z4+160⁢X8⁢Y2⁢Z2+848⁢X4⁢Y4⁢Z4+160⁢X2⁢Y2⁢Z8+4⁢X8⁢Y⁢Z2+4⁢X2⁢Y⁢Z8+4⁢X⁢Y2⁢Z8+48⁢X8⁢Y⁢Z+24⁢X6⁢Y2⁢Z2+320⁢X4⁢Y4⁢Z2+12⁢X4⁢Y2⁢Z4+558⁢X2⁢Y6⁢Z2+12⁢X2⁢Y4⁢Z4+36⁢X2⁢Y2⁢Z6+52⁢X⁢Y⁢Z8+16⁢X6⁢Y2⁢Z+24⁢X2⁢Y6⁢Z+88⁢X2⁢Y5⁢Z2+89⁢X2⁢Y3⁢Z4+8⁢X6⁢Y⁢Z+12⁢X4⁢Y3⁢Z+316⁢X4⁢Y2⁢Z2+12⁢X4⁢Y⁢Z3+8⁢X3⁢Y⁢Z4+822⁢X2⁢Y4⁢Z2+283⁢X2⁢Y2⁢Z4+186⁢X⁢Y6⁢Z+12⁢X⁢Y3⁢Z4+152⁢X4⁢Y2⁢Z+56⁢X4⁢Y⁢Z2+112⁢X2⁢Y4⁢Z+94⁢X2⁢Y3⁢Z2+24⁢X2⁢Y2⁢Z3+48⁢X2⁢Y⁢Z4+4⁢X⁢Y4⁢Z2+56⁢X⁢Y2⁢Z4+132⁢X4⁢Y⁢Z+8⁢X3⁢Y2⁢Z+12⁢X2⁢Y3⁢Z+918⁢X2⁢Y2⁢Z2+12⁢X2⁢Y⁢Z3+256⁢X⁢Y4⁢Z+303⁢X⁢Y3⁢Z2+12⁢X⁢Y2⁢Z3+84⁢X⁢Y⁢Z4+8⁢X3⁢Y⁢Z+272⁢X2⁢Y2⁢Z+56⁢X2⁢Y⁢Z2+320⁢X⁢Y3⁢Z+56⁢X⁢Y2⁢Z2+12⁢X⁢Y⁢Z3+132⁢X2⁢Y⁢Z+198⁢X⁢Y2⁢Z+181⁢X⁢Y⁢Z2+208⁢X⁢Y⁢Z8X12YZ41X4Y6Z412XYZ12167X4Y5Z4160X8Y2Z2848X4Y4Z4160X2Y2Z84X8YZ24X2YZ84XY2Z848X8YZ24X6Y2Z2320X4Y4Z212X4Y2Z4558X2Y6Z212X2Y4Z436X2Y2Z652XYZ816X6Y2Z24X2Y6Z88X2Y5Z289X2Y3Z48X6YZ12X4Y3Z316X4Y2Z212X4YZ38X3YZ4822X2Y4Z2283X2Y2Z4186XY6Z12XY3Z4152X4Y2Z56X4YZ2112X2Y4Z94X2Y3Z224X2Y2Z348X2YZ44XY4Z256XY2Z4132X4YZ8X3Y2Z12X2Y3Z918X2Y2Z212X2YZ3256XY4Z303XY3Z212XY2Z384XYZ48X3YZ272X2Y2Z56X2YZ2320XY3Z56XY2Z212XYZ3132X2YZ198XY2Z181XYZ2208XYZ8*X^12*Y*Z+41*X^4*Y^6*Z^4+12*X*Y*Z^12+167*X^4*Y^5*Z^4+160*X^8*Y^2*Z^2+848*X^4*Y^4*Z^4+160*X^2*Y^2*Z^8+4*X^8*Y*Z^2+4*X^2*Y*Z^8+4*X*Y^2*Z^8+48*X^8*Y*Z+24*X^6*Y^2*Z^2+320*X^4*Y^4*Z^2+12*X^4*Y^2*Z^4+558*X^2*Y^6*Z^2+12*X^2*Y^4*Z^4+36*X^2*Y^2*Z^6+52*X*Y*Z^8+16*X^6*Y^2*Z+24*X^2*Y^6*Z+88*X^2*Y^5*Z^2+89*X^2*Y^3*Z^4+8*X^6*Y*Z+12*X^4*Y^3*Z+316*X^4*Y^2*Z^2+12*X^4*Y*Z^3+8*X^3*Y*Z^4+822*X^2*Y^4*Z^2+283*X^2*Y^2*Z^4+186*X*Y^6*Z+12*X*Y^3*Z^4+152*X^4*Y^2*Z+56*X^4*Y*Z^2+112*X^2*Y^4*Z+94*X^2*Y^3*Z^2+24*X^2*Y^2*Z^3+48*X^2*Y*Z^4+4*X*Y^4*Z^2+56*X*Y^2*Z^4+132*X^4*Y*Z+8*X^3*Y^2*Z+12*X^2*Y^3*Z+918*X^2*Y^2*Z^2+12*X^2*Y*Z^3+256*X*Y^4*Z+303*X*Y^3*Z^2+12*X*Y^2*Z^3+84*X*Y*Z^4+8*X^3*Y*Z+272*X^2*Y^2*Z+56*X^2*Y*Z^2+320*X*Y^3*Z+56*X*Y^2*Z^2+12*X*Y*Z^3+132*X^2*Y*Z+198*X*Y^2*Z+181*X*Y*Z^2+208*X*Y*Z

Algorithm definition

The algorithm ⟨20×25×30:8072⟩ is serendipitous tensor product (⟨4×5×5:76⟩ - 36) ⊗ ⟨5×6×5:110⟩ +18⟨5×12×5:204⟩.

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