Description of fast matrix multiplication algorithm: ⟨20×25×26:7171⟩

Algorithm type

8⁢X12⁢Y4⁢Z6+40⁢X8⁢Y6⁢Z4+8⁢X12⁢Y2⁢Z3+736⁢X8⁢Y4⁢Z4+8⁢X8⁢Y2⁢Z4+40⁢X8⁢Y3⁢Z2+736⁢X8⁢Y2⁢Z2+8⁢X4⁢Y6⁢Z2+16⁢X4⁢Y4⁢Z4+24⁢X4⁢Y2⁢Z6+8⁢X8⁢Y⁢Z2+288⁢X4⁢Y4⁢Z2+240⁢X4⁢Y2⁢Z4+16⁢X2⁢Y6⁢Z2+X4⁢Y3⁢Z2+2⁢X3⁢Y4⁢Z2+X3⁢Y3⁢Z3+2⁢X3⁢Y2⁢Z4+8⁢X2⁢Y6⁢Z+14⁢X2⁢Y4⁢Z3+6⁢X2⁢Y3⁢Z4+18⁢X2⁢Y2⁢Z5+11⁢X4⁢Y3⁢Z+30⁢X4⁢Y2⁢Z2+24⁢X4⁢Y⁢Z3+X3⁢Y4⁢Z+10⁢X3⁢Y3⁢Z2+29⁢X3⁢Y2⁢Z3+2⁢X3⁢Y⁢Z4+59⁢X2⁢Y4⁢Z2+54⁢X2⁢Y3⁢Z3+49⁢X2⁢Y2⁢Z4+2⁢X⁢Y6⁢Z+2⁢X⁢Y5⁢Z2+X⁢Y4⁢Z3+6⁢X⁢Y2⁢Z5+289⁢X4⁢Y2⁢Z+240⁢X4⁢Y⁢Z2+2⁢X3⁢Y3⁢Z+37⁢X3⁢Y2⁢Z2+6⁢X3⁢Y⁢Z3+25⁢X2⁢Y4⁢Z+112⁢X2⁢Y3⁢Z2+199⁢X2⁢Y2⁢Z3+6⁢X2⁢Y⁢Z4+2⁢X⁢Y5⁢Z+7⁢X⁢Y4⁢Z2+15⁢X⁢Y3⁢Z3+10⁢X⁢Y2⁢Z4+26⁢X⁢Y⁢Z5+5⁢X3⁢Y⁢Z2+15⁢X2⁢Y3⁢Z+1554⁢X2⁢Y2⁢Z2+49⁢X2⁢Y⁢Z3+19⁢X⁢Y4⁢Z+86⁢X⁢Y3⁢Z2+75⁢X⁢Y2⁢Z3+37⁢X⁢Y⁢Z4+X3⁢Y⁢Z+26⁢X2⁢Y2⁢Z+22⁢X2⁢Y⁢Z2+80⁢X⁢Y3⁢Z+173⁢X⁢Y2⁢Z2+231⁢X⁢Y⁢Z3+19⁢X2⁢Y⁢Z+725⁢X⁢Y2⁢Z+548⁢X⁢Y⁢Z2+22⁢X⁢Y⁢Z8X12Y4Z640X8Y6Z48X12Y2Z3736X8Y4Z48X8Y2Z440X8Y3Z2736X8Y2Z28X4Y6Z216X4Y4Z424X4Y2Z68X8YZ2288X4Y4Z2240X4Y2Z416X2Y6Z2X4Y3Z22X3Y4Z2X3Y3Z32X3Y2Z48X2Y6Z14X2Y4Z36X2Y3Z418X2Y2Z511X4Y3Z30X4Y2Z224X4YZ3X3Y4Z10X3Y3Z229X3Y2Z32X3YZ459X2Y4Z254X2Y3Z349X2Y2Z42XY6Z2XY5Z2XY4Z36XY2Z5289X4Y2Z240X4YZ22X3Y3Z37X3Y2Z26X3YZ325X2Y4Z112X2Y3Z2199X2Y2Z36X2YZ42XY5Z7XY4Z215XY3Z310XY2Z426XYZ55X3YZ215X2Y3Z1554X2Y2Z249X2YZ319XY4Z86XY3Z275XY2Z337XYZ4X3YZ26X2Y2Z22X2YZ280XY3Z173XY2Z2231XYZ319X2YZ725XY2Z548XYZ222XYZ8*X^12*Y^4*Z^6+40*X^8*Y^6*Z^4+8*X^12*Y^2*Z^3+736*X^8*Y^4*Z^4+8*X^8*Y^2*Z^4+40*X^8*Y^3*Z^2+736*X^8*Y^2*Z^2+8*X^4*Y^6*Z^2+16*X^4*Y^4*Z^4+24*X^4*Y^2*Z^6+8*X^8*Y*Z^2+288*X^4*Y^4*Z^2+240*X^4*Y^2*Z^4+16*X^2*Y^6*Z^2+X^4*Y^3*Z^2+2*X^3*Y^4*Z^2+X^3*Y^3*Z^3+2*X^3*Y^2*Z^4+8*X^2*Y^6*Z+14*X^2*Y^4*Z^3+6*X^2*Y^3*Z^4+18*X^2*Y^2*Z^5+11*X^4*Y^3*Z+30*X^4*Y^2*Z^2+24*X^4*Y*Z^3+X^3*Y^4*Z+10*X^3*Y^3*Z^2+29*X^3*Y^2*Z^3+2*X^3*Y*Z^4+59*X^2*Y^4*Z^2+54*X^2*Y^3*Z^3+49*X^2*Y^2*Z^4+2*X*Y^6*Z+2*X*Y^5*Z^2+X*Y^4*Z^3+6*X*Y^2*Z^5+289*X^4*Y^2*Z+240*X^4*Y*Z^2+2*X^3*Y^3*Z+37*X^3*Y^2*Z^2+6*X^3*Y*Z^3+25*X^2*Y^4*Z+112*X^2*Y^3*Z^2+199*X^2*Y^2*Z^3+6*X^2*Y*Z^4+2*X*Y^5*Z+7*X*Y^4*Z^2+15*X*Y^3*Z^3+10*X*Y^2*Z^4+26*X*Y*Z^5+5*X^3*Y*Z^2+15*X^2*Y^3*Z+1554*X^2*Y^2*Z^2+49*X^2*Y*Z^3+19*X*Y^4*Z+86*X*Y^3*Z^2+75*X*Y^2*Z^3+37*X*Y*Z^4+X^3*Y*Z+26*X^2*Y^2*Z+22*X^2*Y*Z^2+80*X*Y^3*Z+173*X*Y^2*Z^2+231*X*Y*Z^3+19*X^2*Y*Z+725*X*Y^2*Z+548*X*Y*Z^2+22*X*Y*Z

Algorithm definition

The algorithm ⟨20×25×26:7171⟩ is serendipitous tensor product (⟨5×5×13:227⟩ - 56) ⊗ ⟨4×5×2:32⟩ +6⟨4×5×6:90⟩ +19⟨4×5×4: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