Description of fast matrix multiplication algorithm: ⟨20×24×27:7056⟩

Algorithm type

8⁢X8⁢Y16⁢Z8+8⁢X6⁢Y16⁢Z4+8⁢X4⁢Y16⁢Z4+8⁢X9⁢Y8⁢Z6+8⁢X10⁢Y8⁢Z4+8⁢X6⁢Y8⁢Z8+8⁢X6⁢Y12⁢Z3+8⁢X3⁢Y16⁢Z2+8⁢X3⁢Y12⁢Z6+8⁢X8⁢Y8⁢Z4+8⁢X6⁢Y12⁢Z2+64⁢X6⁢Y8⁢Z6+8⁢X4⁢Y8⁢Z8+8⁢X3⁢Y8⁢Z9+8⁢X12⁢Y4⁢Z3+24⁢X6⁢Y8⁢Z4+16⁢X3⁢Y12⁢Z3+12⁢X9⁢Y4⁢Z3+12⁢X6⁢Y4⁢Z6+16⁢X4⁢Y8⁢Z4+8⁢X3⁢Y12⁢Z+24⁢X3⁢Y4⁢Z9+8⁢X2⁢Y12⁢Z2+8⁢X5⁢Y8⁢Z2+8⁢X3⁢Y8⁢Z4+8⁢X2⁢Y12⁢Z+8⁢X⁢Y12⁢Z2+70⁢X6⁢Y4⁢Z4+8⁢X4⁢Y8⁢Z2+8⁢X2⁢Y8⁢Z4+24⁢X⁢Y12⁢Z+20⁢X6⁢Y4⁢Z3+32⁢X3⁢Y8⁢Z2+20⁢X3⁢Y4⁢Z6+64⁢X8⁢Y2⁢Z2+64⁢X6⁢Y4⁢Z2+76⁢X4⁢Y6⁢Z2+552⁢X4⁢Y4⁢Z4+4⁢X2⁢Y9⁢Z+80⁢X2⁢Y8⁢Z2+64⁢X2⁢Y6⁢Z4+64⁢X2⁢Y4⁢Z6+8⁢X⁢Y8⁢Z3+2⁢X3⁢Y6⁢Z2+126⁢X6⁢Y2⁢Z2+32⁢X4⁢Y4⁢Z2+124⁢X4⁢Y2⁢Z4+132⁢X2⁢Y6⁢Z2+32⁢X2⁢Y4⁢Z4+192⁢X2⁢Y2⁢Z6+12⁢X5⁢Y2⁢Z2+8⁢X4⁢Y4⁢Z+20⁢X3⁢Y4⁢Z2+12⁢X3⁢Y2⁢Z4+16⁢X2⁢Y6⁢Z+4⁢X5⁢Y⁢Z2+184⁢X4⁢Y2⁢Z2+76⁢X3⁢Y4⁢Z+4⁢X3⁢Y3⁢Z2+4⁢X3⁢Y⁢Z4+52⁢X2⁢Y4⁢Z2+184⁢X2⁢Y2⁢Z4+24⁢X⁢Y4⁢Z3+4⁢X4⁢Y⁢Z2+26⁢X3⁢Y3⁢Z+178⁢X3⁢Y2⁢Z2+52⁢X2⁢Y4⁢Z+8⁢X2⁢Y3⁢Z2+4⁢X2⁢Y⁢Z4+52⁢X⁢Y4⁢Z2+128⁢X4⁢Y⁢Z+40⁢X3⁢Y2⁢Z+8⁢X3⁢Y⁢Z2+152⁢X2⁢Y3⁢Z+1144⁢X2⁢Y2⁢Z2+8⁢X⁢Y4⁢Z+132⁢X⁢Y3⁢Z2+128⁢X⁢Y2⁢Z3+370⁢X3⁢Y⁢Z+16⁢X2⁢Y2⁢Z+264⁢X2⁢Y⁢Z2+284⁢X⁢Y3⁢Z+16⁢X⁢Y2⁢Z2+384⁢X⁢Y⁢Z3+404⁢X2⁢Y⁢Z+48⁢X⁢Y2⁢Z+404⁢X⁢Y⁢Z2+76⁢X⁢Y⁢Z8X8Y16Z88X6Y16Z48X4Y16Z48X9Y8Z68X10Y8Z48X6Y8Z88X6Y12Z38X3Y16Z28X3Y12Z68X8Y8Z48X6Y12Z264X6Y8Z68X4Y8Z88X3Y8Z98X12Y4Z324X6Y8Z416X3Y12Z312X9Y4Z312X6Y4Z616X4Y8Z48X3Y12Z24X3Y4Z98X2Y12Z28X5Y8Z28X3Y8Z48X2Y12Z8XY12Z270X6Y4Z48X4Y8Z28X2Y8Z424XY12Z20X6Y4Z332X3Y8Z220X3Y4Z664X8Y2Z264X6Y4Z276X4Y6Z2552X4Y4Z44X2Y9Z80X2Y8Z264X2Y6Z464X2Y4Z68XY8Z32X3Y6Z2126X6Y2Z232X4Y4Z2124X4Y2Z4132X2Y6Z232X2Y4Z4192X2Y2Z612X5Y2Z28X4Y4Z20X3Y4Z212X3Y2Z416X2Y6Z4X5YZ2184X4Y2Z276X3Y4Z4X3Y3Z24X3YZ452X2Y4Z2184X2Y2Z424XY4Z34X4YZ226X3Y3Z178X3Y2Z252X2Y4Z8X2Y3Z24X2YZ452XY4Z2128X4YZ40X3Y2Z8X3YZ2152X2Y3Z1144X2Y2Z28XY4Z132XY3Z2128XY2Z3370X3YZ16X2Y2Z264X2YZ2284XY3Z16XY2Z2384XYZ3404X2YZ48XY2Z404XYZ276XYZ8*X^8*Y^16*Z^8+8*X^6*Y^16*Z^4+8*X^4*Y^16*Z^4+8*X^9*Y^8*Z^6+8*X^10*Y^8*Z^4+8*X^6*Y^8*Z^8+8*X^6*Y^12*Z^3+8*X^3*Y^16*Z^2+8*X^3*Y^12*Z^6+8*X^8*Y^8*Z^4+8*X^6*Y^12*Z^2+64*X^6*Y^8*Z^6+8*X^4*Y^8*Z^8+8*X^3*Y^8*Z^9+8*X^12*Y^4*Z^3+24*X^6*Y^8*Z^4+16*X^3*Y^12*Z^3+12*X^9*Y^4*Z^3+12*X^6*Y^4*Z^6+16*X^4*Y^8*Z^4+8*X^3*Y^12*Z+24*X^3*Y^4*Z^9+8*X^2*Y^12*Z^2+8*X^5*Y^8*Z^2+8*X^3*Y^8*Z^4+8*X^2*Y^12*Z+8*X*Y^12*Z^2+70*X^6*Y^4*Z^4+8*X^4*Y^8*Z^2+8*X^2*Y^8*Z^4+24*X*Y^12*Z+20*X^6*Y^4*Z^3+32*X^3*Y^8*Z^2+20*X^3*Y^4*Z^6+64*X^8*Y^2*Z^2+64*X^6*Y^4*Z^2+76*X^4*Y^6*Z^2+552*X^4*Y^4*Z^4+4*X^2*Y^9*Z+80*X^2*Y^8*Z^2+64*X^2*Y^6*Z^4+64*X^2*Y^4*Z^6+8*X*Y^8*Z^3+2*X^3*Y^6*Z^2+126*X^6*Y^2*Z^2+32*X^4*Y^4*Z^2+124*X^4*Y^2*Z^4+132*X^2*Y^6*Z^2+32*X^2*Y^4*Z^4+192*X^2*Y^2*Z^6+12*X^5*Y^2*Z^2+8*X^4*Y^4*Z+20*X^3*Y^4*Z^2+12*X^3*Y^2*Z^4+16*X^2*Y^6*Z+4*X^5*Y*Z^2+184*X^4*Y^2*Z^2+76*X^3*Y^4*Z+4*X^3*Y^3*Z^2+4*X^3*Y*Z^4+52*X^2*Y^4*Z^2+184*X^2*Y^2*Z^4+24*X*Y^4*Z^3+4*X^4*Y*Z^2+26*X^3*Y^3*Z+178*X^3*Y^2*Z^2+52*X^2*Y^4*Z+8*X^2*Y^3*Z^2+4*X^2*Y*Z^4+52*X*Y^4*Z^2+128*X^4*Y*Z+40*X^3*Y^2*Z+8*X^3*Y*Z^2+152*X^2*Y^3*Z+1144*X^2*Y^2*Z^2+8*X*Y^4*Z+132*X*Y^3*Z^2+128*X*Y^2*Z^3+370*X^3*Y*Z+16*X^2*Y^2*Z+264*X^2*Y*Z^2+284*X*Y^3*Z+16*X*Y^2*Z^2+384*X*Y*Z^3+404*X^2*Y*Z+48*X*Y^2*Z+404*X*Y*Z^2+76*X*Y*Z

Algorithm definition

The algorithm ⟨20×24×27:7056⟩ is serendipitous tensor product (⟨5×6×3:68⟩ - 16) ⊗ ⟨4×4×9:104⟩ +8⟨4×8×9:206⟩.

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