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

Algorithm type

X4Y26Z4+8X4Y24Z4+9X2Y26Z2+X2Y25Z2+33X4Y20Z4+35X2Y24Z2+13XY26Z+2X2Y23Z2+8XY25Z+3X2Y20Z4+25XY24Z+4X2Y21Z2+X2Y20Z3+5XY23Z+16X4Y16Z4+66X2Y20Z2+4XY22Z+X2Y19Z2+9XY21Z+7XY20Z2+2X2Y18Z2+X2Y16Z4+40XY20Z+X2Y17Z2+XY19Z+16X4Y12Z4+60X2Y16Z2+7XY18Z+2X2Y15Z2+3XY17Z+4XY16Z2+X4Y10Z4+52XY16Z+2XY15Z2+17XY15Z+92X4Y8Z4+58X2Y12Z2+X2Y11Z3+3XY14Z+9X2Y11Z2+3X2Y10Z3+XY12Z2+33X2Y10Z2+39XY12Z+2XY11Z2+4X2Y9Z2+X2Y8Z3+12XY11Z+XY10Z2+2X4Y4Z4+131X2Y8Z2+X2Y7Z3+3X2Y6Z4+18XY10Z+4X2Y7Z2+2X2Y6Z3+2X2Y5Z4+9XY9Z+6XY8Z2+29X2Y6Z2+X2Y5Z3+X2Y4Z4+45XY8Z+2XY7Z2+64X2Y5Z2+3X2Y4Z3+3X2Y3Z4+7XY7Z+8XY6Z2+197X2Y4Z2+X2Y3Z3+4X2Y2Z4+93XY6Z+12XY5Z2+16X2Y3Z2+94XY5Z+8XY4Z2+183X2Y2Z2+240XY4Z+6XY3Z2+64XY3Z+8XY2Z2+85XY2Z+11XYZ2+309XYZX4Y26Z48X4Y24Z49X2Y26Z2X2Y25Z233X4Y20Z435X2Y24Z213XY26Z2X2Y23Z28XY25Z3X2Y20Z425XY24Z4X2Y21Z2X2Y20Z35XY23Z16X4Y16Z466X2Y20Z24XY22ZX2Y19Z29XY21Z7XY20Z22X2Y18Z2X2Y16Z440XY20ZX2Y17Z2XY19Z16X4Y12Z460X2Y16Z27XY18Z2X2Y15Z23XY17Z4XY16Z2X4Y10Z452XY16Z2XY15Z217XY15Z92X4Y8Z458X2Y12Z2X2Y11Z33XY14Z9X2Y11Z23X2Y10Z3XY12Z233X2Y10Z239XY12Z2XY11Z24X2Y9Z2X2Y8Z312XY11ZXY10Z22X4Y4Z4131X2Y8Z2X2Y7Z33X2Y6Z418XY10Z4X2Y7Z22X2Y6Z32X2Y5Z49XY9Z6XY8Z229X2Y6Z2X2Y5Z3X2Y4Z445XY8Z2XY7Z264X2Y5Z23X2Y4Z33X2Y3Z47XY7Z8XY6Z2197X2Y4Z2X2Y3Z34X2Y2Z493XY6Z12XY5Z216X2Y3Z294XY5Z8XY4Z2183X2Y2Z2240XY4Z6XY3Z264XY3Z8XY2Z285XY2Z11XYZ2309XYZX^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