Description of fast matrix multiplication algorithm: ⟨6×25×32:2870⟩

Algorithm type

24⁢X4⁢Y12⁢Z4+X2⁢Y10⁢Z5+216⁢X4⁢Y8⁢Z4+64⁢X2⁢Y12⁢Z2+10⁢X2⁢Y8⁢Z6+X2⁢Y8⁢Z5+4⁢X6⁢Y2⁢Z6+48⁢X2⁢Y8⁢Z4+40⁢X⁢Y12⁢Z+6⁢X⁢Y10⁢Z3+X6⁢Y⁢Z6+X2⁢Y8⁢Z3+X⁢Y10⁢Z2+2⁢X6⁢Y2⁢Z4+X5⁢Y⁢Z6+6⁢X4⁢Y2⁢Z6+336⁢X2⁢Y8⁢Z2+X2⁢Y6⁢Z4+64⁢X2⁢Y4⁢Z6+11⁢X⁢Y8⁢Z3+4⁢X6⁢Y2⁢Z3+X4⁢Y⁢Z6+4⁢X3⁢Y2⁢Z6+3⁢X2⁢Y4⁢Z5+50⁢X⁢Y8⁢Z2+2⁢X6⁢Y2⁢Z2+2⁢X6⁢Y⁢Z3+X5⁢Y⁢Z4+2⁢X4⁢Y2⁢Z4+9⁢X3⁢Y⁢Z6+109⁢X2⁢Y4⁢Z4+4⁢X2⁢Y2⁢Z6+121⁢X⁢Y8⁢Z+5⁢X⁢Y6⁢Z3+2⁢X6⁢Y2⁢Z+X6⁢Y⁢Z2+7⁢X4⁢Y2⁢Z3+X4⁢Y⁢Z4+X3⁢Y3⁢Z3+4⁢X3⁢Y2⁢Z4+2⁢X2⁢Y4⁢Z3+11⁢X2⁢Y⁢Z6+X⁢Y6⁢Z2+2⁢X⁢Y2⁢Z6+2⁢X4⁢Y2⁢Z2+2⁢X4⁢Y⁢Z3+10⁢X3⁢Y2⁢Z3+2⁢X3⁢Y⁢Z4+33⁢X2⁢Y4⁢Z2+3⁢X2⁢Y2⁢Z4+2⁢X⁢Y6⁢Z+70⁢X⁢Y4⁢Z3+7⁢X⁢Y⁢Z6+3⁢X4⁢Y2⁢Z+2⁢X4⁢Y⁢Z2+X3⁢Y3⁢Z+2⁢X3⁢Y2⁢Z2+4⁢X3⁢Y⁢Z3+48⁢X2⁢Y3⁢Z2+4⁢X2⁢Y2⁢Z3+7⁢X2⁢Y⁢Z4+104⁢X⁢Y4⁢Z2+2⁢X⁢Y3⁢Z3+X⁢Y2⁢Z4+2⁢X3⁢Y⁢Z2+X2⁢Y3⁢Z+437⁢X2⁢Y2⁢Z2+7⁢X2⁢Y⁢Z3+34⁢X⁢Y4⁢Z+X⁢Y3⁢Z2+28⁢X⁢Y2⁢Z3+7⁢X⁢Y⁢Z4+4⁢X3⁢Y⁢Z+3⁢X2⁢Y2⁢Z+3⁢X2⁢Y⁢Z2+80⁢X⁢Y3⁢Z+102⁢X⁢Y2⁢Z2+141⁢X⁢Y⁢Z3+4⁢X2⁢Y⁢Z+241⁢X⁢Y2⁢Z+214⁢X⁢Y⁢Z2+65⁢X⁢Y⁢Z24X4Y12Z4X2Y10Z5216X4Y8Z464X2Y12Z210X2Y8Z6X2Y8Z54X6Y2Z648X2Y8Z440XY12Z6XY10Z3X6YZ6X2Y8Z3XY10Z22X6Y2Z4X5YZ66X4Y2Z6336X2Y8Z2X2Y6Z464X2Y4Z611XY8Z34X6Y2Z3X4YZ64X3Y2Z63X2Y4Z550XY8Z22X6Y2Z22X6YZ3X5YZ42X4Y2Z49X3YZ6109X2Y4Z44X2Y2Z6121XY8Z5XY6Z32X6Y2ZX6YZ27X4Y2Z3X4YZ4X3Y3Z34X3Y2Z42X2Y4Z311X2YZ6XY6Z22XY2Z62X4Y2Z22X4YZ310X3Y2Z32X3YZ433X2Y4Z23X2Y2Z42XY6Z70XY4Z37XYZ63X4Y2Z2X4YZ2X3Y3Z2X3Y2Z24X3YZ348X2Y3Z24X2Y2Z37X2YZ4104XY4Z22XY3Z3XY2Z42X3YZ2X2Y3Z437X2Y2Z27X2YZ334XY4ZXY3Z228XY2Z37XYZ44X3YZ3X2Y2Z3X2YZ280XY3Z102XY2Z2141XYZ34X2YZ241XY2Z214XYZ265XYZ24*X^4*Y^12*Z^4+X^2*Y^10*Z^5+216*X^4*Y^8*Z^4+64*X^2*Y^12*Z^2+10*X^2*Y^8*Z^6+X^2*Y^8*Z^5+4*X^6*Y^2*Z^6+48*X^2*Y^8*Z^4+40*X*Y^12*Z+6*X*Y^10*Z^3+X^6*Y*Z^6+X^2*Y^8*Z^3+X*Y^10*Z^2+2*X^6*Y^2*Z^4+X^5*Y*Z^6+6*X^4*Y^2*Z^6+336*X^2*Y^8*Z^2+X^2*Y^6*Z^4+64*X^2*Y^4*Z^6+11*X*Y^8*Z^3+4*X^6*Y^2*Z^3+X^4*Y*Z^6+4*X^3*Y^2*Z^6+3*X^2*Y^4*Z^5+50*X*Y^8*Z^2+2*X^6*Y^2*Z^2+2*X^6*Y*Z^3+X^5*Y*Z^4+2*X^4*Y^2*Z^4+9*X^3*Y*Z^6+109*X^2*Y^4*Z^4+4*X^2*Y^2*Z^6+121*X*Y^8*Z+5*X*Y^6*Z^3+2*X^6*Y^2*Z+X^6*Y*Z^2+7*X^4*Y^2*Z^3+X^4*Y*Z^4+X^3*Y^3*Z^3+4*X^3*Y^2*Z^4+2*X^2*Y^4*Z^3+11*X^2*Y*Z^6+X*Y^6*Z^2+2*X*Y^2*Z^6+2*X^4*Y^2*Z^2+2*X^4*Y*Z^3+10*X^3*Y^2*Z^3+2*X^3*Y*Z^4+33*X^2*Y^4*Z^2+3*X^2*Y^2*Z^4+2*X*Y^6*Z+70*X*Y^4*Z^3+7*X*Y*Z^6+3*X^4*Y^2*Z+2*X^4*Y*Z^2+X^3*Y^3*Z+2*X^3*Y^2*Z^2+4*X^3*Y*Z^3+48*X^2*Y^3*Z^2+4*X^2*Y^2*Z^3+7*X^2*Y*Z^4+104*X*Y^4*Z^2+2*X*Y^3*Z^3+X*Y^2*Z^4+2*X^3*Y*Z^2+X^2*Y^3*Z+437*X^2*Y^2*Z^2+7*X^2*Y*Z^3+34*X*Y^4*Z+X*Y^3*Z^2+28*X*Y^2*Z^3+7*X*Y*Z^4+4*X^3*Y*Z+3*X^2*Y^2*Z+3*X^2*Y*Z^2+80*X*Y^3*Z+102*X*Y^2*Z^2+141*X*Y*Z^3+4*X^2*Y*Z+241*X*Y^2*Z+214*X*Y*Z^2+65*X*Y*Z

Algorithm definition

The algorithm ⟨6×25×32:2870⟩ is serendipitous tensor product (⟨3×5×8:90⟩ - 8) ⊗ ⟨2×5×4:32⟩ +⟨2×5×8:63⟩ +3⟨4×5×4:61⟩.

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