Description of fast matrix multiplication algorithm: ⟨15×20×22:3858⟩

Algorithm type

4⁢X4⁢Y4⁢Z6+4⁢X2⁢Y10⁢Z2+X2⁢Y6⁢Z6+X2⁢Y5⁢Z6+X2⁢Y4⁢Z7+2⁢X⁢Y6⁢Z6+316⁢X4⁢Y4⁢Z4+8⁢X2⁢Y8⁢Z2+X2⁢Y5⁢Z5+2⁢X2⁢Y3⁢Z7+4⁢X6⁢Y2⁢Z3+X2⁢Y5⁢Z4+2⁢X2⁢Y4⁢Z5+9⁢X2⁢Y3⁢Z6+X2⁢Y2⁢Z7+3⁢X⁢Y6⁢Z4+2⁢X⁢Y4⁢Z6+316⁢X6⁢Y2⁢Z2+4⁢X4⁢Y2⁢Z4+5⁢X2⁢Y6⁢Z2+4⁢X2⁢Y4⁢Z4+3⁢X2⁢Y3⁢Z5+5⁢X2⁢Y2⁢Z6+X⁢Y5⁢Z4+X⁢Y4⁢Z5+2⁢X⁢Y3⁢Z6+5⁢X⁢Y2⁢Z7+4⁢X6⁢Y⁢Z2+4⁢X3⁢Y5⁢Z+X2⁢Y6⁢Z+2⁢X2⁢Y4⁢Z3+6⁢X2⁢Y3⁢Z4+7⁢X⁢Y2⁢Z6+3⁢X⁢Y⁢Z7+12⁢X6⁢Y⁢Z+13⁢X4⁢Y2⁢Z2+8⁢X3⁢Y4⁢Z+2⁢X3⁢Y3⁢Z2+136⁢X2⁢Y4⁢Z2+25⁢X2⁢Y3⁢Z3+125⁢X2⁢Y2⁢Z4+2⁢X⁢Y6⁢Z+3⁢X⁢Y4⁢Z3+X⁢Y3⁢Z4+9⁢X⁢Y2⁢Z5+3⁢X⁢Y⁢Z6+4⁢X3⁢Y3⁢Z+14⁢X3⁢Y2⁢Z2+4⁢X3⁢Y⁢Z3+4⁢X2⁢Y4⁢Z+8⁢X2⁢Y3⁢Z2+16⁢X2⁢Y2⁢Z3+12⁢X⁢Y5⁢Z+4⁢X⁢Y4⁢Z2+3⁢X⁢Y3⁢Z3+8⁢X⁢Y2⁢Z4+X⁢Y⁢Z5+4⁢X4⁢Y⁢Z+126⁢X3⁢Y2⁢Z+136⁢X3⁢Y⁢Z2+3⁢X2⁢Y3⁢Z+1082⁢X2⁢Y2⁢Z2+42⁢X⁢Y4⁢Z+30⁢X⁢Y3⁢Z2+10⁢X⁢Y2⁢Z3+16⁢X⁢Y⁢Z4+52⁢X3⁢Y⁢Z+16⁢X2⁢Y2⁢Z+26⁢X2⁢Y⁢Z2+43⁢X⁢Y3⁢Z+64⁢X⁢Y2⁢Z2+45⁢X⁢Y⁢Z3+40⁢X2⁢Y⁢Z+486⁢X⁢Y2⁢Z+370⁢X⁢Y⁢Z2+115⁢X⁢Y⁢Z4X4Y4Z64X2Y10Z2X2Y6Z6X2Y5Z6X2Y4Z72XY6Z6316X4Y4Z48X2Y8Z2X2Y5Z52X2Y3Z74X6Y2Z3X2Y5Z42X2Y4Z59X2Y3Z6X2Y2Z73XY6Z42XY4Z6316X6Y2Z24X4Y2Z45X2Y6Z24X2Y4Z43X2Y3Z55X2Y2Z6XY5Z4XY4Z52XY3Z65XY2Z74X6YZ24X3Y5ZX2Y6Z2X2Y4Z36X2Y3Z47XY2Z63XYZ712X6YZ13X4Y2Z28X3Y4Z2X3Y3Z2136X2Y4Z225X2Y3Z3125X2Y2Z42XY6Z3XY4Z3XY3Z49XY2Z53XYZ64X3Y3Z14X3Y2Z24X3YZ34X2Y4Z8X2Y3Z216X2Y2Z312XY5Z4XY4Z23XY3Z38XY2Z4XYZ54X4YZ126X3Y2Z136X3YZ23X2Y3Z1082X2Y2Z242XY4Z30XY3Z210XY2Z316XYZ452X3YZ16X2Y2Z26X2YZ243XY3Z64XY2Z245XYZ340X2YZ486XY2Z370XYZ2115XYZ4*X^4*Y^4*Z^6+4*X^2*Y^10*Z^2+X^2*Y^6*Z^6+X^2*Y^5*Z^6+X^2*Y^4*Z^7+2*X*Y^6*Z^6+316*X^4*Y^4*Z^4+8*X^2*Y^8*Z^2+X^2*Y^5*Z^5+2*X^2*Y^3*Z^7+4*X^6*Y^2*Z^3+X^2*Y^5*Z^4+2*X^2*Y^4*Z^5+9*X^2*Y^3*Z^6+X^2*Y^2*Z^7+3*X*Y^6*Z^4+2*X*Y^4*Z^6+316*X^6*Y^2*Z^2+4*X^4*Y^2*Z^4+5*X^2*Y^6*Z^2+4*X^2*Y^4*Z^4+3*X^2*Y^3*Z^5+5*X^2*Y^2*Z^6+X*Y^5*Z^4+X*Y^4*Z^5+2*X*Y^3*Z^6+5*X*Y^2*Z^7+4*X^6*Y*Z^2+4*X^3*Y^5*Z+X^2*Y^6*Z+2*X^2*Y^4*Z^3+6*X^2*Y^3*Z^4+7*X*Y^2*Z^6+3*X*Y*Z^7+12*X^6*Y*Z+13*X^4*Y^2*Z^2+8*X^3*Y^4*Z+2*X^3*Y^3*Z^2+136*X^2*Y^4*Z^2+25*X^2*Y^3*Z^3+125*X^2*Y^2*Z^4+2*X*Y^6*Z+3*X*Y^4*Z^3+X*Y^3*Z^4+9*X*Y^2*Z^5+3*X*Y*Z^6+4*X^3*Y^3*Z+14*X^3*Y^2*Z^2+4*X^3*Y*Z^3+4*X^2*Y^4*Z+8*X^2*Y^3*Z^2+16*X^2*Y^2*Z^3+12*X*Y^5*Z+4*X*Y^4*Z^2+3*X*Y^3*Z^3+8*X*Y^2*Z^4+X*Y*Z^5+4*X^4*Y*Z+126*X^3*Y^2*Z+136*X^3*Y*Z^2+3*X^2*Y^3*Z+1082*X^2*Y^2*Z^2+42*X*Y^4*Z+30*X*Y^3*Z^2+10*X*Y^2*Z^3+16*X*Y*Z^4+52*X^3*Y*Z+16*X^2*Y^2*Z+26*X^2*Y*Z^2+43*X*Y^3*Z+64*X*Y^2*Z^2+45*X*Y*Z^3+40*X^2*Y*Z+486*X*Y^2*Z+370*X*Y*Z^2+115*X*Y*Z

Algorithm definition

The algorithm ⟨15×20×22:3858⟩ is serendipitous tensor product (⟨5×5×11:195⟩ - 37) ⊗ ⟨3×4×2:20⟩ +⟨3×4×8:73⟩ +⟨3×4×6:54⟩ +14⟨3×4×4:38⟩ +⟨6×4×2:39⟩.

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