Description of fast matrix multiplication algorithm: ⟨4×7×7:144⟩

Algorithm type

X2⁢Y5⁢Z+2⁢X2⁢Y4⁢Z+8⁢X2⁢Y3⁢Z2+X2⁢Y3⁢Z+44⁢X2⁢Y2⁢Z2+X⁢Y4⁢Z+X⁢Y3⁢Z2+X2⁢Y2⁢Z+X2⁢Y⁢Z2+6⁢X⁢Y3⁢Z+X⁢Y2⁢Z2+X⁢Y⁢Z3+12⁢X2⁢Y⁢Z+21⁢X⁢Y2⁢Z+13⁢X⁢Y⁢Z2+30⁢X⁢Y⁢ZX2Y5Z2X2Y4Z8X2Y3Z2X2Y3Z44X2Y2Z2XY4ZXY3Z2X2Y2ZX2YZ26XY3ZXY2Z2XYZ312X2YZ21XY2Z13XYZ230XYZX^2*Y^5*Z+2*X^2*Y^4*Z+8*X^2*Y^3*Z^2+X^2*Y^3*Z+44*X^2*Y^2*Z^2+X*Y^4*Z+X*Y^3*Z^2+X^2*Y^2*Z+X^2*Y*Z^2+6*X*Y^3*Z+X*Y^2*Z^2+X*Y*Z^3+12*X^2*Y*Z+21*X*Y^2*Z+13*X*Y*Z^2+30*X*Y*Z

Algorithm definition

The algorithm ⟨4×7×7:144⟩ is taken from:

Manuel Kauers and Issaac Wood. Consequences of the Moosbauer-Poole algorithms. Technical Report 2505.05896, arXiv, May 2025. [ arXiv ]

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