Description of fast matrix multiplication algorithm: ⟨4×30×32:2391⟩

Algorithm type

X4⁢Y26⁢Z4+8⁢X4⁢Y24⁢Z4+9⁢X2⁢Y26⁢Z2+X2⁢Y25⁢Z2+33⁢X4⁢Y20⁢Z4+35⁢X2⁢Y24⁢Z2+13⁢X⁢Y26⁢Z+2⁢X2⁢Y23⁢Z2+8⁢X⁢Y25⁢Z+3⁢X2⁢Y20⁢Z4+25⁢X⁢Y24⁢Z+4⁢X2⁢Y21⁢Z2+X2⁢Y20⁢Z3+5⁢X⁢Y23⁢Z+16⁢X4⁢Y16⁢Z4+66⁢X2⁢Y20⁢Z2+4⁢X⁢Y22⁢Z+X2⁢Y19⁢Z2+9⁢X⁢Y21⁢Z+7⁢X⁢Y20⁢Z2+2⁢X2⁢Y18⁢Z2+X2⁢Y16⁢Z4+40⁢X⁢Y20⁢Z+X2⁢Y17⁢Z2+X⁢Y19⁢Z+16⁢X4⁢Y12⁢Z4+60⁢X2⁢Y16⁢Z2+7⁢X⁢Y18⁢Z+2⁢X2⁢Y15⁢Z2+3⁢X⁢Y17⁢Z+4⁢X⁢Y16⁢Z2+X4⁢Y10⁢Z4+52⁢X⁢Y16⁢Z+2⁢X⁢Y15⁢Z2+17⁢X⁢Y15⁢Z+92⁢X4⁢Y8⁢Z4+58⁢X2⁢Y12⁢Z2+X2⁢Y11⁢Z3+3⁢X⁢Y14⁢Z+9⁢X2⁢Y11⁢Z2+3⁢X2⁢Y10⁢Z3+X⁢Y12⁢Z2+33⁢X2⁢Y10⁢Z2+39⁢X⁢Y12⁢Z+2⁢X⁢Y11⁢Z2+4⁢X2⁢Y9⁢Z2+X2⁢Y8⁢Z3+12⁢X⁢Y11⁢Z+X⁢Y10⁢Z2+2⁢X4⁢Y4⁢Z4+131⁢X2⁢Y8⁢Z2+X2⁢Y7⁢Z3+3⁢X2⁢Y6⁢Z4+18⁢X⁢Y10⁢Z+4⁢X2⁢Y7⁢Z2+2⁢X2⁢Y6⁢Z3+2⁢X2⁢Y5⁢Z4+9⁢X⁢Y9⁢Z+6⁢X⁢Y8⁢Z2+29⁢X2⁢Y6⁢Z2+X2⁢Y5⁢Z3+X2⁢Y4⁢Z4+45⁢X⁢Y8⁢Z+2⁢X⁢Y7⁢Z2+64⁢X2⁢Y5⁢Z2+3⁢X2⁢Y4⁢Z3+3⁢X2⁢Y3⁢Z4+7⁢X⁢Y7⁢Z+8⁢X⁢Y6⁢Z2+197⁢X2⁢Y4⁢Z2+X2⁢Y3⁢Z3+4⁢X2⁢Y2⁢Z4+93⁢X⁢Y6⁢Z+12⁢X⁢Y5⁢Z2+16⁢X2⁢Y3⁢Z2+94⁢X⁢Y5⁢Z+8⁢X⁢Y4⁢Z2+183⁢X2⁢Y2⁢Z2+240⁢X⁢Y4⁢Z+6⁢X⁢Y3⁢Z2+64⁢X⁢Y3⁢Z+8⁢X⁢Y2⁢Z2+85⁢X⁢Y2⁢Z+11⁢X⁢Y⁢Z2+309⁢X⁢Y⁢ZX4Y26Z48X4Y24Z49X2Y26Z2X2Y25Z233X4Y20Z435X2Y24Z213XY26Z2X2Y23Z28XY25Z3X2Y20Z425XY24Z4X2Y21Z2X2Y20Z35XY23Z16X4Y16Z466X2Y20Z24XY22ZX2Y19Z29XY21Z7XY20Z22X2Y18Z2X2Y16Z440XY20ZX2Y17Z2XY19Z16X4Y12Z460X2Y16Z27XY18Z2X2Y15Z23XY17Z4XY16Z2X4Y10Z452XY16Z2XY15Z217XY15Z92X4Y8Z458X2Y12Z2X2Y11Z33XY14Z9X2Y11Z23X2Y10Z3XY12Z233X2Y10Z239XY12Z2XY11Z24X2Y9Z2X2Y8Z312XY11ZXY10Z22X4Y4Z4131X2Y8Z2X2Y7Z33X2Y6Z418XY10Z4X2Y7Z22X2Y6Z32X2Y5Z49XY9Z6XY8Z229X2Y6Z2X2Y5Z3X2Y4Z445XY8Z2XY7Z264X2Y5Z23X2Y4Z33X2Y3Z47XY7Z8XY6Z2197X2Y4Z2X2Y3Z34X2Y2Z493XY6Z12XY5Z216X2Y3Z294XY5Z8XY4Z2183X2Y2Z2240XY4Z6XY3Z264XY3Z8XY2Z285XY2Z11XYZ2309XYZX^4*Y^26*Z^4+8*X^4*Y^24*Z^4+9*X^2*Y^26*Z^2+X^2*Y^25*Z^2+33*X^4*Y^20*Z^4+35*X^2*Y^24*Z^2+13*X*Y^26*Z+2*X^2*Y^23*Z^2+8*X*Y^25*Z+3*X^2*Y^20*Z^4+25*X*Y^24*Z+4*X^2*Y^21*Z^2+X^2*Y^20*Z^3+5*X*Y^23*Z+16*X^4*Y^16*Z^4+66*X^2*Y^20*Z^2+4*X*Y^22*Z+X^2*Y^19*Z^2+9*X*Y^21*Z+7*X*Y^20*Z^2+2*X^2*Y^18*Z^2+X^2*Y^16*Z^4+40*X*Y^20*Z+X^2*Y^17*Z^2+X*Y^19*Z+16*X^4*Y^12*Z^4+60*X^2*Y^16*Z^2+7*X*Y^18*Z+2*X^2*Y^15*Z^2+3*X*Y^17*Z+4*X*Y^16*Z^2+X^4*Y^10*Z^4+52*X*Y^16*Z+2*X*Y^15*Z^2+17*X*Y^15*Z+92*X^4*Y^8*Z^4+58*X^2*Y^12*Z^2+X^2*Y^11*Z^3+3*X*Y^14*Z+9*X^2*Y^11*Z^2+3*X^2*Y^10*Z^3+X*Y^12*Z^2+33*X^2*Y^10*Z^2+39*X*Y^12*Z+2*X*Y^11*Z^2+4*X^2*Y^9*Z^2+X^2*Y^8*Z^3+12*X*Y^11*Z+X*Y^10*Z^2+2*X^4*Y^4*Z^4+131*X^2*Y^8*Z^2+X^2*Y^7*Z^3+3*X^2*Y^6*Z^4+18*X*Y^10*Z+4*X^2*Y^7*Z^2+2*X^2*Y^6*Z^3+2*X^2*Y^5*Z^4+9*X*Y^9*Z+6*X*Y^8*Z^2+29*X^2*Y^6*Z^2+X^2*Y^5*Z^3+X^2*Y^4*Z^4+45*X*Y^8*Z+2*X*Y^7*Z^2+64*X^2*Y^5*Z^2+3*X^2*Y^4*Z^3+3*X^2*Y^3*Z^4+7*X*Y^7*Z+8*X*Y^6*Z^2+197*X^2*Y^4*Z^2+X^2*Y^3*Z^3+4*X^2*Y^2*Z^4+93*X*Y^6*Z+12*X*Y^5*Z^2+16*X^2*Y^3*Z^2+94*X*Y^5*Z+8*X*Y^4*Z^2+183*X^2*Y^2*Z^2+240*X*Y^4*Z+6*X*Y^3*Z^2+64*X*Y^3*Z+8*X*Y^2*Z^2+85*X*Y^2*Z+11*X*Y*Z^2+309*X*Y*Z

Algorithm definition

The algorithm ⟨4×30×32:2391⟩ is serendipitous tensor product (⟨2×6×8:75⟩ - 18) ⊗ ⟨2×5×4:32⟩ +9⟨2×5×8:63⟩.

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