Description of fast matrix multiplication algorithm: ⟨20×22×25:6181⟩

Algorithm type

8⁢X6⁢Y4⁢Z8+632⁢X4⁢Y4⁢Z8+8⁢X2⁢Y10⁢Z4+8⁢X4⁢Y2⁢Z8+16⁢X2⁢Y8⁢Z4+8⁢X3⁢Y2⁢Z8+3⁢X6⁢Y4⁢Z2+8⁢X6⁢Y2⁢Z4+8⁢X4⁢Y4⁢Z4+8⁢X2⁢Y6⁢Z4+656⁢X2⁢Y2⁢Z8+10⁢X6⁢Y3⁢Z2+5⁢X5⁢Y4⁢Z2+8⁢X2⁢Y⁢Z8+12⁢X5⁢Y3⁢Z2+12⁢X4⁢Y4⁢Z2+2⁢X4⁢Y3⁢Z3+226⁢X4⁢Y2⁢Z4+X3⁢Y4⁢Z3+X3⁢Y2⁢Z5+2⁢X2⁢Y6⁢Z2+248⁢X2⁢Y4⁢Z4+8⁢X⁢Y5⁢Z4+24⁢X⁢Y⁢Z8+3⁢X6⁢Y2⁢Z+14⁢X5⁢Y2⁢Z2+24⁢X4⁢Y3⁢Z2+7⁢X3⁢Y4⁢Z2+X3⁢Y2⁢Z4+2⁢X2⁢Y6⁢Z+2⁢X2⁢Y5⁢Z2+X2⁢Y4⁢Z3+X2⁢Y3⁢Z4+X⁢Y6⁢Z2+16⁢X⁢Y4⁢Z4+12⁢X5⁢Y2⁢Z+5⁢X4⁢Y3⁢Z+16⁢X4⁢Y2⁢Z2+X4⁢Y⁢Z3+8⁢X3⁢Y4⁢Z+32⁢X3⁢Y3⁢Z2+14⁢X3⁢Y2⁢Z3+8⁢X3⁢Y⁢Z4+35⁢X2⁢Y4⁢Z2+10⁢X2⁢Y3⁢Z3+91⁢X2⁢Y2⁢Z4+6⁢X2⁢Y⁢Z5+X⁢Y5⁢Z2+8⁢X⁢Y3⁢Z4+9⁢X5⁢Y⁢Z+24⁢X4⁢Y2⁢Z+2⁢X4⁢Y⁢Z2+23⁢X3⁢Y3⁢Z+132⁢X3⁢Y2⁢Z2+X3⁢Y⁢Z3+10⁢X2⁢Y4⁢Z+16⁢X2⁢Y3⁢Z2+26⁢X2⁢Y2⁢Z3+227⁢X2⁢Y⁢Z4+16⁢X⁢Y5⁢Z+16⁢X⁢Y4⁢Z2+251⁢X⁢Y2⁢Z4+X⁢Y⁢Z5+31⁢X4⁢Y⁢Z+56⁢X3⁢Y2⁢Z+28⁢X3⁢Y⁢Z2+36⁢X2⁢Y3⁢Z+1315⁢X2⁢Y2⁢Z2+8⁢X2⁢Y⁢Z3+39⁢X⁢Y4⁢Z+3⁢X⁢Y3⁢Z2+75⁢X⁢Y⁢Z4+124⁢X3⁢Y⁢Z+106⁢X2⁢Y2⁢Z+31⁢X2⁢Y⁢Z2+36⁢X⁢Y3⁢Z+6⁢X⁢Y2⁢Z2+3⁢X⁢Y⁢Z3+489⁢X2⁢Y⁢Z+593⁢X⁢Y2⁢Z+50⁢X⁢Y⁢Z2+157⁢X⁢Y⁢Z8X6Y4Z8632X4Y4Z88X2Y10Z48X4Y2Z816X2Y8Z48X3Y2Z83X6Y4Z28X6Y2Z48X4Y4Z48X2Y6Z4656X2Y2Z810X6Y3Z25X5Y4Z28X2YZ812X5Y3Z212X4Y4Z22X4Y3Z3226X4Y2Z4X3Y4Z3X3Y2Z52X2Y6Z2248X2Y4Z48XY5Z424XYZ83X6Y2Z14X5Y2Z224X4Y3Z27X3Y4Z2X3Y2Z42X2Y6Z2X2Y5Z2X2Y4Z3X2Y3Z4XY6Z216XY4Z412X5Y2Z5X4Y3Z16X4Y2Z2X4YZ38X3Y4Z32X3Y3Z214X3Y2Z38X3YZ435X2Y4Z210X2Y3Z391X2Y2Z46X2YZ5XY5Z28XY3Z49X5YZ24X4Y2Z2X4YZ223X3Y3Z132X3Y2Z2X3YZ310X2Y4Z16X2Y3Z226X2Y2Z3227X2YZ416XY5Z16XY4Z2251XY2Z4XYZ531X4YZ56X3Y2Z28X3YZ236X2Y3Z1315X2Y2Z28X2YZ339XY4Z3XY3Z275XYZ4124X3YZ106X2Y2Z31X2YZ236XY3Z6XY2Z23XYZ3489X2YZ593XY2Z50XYZ2157XYZ8*X^6*Y^4*Z^8+632*X^4*Y^4*Z^8+8*X^2*Y^10*Z^4+8*X^4*Y^2*Z^8+16*X^2*Y^8*Z^4+8*X^3*Y^2*Z^8+3*X^6*Y^4*Z^2+8*X^6*Y^2*Z^4+8*X^4*Y^4*Z^4+8*X^2*Y^6*Z^4+656*X^2*Y^2*Z^8+10*X^6*Y^3*Z^2+5*X^5*Y^4*Z^2+8*X^2*Y*Z^8+12*X^5*Y^3*Z^2+12*X^4*Y^4*Z^2+2*X^4*Y^3*Z^3+226*X^4*Y^2*Z^4+X^3*Y^4*Z^3+X^3*Y^2*Z^5+2*X^2*Y^6*Z^2+248*X^2*Y^4*Z^4+8*X*Y^5*Z^4+24*X*Y*Z^8+3*X^6*Y^2*Z+14*X^5*Y^2*Z^2+24*X^4*Y^3*Z^2+7*X^3*Y^4*Z^2+X^3*Y^2*Z^4+2*X^2*Y^6*Z+2*X^2*Y^5*Z^2+X^2*Y^4*Z^3+X^2*Y^3*Z^4+X*Y^6*Z^2+16*X*Y^4*Z^4+12*X^5*Y^2*Z+5*X^4*Y^3*Z+16*X^4*Y^2*Z^2+X^4*Y*Z^3+8*X^3*Y^4*Z+32*X^3*Y^3*Z^2+14*X^3*Y^2*Z^3+8*X^3*Y*Z^4+35*X^2*Y^4*Z^2+10*X^2*Y^3*Z^3+91*X^2*Y^2*Z^4+6*X^2*Y*Z^5+X*Y^5*Z^2+8*X*Y^3*Z^4+9*X^5*Y*Z+24*X^4*Y^2*Z+2*X^4*Y*Z^2+23*X^3*Y^3*Z+132*X^3*Y^2*Z^2+X^3*Y*Z^3+10*X^2*Y^4*Z+16*X^2*Y^3*Z^2+26*X^2*Y^2*Z^3+227*X^2*Y*Z^4+16*X*Y^5*Z+16*X*Y^4*Z^2+251*X*Y^2*Z^4+X*Y*Z^5+31*X^4*Y*Z+56*X^3*Y^2*Z+28*X^3*Y*Z^2+36*X^2*Y^3*Z+1315*X^2*Y^2*Z^2+8*X^2*Y*Z^3+39*X*Y^4*Z+3*X*Y^3*Z^2+75*X*Y*Z^4+124*X^3*Y*Z+106*X^2*Y^2*Z+31*X^2*Y*Z^2+36*X*Y^3*Z+6*X*Y^2*Z^2+3*X*Y*Z^3+489*X^2*Y*Z+593*X*Y^2*Z+50*X*Y*Z^2+157*X*Y*Z

Algorithm definition

The algorithm ⟨20×22×25:6181⟩ is serendipitous tensor product (⟨5×11×5:195⟩ - 37) ⊗ ⟨4×2×5:32⟩ +⟨8×2×5:63⟩ +⟨4×8×5:118⟩ +⟨4×6×5:90⟩ +14⟨4×4×5: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