Description of fast matrix multiplication algorithm: ⟨12×12×20:1710⟩

Algorithm type

135⁢X4⁢Y4⁢Z4+6⁢X2⁢Y4⁢Z3+270⁢X4⁢Y2⁢Z2+64⁢X2⁢Y4⁢Z2+30⁢X2⁢Y3⁢Z3+76⁢X2⁢Y2⁢Z4+4⁢X3⁢Y2⁢Z2+14⁢X2⁢Y2⁢Z3+18⁢X⁢Y4⁢Z2+12⁢X⁢Y2⁢Z4+11⁢X3⁢Y2⁢Z+305⁢X2⁢Y2⁢Z2+4⁢X⁢Y4⁢Z+16⁢X⁢Y3⁢Z2+16⁢X⁢Y2⁢Z3+10⁢X⁢Y⁢Z4+120⁢X2⁢Y2⁢Z+120⁢X2⁢Y⁢Z2+24⁢X⁢Y3⁢Z+66⁢X⁢Y2⁢Z2+24⁢X⁢Y⁢Z3+151⁢X⁢Y2⁢Z+195⁢X⁢Y⁢Z2+19⁢X⁢Y⁢Z135X4Y4Z46X2Y4Z3270X4Y2Z264X2Y4Z230X2Y3Z376X2Y2Z44X3Y2Z214X2Y2Z318XY4Z212XY2Z411X3Y2Z305X2Y2Z24XY4Z16XY3Z216XY2Z310XYZ4120X2Y2Z120X2YZ224XY3Z66XY2Z224XYZ3151XY2Z195XYZ219XYZ135*X^4*Y^4*Z^4+6*X^2*Y^4*Z^3+270*X^4*Y^2*Z^2+64*X^2*Y^4*Z^2+30*X^2*Y^3*Z^3+76*X^2*Y^2*Z^4+4*X^3*Y^2*Z^2+14*X^2*Y^2*Z^3+18*X*Y^4*Z^2+12*X*Y^2*Z^4+11*X^3*Y^2*Z+305*X^2*Y^2*Z^2+4*X*Y^4*Z+16*X*Y^3*Z^2+16*X*Y^2*Z^3+10*X*Y*Z^4+120*X^2*Y^2*Z+120*X^2*Y*Z^2+24*X*Y^3*Z+66*X*Y^2*Z^2+24*X*Y*Z^3+151*X*Y^2*Z+195*X*Y*Z^2+19*X*Y*Z

Algorithm definition

The algorithm ⟨12×12×20:1710⟩ is serendipitous tensor product (⟨4×4×10:115⟩ - 30) ⊗ ⟨3×3×2:15⟩ +15⟨3×3×4:29⟩.

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