Description of fast matrix multiplication algorithm: ⟨14×20×25:4043⟩

Algorithm type

8⁢X4⁢Y12⁢Z4+376⁢X4⁢Y8⁢Z4+32⁢X2⁢Y12⁢Z2+8⁢X2⁢Y8⁢Z4+24⁢X⁢Y12⁢Z+448⁢X2⁢Y8⁢Z2+8⁢X⁢Y8⁢Z2+136⁢X4⁢Y4⁢Z2+128⁢X2⁢Y4⁢Z4+2⁢X2⁢Y2⁢Z6+72⁢X⁢Y8⁢Z+4⁢X4⁢Y2⁢Z3+15⁢X3⁢Y2⁢Z4+5⁢X2⁢Y2⁢Z5+8⁢X4⁢Y2⁢Z2+X4⁢Y⁢Z3+9⁢X3⁢Y2⁢Z3+4⁢X3⁢Y⁢Z4+160⁢X2⁢Y4⁢Z2+14⁢X2⁢Y2⁢Z4+X2⁢Y⁢Z5+2⁢X⁢Y⁢Z6+2⁢X4⁢Y2⁢Z+12⁢X4⁢Y⁢Z2+23⁢X3⁢Y2⁢Z2+4⁢X3⁢Y⁢Z3+136⁢X2⁢Y4⁢Z+16⁢X2⁢Y3⁢Z2+12⁢X2⁢Y2⁢Z3+13⁢X2⁢Y⁢Z4+128⁢X⁢Y4⁢Z2+15⁢X⁢Y2⁢Z4+3⁢X⁢Y⁢Z5+5⁢X4⁢Y⁢Z+5⁢X3⁢Y2⁢Z+15⁢X3⁢Y⁢Z2+3⁢X2⁢Y3⁢Z+781⁢X2⁢Y2⁢Z2+17⁢X2⁢Y⁢Z3+160⁢X⁢Y4⁢Z+3⁢X⁢Y3⁢Z2+10⁢X⁢Y2⁢Z3+X⁢Y⁢Z4+28⁢X3⁢Y⁢Z+2⁢X2⁢Y2⁢Z+32⁢X2⁢Y⁢Z2+53⁢X⁢Y3⁢Z+28⁢X⁢Y2⁢Z2+8⁢X⁢Y⁢Z3+304⁢X2⁢Y⁢Z+148⁢X⁢Y2⁢Z+269⁢X⁢Y⁢Z2+342⁢X⁢Y⁢Z8X4Y12Z4376X4Y8Z432X2Y12Z28X2Y8Z424XY12Z448X2Y8Z28XY8Z2136X4Y4Z2128X2Y4Z42X2Y2Z672XY8Z4X4Y2Z315X3Y2Z45X2Y2Z58X4Y2Z2X4YZ39X3Y2Z34X3YZ4160X2Y4Z214X2Y2Z4X2YZ52XYZ62X4Y2Z12X4YZ223X3Y2Z24X3YZ3136X2Y4Z16X2Y3Z212X2Y2Z313X2YZ4128XY4Z215XY2Z43XYZ55X4YZ5X3Y2Z15X3YZ23X2Y3Z781X2Y2Z217X2YZ3160XY4Z3XY3Z210XY2Z3XYZ428X3YZ2X2Y2Z32X2YZ253XY3Z28XY2Z28XYZ3304X2YZ148XY2Z269XYZ2342XYZ8*X^4*Y^12*Z^4+376*X^4*Y^8*Z^4+32*X^2*Y^12*Z^2+8*X^2*Y^8*Z^4+24*X*Y^12*Z+448*X^2*Y^8*Z^2+8*X*Y^8*Z^2+136*X^4*Y^4*Z^2+128*X^2*Y^4*Z^4+2*X^2*Y^2*Z^6+72*X*Y^8*Z+4*X^4*Y^2*Z^3+15*X^3*Y^2*Z^4+5*X^2*Y^2*Z^5+8*X^4*Y^2*Z^2+X^4*Y*Z^3+9*X^3*Y^2*Z^3+4*X^3*Y*Z^4+160*X^2*Y^4*Z^2+14*X^2*Y^2*Z^4+X^2*Y*Z^5+2*X*Y*Z^6+2*X^4*Y^2*Z+12*X^4*Y*Z^2+23*X^3*Y^2*Z^2+4*X^3*Y*Z^3+136*X^2*Y^4*Z+16*X^2*Y^3*Z^2+12*X^2*Y^2*Z^3+13*X^2*Y*Z^4+128*X*Y^4*Z^2+15*X*Y^2*Z^4+3*X*Y*Z^5+5*X^4*Y*Z+5*X^3*Y^2*Z+15*X^3*Y*Z^2+3*X^2*Y^3*Z+781*X^2*Y^2*Z^2+17*X^2*Y*Z^3+160*X*Y^4*Z+3*X*Y^3*Z^2+10*X*Y^2*Z^3+X*Y*Z^4+28*X^3*Y*Z+2*X^2*Y^2*Z+32*X^2*Y*Z^2+53*X*Y^3*Z+28*X*Y^2*Z^2+8*X*Y*Z^3+304*X^2*Y*Z+148*X*Y^2*Z+269*X*Y*Z^2+342*X*Y*Z

Algorithm definition

The algorithm ⟨14×20×25:4043⟩ is serendipitous tensor product (⟨7×5×5:127⟩ - 13) ⊗ ⟨2×4×5:32⟩ +⟨6×4×5:90⟩ +5⟨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