Description of fast matrix multiplication algorithm: ⟨16×16×27:3946⟩

Algorithm type

40⁢X6⁢Y8⁢Z6+24⁢X6⁢Y4⁢Z8+12⁢X3⁢Y12⁢Z3+8⁢X6⁢Y8⁢Z3+8⁢X9⁢Y4⁢Z3+8⁢X6⁢Y4⁢Z6+12⁢X3⁢Y4⁢Z9+16⁢X4⁢Y2⁢Z8+4⁢X3⁢Y8⁢Z3+12⁢X⁢Y12⁢Z+24⁢X6⁢Y4⁢Z3+4⁢X3⁢Y4⁢Z6+24⁢X3⁢Y2⁢Z8+8⁢X6⁢Y2⁢Z4+320⁢X4⁢Y4⁢Z4+40⁢X2⁢Y8⁢Z2+8⁢X2⁢Y8⁢Z+16⁢X2⁢Y⁢Z8+70⁢X6⁢Y2⁢Z2+64⁢X4⁢Y4⁢Z2+100⁢X4⁢Y2⁢Z4+8⁢X3⁢Y4⁢Z3+96⁢X2⁢Y6⁢Z2+96⁢X2⁢Y2⁢Z6+4⁢X⁢Y8⁢Z+4⁢X2⁢Y⁢Z6+222⁢X4⁢Y2⁢Z2+8⁢X3⁢Y4⁢Z+8⁢X3⁢Y⁢Z4+40⁢X2⁢Y4⁢Z2+56⁢X2⁢Y2⁢Z4+12⁢X⁢Y4⁢Z3+36⁢X3⁢Y2⁢Z2+2⁢X3⁢Y⁢Z3+24⁢X2⁢Y4⁢Z+40⁢X2⁢Y⁢Z4+4⁢X⁢Y4⁢Z2+12⁢X3⁢Y2⁢Z+8⁢X3⁢Y⁢Z2+710⁢X2⁢Y2⁢Z2+10⁢X2⁢Y⁢Z3+8⁢X⁢Y4⁢Z+24⁢X⁢Y⁢Z4+154⁢X3⁢Y⁢Z+128⁢X2⁢Y2⁢Z+220⁢X2⁢Y⁢Z2+192⁢X⁢Y3⁢Z+194⁢X⁢Y⁢Z3+482⁢X2⁢Y⁢Z+64⁢X⁢Y2⁢Z+72⁢X⁢Y⁢Z2+186⁢X⁢Y⁢Z40X6Y8Z624X6Y4Z812X3Y12Z38X6Y8Z38X9Y4Z38X6Y4Z612X3Y4Z916X4Y2Z84X3Y8Z312XY12Z24X6Y4Z34X3Y4Z624X3Y2Z88X6Y2Z4320X4Y4Z440X2Y8Z28X2Y8Z16X2YZ870X6Y2Z264X4Y4Z2100X4Y2Z48X3Y4Z396X2Y6Z296X2Y2Z64XY8Z4X2YZ6222X4Y2Z28X3Y4Z8X3YZ440X2Y4Z256X2Y2Z412XY4Z336X3Y2Z22X3YZ324X2Y4Z40X2YZ44XY4Z212X3Y2Z8X3YZ2710X2Y2Z210X2YZ38XY4Z24XYZ4154X3YZ128X2Y2Z220X2YZ2192XY3Z194XYZ3482X2YZ64XY2Z72XYZ2186XYZ40*X^6*Y^8*Z^6+24*X^6*Y^4*Z^8+12*X^3*Y^12*Z^3+8*X^6*Y^8*Z^3+8*X^9*Y^4*Z^3+8*X^6*Y^4*Z^6+12*X^3*Y^4*Z^9+16*X^4*Y^2*Z^8+4*X^3*Y^8*Z^3+12*X*Y^12*Z+24*X^6*Y^4*Z^3+4*X^3*Y^4*Z^6+24*X^3*Y^2*Z^8+8*X^6*Y^2*Z^4+320*X^4*Y^4*Z^4+40*X^2*Y^8*Z^2+8*X^2*Y^8*Z+16*X^2*Y*Z^8+70*X^6*Y^2*Z^2+64*X^4*Y^4*Z^2+100*X^4*Y^2*Z^4+8*X^3*Y^4*Z^3+96*X^2*Y^6*Z^2+96*X^2*Y^2*Z^6+4*X*Y^8*Z+4*X^2*Y*Z^6+222*X^4*Y^2*Z^2+8*X^3*Y^4*Z+8*X^3*Y*Z^4+40*X^2*Y^4*Z^2+56*X^2*Y^2*Z^4+12*X*Y^4*Z^3+36*X^3*Y^2*Z^2+2*X^3*Y*Z^3+24*X^2*Y^4*Z+40*X^2*Y*Z^4+4*X*Y^4*Z^2+12*X^3*Y^2*Z+8*X^3*Y*Z^2+710*X^2*Y^2*Z^2+10*X^2*Y*Z^3+8*X*Y^4*Z+24*X*Y*Z^4+154*X^3*Y*Z+128*X^2*Y^2*Z+220*X^2*Y*Z^2+192*X*Y^3*Z+194*X*Y*Z^3+482*X^2*Y*Z+64*X*Y^2*Z+72*X*Y*Z^2+186*X*Y*Z

Algorithm definition

The algorithm ⟨16×16×27:3946⟩ is serendipitous tensor product (⟨4×4×3:38⟩ - 6) ⊗ ⟨4×4×9:104⟩ +3⟨8×4×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