Description of fast matrix multiplication algorithm: ⟨4×20×32:1623⟩

Algorithm type

8⁢X4⁢Y16⁢Z4+X2⁢Y18⁢Z2+X4⁢Y13⁢Z4+32⁢X2⁢Y16⁢Z2+6⁢X⁢Y18⁢Z+X⁢Y17⁢Z+X4⁢Y10⁢Z4+X2⁢Y14⁢Z2+X2⁢Y13⁢Z3+2⁢X2⁢Y12⁢Z4+24⁢X⁢Y16⁢Z+3⁢X4⁢Y9⁢Z4+9⁢X2⁢Y13⁢Z2+80⁢X4⁢Y8⁢Z4+34⁢X2⁢Y12⁢Z2+2⁢X2⁢Y11⁢Z3+X⁢Y14⁢Z+5⁢X⁢Y13⁢Z2+2⁢X2⁢Y11⁢Z2+X2⁢Y10⁢Z3+4⁢X⁢Y13⁢Z+2⁢X⁢Y12⁢Z2+X4⁢Y6⁢Z4+X2⁢Y10⁢Z2+37⁢X⁢Y12⁢Z+3⁢X⁢Y11⁢Z2+5⁢X4⁢Y5⁢Z4+4⁢X2⁢Y9⁢Z2+4⁢X⁢Y11⁢Z+3⁢X⁢Y10⁢Z2+6⁢X4⁢Y4⁢Z4+86⁢X2⁢Y8⁢Z2+3⁢X2⁢Y7⁢Z3+8⁢X⁢Y10⁢Z+2⁢X⁢Y9⁢Z2+16⁢X2⁢Y7⁢Z2+3⁢X2⁢Y6⁢Z3+4⁢X⁢Y9⁢Z+4⁢X⁢Y8⁢Z2+12⁢X2⁢Y6⁢Z2+15⁢X⁢Y8⁢Z+6⁢X⁢Y7⁢Z2+15⁢X2⁢Y5⁢Z2+9⁢X2⁢Y4⁢Z3+10⁢X⁢Y7⁢Z+X⁢Y6⁢Z2+161⁢X2⁢Y4⁢Z2+7⁢X⁢Y6⁢Z+3⁢X⁢Y5⁢Z2+20⁢X2⁢Y3⁢Z2+X2⁢Y2⁢Z3+23⁢X⁢Y5⁢Z+9⁢X⁢Y4⁢Z2+206⁢X2⁢Y2⁢Z2+226⁢X⁢Y4⁢Z+18⁢X⁢Y3⁢Z2+112⁢X⁢Y3⁢Z+34⁢X⁢Y2⁢Z+5⁢X⁢Y⁢Z2+319⁢X⁢Y⁢Z8X4Y16Z4X2Y18Z2X4Y13Z432X2Y16Z26XY18ZXY17ZX4Y10Z4X2Y14Z2X2Y13Z32X2Y12Z424XY16Z3X4Y9Z49X2Y13Z280X4Y8Z434X2Y12Z22X2Y11Z3XY14Z5XY13Z22X2Y11Z2X2Y10Z34XY13Z2XY12Z2X4Y6Z4X2Y10Z237XY12Z3XY11Z25X4Y5Z44X2Y9Z24XY11Z3XY10Z26X4Y4Z486X2Y8Z23X2Y7Z38XY10Z2XY9Z216X2Y7Z23X2Y6Z34XY9Z4XY8Z212X2Y6Z215XY8Z6XY7Z215X2Y5Z29X2Y4Z310XY7ZXY6Z2161X2Y4Z27XY6Z3XY5Z220X2Y3Z2X2Y2Z323XY5Z9XY4Z2206X2Y2Z2226XY4Z18XY3Z2112XY3Z34XY2Z5XYZ2319XYZ8*X^4*Y^16*Z^4+X^2*Y^18*Z^2+X^4*Y^13*Z^4+32*X^2*Y^16*Z^2+6*X*Y^18*Z+X*Y^17*Z+X^4*Y^10*Z^4+X^2*Y^14*Z^2+X^2*Y^13*Z^3+2*X^2*Y^12*Z^4+24*X*Y^16*Z+3*X^4*Y^9*Z^4+9*X^2*Y^13*Z^2+80*X^4*Y^8*Z^4+34*X^2*Y^12*Z^2+2*X^2*Y^11*Z^3+X*Y^14*Z+5*X*Y^13*Z^2+2*X^2*Y^11*Z^2+X^2*Y^10*Z^3+4*X*Y^13*Z+2*X*Y^12*Z^2+X^4*Y^6*Z^4+X^2*Y^10*Z^2+37*X*Y^12*Z+3*X*Y^11*Z^2+5*X^4*Y^5*Z^4+4*X^2*Y^9*Z^2+4*X*Y^11*Z+3*X*Y^10*Z^2+6*X^4*Y^4*Z^4+86*X^2*Y^8*Z^2+3*X^2*Y^7*Z^3+8*X*Y^10*Z+2*X*Y^9*Z^2+16*X^2*Y^7*Z^2+3*X^2*Y^6*Z^3+4*X*Y^9*Z+4*X*Y^8*Z^2+12*X^2*Y^6*Z^2+15*X*Y^8*Z+6*X*Y^7*Z^2+15*X^2*Y^5*Z^2+9*X^2*Y^4*Z^3+10*X*Y^7*Z+X*Y^6*Z^2+161*X^2*Y^4*Z^2+7*X*Y^6*Z+3*X*Y^5*Z^2+20*X^2*Y^3*Z^2+X^2*Y^2*Z^3+23*X*Y^5*Z+9*X*Y^4*Z^2+206*X^2*Y^2*Z^2+226*X*Y^4*Z+18*X*Y^3*Z^2+112*X*Y^3*Z+34*X*Y^2*Z+5*X*Y*Z^2+319*X*Y*Z

Algorithm definition

The algorithm ⟨4×20×32:1623⟩ is serendipitous tensor product (⟨2×4×8:51⟩ - 17) ⊗ ⟨2×5×4:32⟩ +⟨2×5×12:94⟩ +7⟨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