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

Algorithm type

3⁢X4⁢Y10⁢Z4+3⁢X6⁢Y4⁢Z4+9⁢X4⁢Y8⁢Z2+3⁢X4⁢Y6⁢Z4+6⁢X2⁢Y10⁢Z2+18⁢X8⁢Y2⁢Z2+36⁢X6⁢Y2⁢Z4+3⁢X4⁢Y6⁢Z2+1326⁢X4⁢Y4⁢Z4+3⁢X2⁢Y8⁢Z2+18⁢X2⁢Y6⁢Z4+18⁢X2⁢Y8⁢Z+6⁢X6⁢Y2⁢Z2+18⁢X4⁢Y4⁢Z2+18⁢X4⁢Y2⁢Z4+15⁢X2⁢Y6⁢Z2+18⁢X2⁢Y4⁢Z4+6⁢X⁢Y8⁢Z+6⁢X3⁢Y4⁢Z2+6⁢X2⁢Y6⁢Z+6⁢X2⁢Y5⁢Z2+18⁢X⁢Y6⁢Z2+534⁢X4⁢Y2⁢Z2+36⁢X3⁢Y⁢Z4+1908⁢X2⁢Y4⁢Z2+1458⁢X2⁢Y2⁢Z4+18⁢X⁢Y6⁢Z+18⁢X⁢Y3⁢Z4+18⁢X4⁢Y2⁢Z+18⁢X4⁢Y⁢Z2+42⁢X3⁢Y2⁢Z2+54⁢X2⁢Y4⁢Z+6⁢X2⁢Y3⁢Z2+18⁢X2⁢Y⁢Z4+18⁢X⁢Y4⁢Z2+18⁢X⁢Y2⁢Z4+12⁢X3⁢Y2⁢Z+6⁢X2⁢Y3⁢Z+348⁢X2⁢Y2⁢Z2+624⁢X⁢Y4⁢Z+162⁢X⁢Y⁢Z4+12⁢X3⁢Y⁢Z+636⁢X2⁢Y2⁢Z+468⁢X2⁢Y⁢Z2+18⁢X⁢Y3⁢Z+648⁢X⁢Y2⁢Z2+132⁢X2⁢Y⁢Z+456⁢X⁢Y2⁢Z+216⁢X⁢Y⁢Z2+108⁢X⁢Y⁢Z3X4Y10Z43X6Y4Z49X4Y8Z23X4Y6Z46X2Y10Z218X8Y2Z236X6Y2Z43X4Y6Z21326X4Y4Z43X2Y8Z218X2Y6Z418X2Y8Z6X6Y2Z218X4Y4Z218X4Y2Z415X2Y6Z218X2Y4Z46XY8Z6X3Y4Z26X2Y6Z6X2Y5Z218XY6Z2534X4Y2Z236X3YZ41908X2Y4Z21458X2Y2Z418XY6Z18XY3Z418X4Y2Z18X4YZ242X3Y2Z254X2Y4Z6X2Y3Z218X2YZ418XY4Z218XY2Z412X3Y2Z6X2Y3Z348X2Y2Z2624XY4Z162XYZ412X3YZ636X2Y2Z468X2YZ218XY3Z648XY2Z2132X2YZ456XY2Z216XYZ2108XYZ3*X^4*Y^10*Z^4+3*X^6*Y^4*Z^4+9*X^4*Y^8*Z^2+3*X^4*Y^6*Z^4+6*X^2*Y^10*Z^2+18*X^8*Y^2*Z^2+36*X^6*Y^2*Z^4+3*X^4*Y^6*Z^2+1326*X^4*Y^4*Z^4+3*X^2*Y^8*Z^2+18*X^2*Y^6*Z^4+18*X^2*Y^8*Z+6*X^6*Y^2*Z^2+18*X^4*Y^4*Z^2+18*X^4*Y^2*Z^4+15*X^2*Y^6*Z^2+18*X^2*Y^4*Z^4+6*X*Y^8*Z+6*X^3*Y^4*Z^2+6*X^2*Y^6*Z+6*X^2*Y^5*Z^2+18*X*Y^6*Z^2+534*X^4*Y^2*Z^2+36*X^3*Y*Z^4+1908*X^2*Y^4*Z^2+1458*X^2*Y^2*Z^4+18*X*Y^6*Z+18*X*Y^3*Z^4+18*X^4*Y^2*Z+18*X^4*Y*Z^2+42*X^3*Y^2*Z^2+54*X^2*Y^4*Z+6*X^2*Y^3*Z^2+18*X^2*Y*Z^4+18*X*Y^4*Z^2+18*X*Y^2*Z^4+12*X^3*Y^2*Z+6*X^2*Y^3*Z+348*X^2*Y^2*Z^2+624*X*Y^4*Z+162*X*Y*Z^4+12*X^3*Y*Z+636*X^2*Y^2*Z+468*X^2*Y*Z^2+18*X*Y^3*Z+648*X*Y^2*Z^2+132*X^2*Y*Z+456*X*Y^2*Z+216*X*Y*Z^2+108*X*Y*Z

Algorithm definition

The algorithm ⟨20×30×30:9573⟩ is serendipitous tensor product (⟨5×10×5:178⟩ - 27) ⊗ ⟨4×3×6:54⟩ +⟨4×9×6:159⟩ +12⟨4×6×6:105⟩.

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