Description of fast matrix multiplication algorithm: ⟨14×25×28:5607⟩

Algorithm type

4⁢X2⁢Y18⁢Z2+X2⁢Y17⁢Z2+14⁢X⁢Y18⁢Z+8⁢X6⁢Y8⁢Z4+80⁢X4⁢Y8⁢Z6+3⁢X2⁢Y14⁢Z2+2⁢X⁢Y16⁢Z+X2⁢Y13⁢Z2+464⁢X4⁢Y8⁢Z4+10⁢X2⁢Y12⁢Z2+5⁢X2⁢Y8⁢Z6+13⁢X⁢Y14⁢Z+2⁢X2⁢Y8⁢Z5+X2⁢Y7⁢Z6+6⁢X⁢Y13⁢Z+8⁢X2⁢Y10⁢Z2+31⁢X2⁢Y8⁢Z4+X2⁢Y7⁢Z5+12⁢X⁢Y12⁢Z+8⁢X3⁢Y8⁢Z2+15⁢X2⁢Y9⁢Z2+80⁢X2⁢Y8⁢Z3+3⁢X⁢Y11⁢Z+16⁢X6⁢Y4⁢Z2+8⁢X4⁢Y4⁢Z4+575⁢X2⁢Y8⁢Z2+2⁢X2⁢Y6⁢Z4+2⁢X2⁢Y5⁢Z5+48⁢X2⁢Y4⁢Z6+4⁢X⁢Y10⁢Z+12⁢X⁢Y8⁢Z3+4⁢X6⁢Y2⁢Z3+2⁢X3⁢Y2⁢Z6+3⁢X2⁢Y7⁢Z2+2⁢X2⁢Y5⁢Z4+5⁢X2⁢Y4⁢Z5+3⁢X2⁢Y3⁢Z6+9⁢X⁢Y9⁢Z+41⁢X⁢Y8⁢Z2+8⁢X⁢Y7⁢Z3+6⁢X6⁢Y2⁢Z2+2⁢X6⁢Y⁢Z3+136⁢X4⁢Y4⁢Z2+6⁢X4⁢Y2⁢Z4+2⁢X2⁢Y6⁢Z2+2⁢X2⁢Y5⁢Z3+168⁢X2⁢Y4⁢Z4+5⁢X2⁢Y3⁢Z5+5⁢X2⁢Y2⁢Z6+120⁢X⁢Y8⁢Z+6⁢X⁢Y7⁢Z2+5⁢X⁢Y6⁢Z3+5⁢X6⁢Y2⁢Z+4⁢X6⁢Y⁢Z2+6⁢X4⁢Y2⁢Z3+5⁢X3⁢Y2⁢Z4+9⁢X2⁢Y5⁢Z2+2⁢X2⁢Y4⁢Z3+6⁢X2⁢Y3⁢Z4+4⁢X2⁢Y2⁢Z5+4⁢X2⁢Y⁢Z6+4⁢X⁢Y7⁢Z+12⁢X⁢Y6⁢Z2+4⁢X⁢Y5⁢Z3+X⁢Y2⁢Z6+11⁢X4⁢Y2⁢Z2+3⁢X4⁢Y⁢Z3+16⁢X3⁢Y4⁢Z+8⁢X3⁢Y2⁢Z3+8⁢X3⁢Y⁢Z4+142⁢X2⁢Y4⁢Z2+3⁢X2⁢Y3⁢Z3+18⁢X2⁢Y2⁢Z4+5⁢X⁢Y6⁢Z+14⁢X⁢Y5⁢Z2+53⁢X⁢Y4⁢Z3+X⁢Y2⁢Z5+4⁢X⁢Y⁢Z6+7⁢X4⁢Y2⁢Z+5⁢X4⁢Y⁢Z2+2⁢X3⁢Y3⁢Z+28⁢X3⁢Y2⁢Z2+13⁢X3⁢Y⁢Z3+136⁢X2⁢Y4⁢Z+10⁢X2⁢Y3⁢Z2+181⁢X2⁢Y2⁢Z3+13⁢X2⁢Y⁢Z4+41⁢X⁢Y5⁢Z+176⁢X⁢Y4⁢Z2+11⁢X⁢Y3⁢Z3+3⁢X⁢Y2⁢Z4+4⁢X⁢Y⁢Z5+5⁢X3⁢Y2⁢Z+7⁢X3⁢Y⁢Z2+2⁢X2⁢Y3⁢Z+947⁢X2⁢Y2⁢Z2+10⁢X2⁢Y⁢Z3+158⁢X⁢Y4⁢Z+15⁢X⁢Y3⁢Z2+23⁢X⁢Y2⁢Z3+13⁢X⁢Y⁢Z4+40⁢X3⁢Y⁢Z+5⁢X2⁢Y2⁢Z+28⁢X2⁢Y⁢Z2+36⁢X⁢Y3⁢Z+84⁢X⁢Y2⁢Z2+117⁢X⁢Y⁢Z3+281⁢X2⁢Y⁢Z+234⁢X⁢Y2⁢Z+354⁢X⁢Y⁢Z2+287⁢X⁢Y⁢Z4X2Y18Z2X2Y17Z214XY18Z8X6Y8Z480X4Y8Z63X2Y14Z22XY16ZX2Y13Z2464X4Y8Z410X2Y12Z25X2Y8Z613XY14Z2X2Y8Z5X2Y7Z66XY13Z8X2Y10Z231X2Y8Z4X2Y7Z512XY12Z8X3Y8Z215X2Y9Z280X2Y8Z33XY11Z16X6Y4Z28X4Y4Z4575X2Y8Z22X2Y6Z42X2Y5Z548X2Y4Z64XY10Z12XY8Z34X6Y2Z32X3Y2Z63X2Y7Z22X2Y5Z45X2Y4Z53X2Y3Z69XY9Z41XY8Z28XY7Z36X6Y2Z22X6YZ3136X4Y4Z26X4Y2Z42X2Y6Z22X2Y5Z3168X2Y4Z45X2Y3Z55X2Y2Z6120XY8Z6XY7Z25XY6Z35X6Y2Z4X6YZ26X4Y2Z35X3Y2Z49X2Y5Z22X2Y4Z36X2Y3Z44X2Y2Z54X2YZ64XY7Z12XY6Z24XY5Z3XY2Z611X4Y2Z23X4YZ316X3Y4Z8X3Y2Z38X3YZ4142X2Y4Z23X2Y3Z318X2Y2Z45XY6Z14XY5Z253XY4Z3XY2Z54XYZ67X4Y2Z5X4YZ22X3Y3Z28X3Y2Z213X3YZ3136X2Y4Z10X2Y3Z2181X2Y2Z313X2YZ441XY5Z176XY4Z211XY3Z33XY2Z44XYZ55X3Y2Z7X3YZ22X2Y3Z947X2Y2Z210X2YZ3158XY4Z15XY3Z223XY2Z313XYZ440X3YZ5X2Y2Z28X2YZ236XY3Z84XY2Z2117XYZ3281X2YZ234XY2Z354XYZ2287XYZ4*X^2*Y^18*Z^2+X^2*Y^17*Z^2+14*X*Y^18*Z+8*X^6*Y^8*Z^4+80*X^4*Y^8*Z^6+3*X^2*Y^14*Z^2+2*X*Y^16*Z+X^2*Y^13*Z^2+464*X^4*Y^8*Z^4+10*X^2*Y^12*Z^2+5*X^2*Y^8*Z^6+13*X*Y^14*Z+2*X^2*Y^8*Z^5+X^2*Y^7*Z^6+6*X*Y^13*Z+8*X^2*Y^10*Z^2+31*X^2*Y^8*Z^4+X^2*Y^7*Z^5+12*X*Y^12*Z+8*X^3*Y^8*Z^2+15*X^2*Y^9*Z^2+80*X^2*Y^8*Z^3+3*X*Y^11*Z+16*X^6*Y^4*Z^2+8*X^4*Y^4*Z^4+575*X^2*Y^8*Z^2+2*X^2*Y^6*Z^4+2*X^2*Y^5*Z^5+48*X^2*Y^4*Z^6+4*X*Y^10*Z+12*X*Y^8*Z^3+4*X^6*Y^2*Z^3+2*X^3*Y^2*Z^6+3*X^2*Y^7*Z^2+2*X^2*Y^5*Z^4+5*X^2*Y^4*Z^5+3*X^2*Y^3*Z^6+9*X*Y^9*Z+41*X*Y^8*Z^2+8*X*Y^7*Z^3+6*X^6*Y^2*Z^2+2*X^6*Y*Z^3+136*X^4*Y^4*Z^2+6*X^4*Y^2*Z^4+2*X^2*Y^6*Z^2+2*X^2*Y^5*Z^3+168*X^2*Y^4*Z^4+5*X^2*Y^3*Z^5+5*X^2*Y^2*Z^6+120*X*Y^8*Z+6*X*Y^7*Z^2+5*X*Y^6*Z^3+5*X^6*Y^2*Z+4*X^6*Y*Z^2+6*X^4*Y^2*Z^3+5*X^3*Y^2*Z^4+9*X^2*Y^5*Z^2+2*X^2*Y^4*Z^3+6*X^2*Y^3*Z^4+4*X^2*Y^2*Z^5+4*X^2*Y*Z^6+4*X*Y^7*Z+12*X*Y^6*Z^2+4*X*Y^5*Z^3+X*Y^2*Z^6+11*X^4*Y^2*Z^2+3*X^4*Y*Z^3+16*X^3*Y^4*Z+8*X^3*Y^2*Z^3+8*X^3*Y*Z^4+142*X^2*Y^4*Z^2+3*X^2*Y^3*Z^3+18*X^2*Y^2*Z^4+5*X*Y^6*Z+14*X*Y^5*Z^2+53*X*Y^4*Z^3+X*Y^2*Z^5+4*X*Y*Z^6+7*X^4*Y^2*Z+5*X^4*Y*Z^2+2*X^3*Y^3*Z+28*X^3*Y^2*Z^2+13*X^3*Y*Z^3+136*X^2*Y^4*Z+10*X^2*Y^3*Z^2+181*X^2*Y^2*Z^3+13*X^2*Y*Z^4+41*X*Y^5*Z+176*X*Y^4*Z^2+11*X*Y^3*Z^3+3*X*Y^2*Z^4+4*X*Y*Z^5+5*X^3*Y^2*Z+7*X^3*Y*Z^2+2*X^2*Y^3*Z+947*X^2*Y^2*Z^2+10*X^2*Y*Z^3+158*X*Y^4*Z+15*X*Y^3*Z^2+23*X*Y^2*Z^3+13*X*Y*Z^4+40*X^3*Y*Z+5*X^2*Y^2*Z+28*X^2*Y*Z^2+36*X*Y^3*Z+84*X*Y^2*Z^2+117*X*Y*Z^3+281*X^2*Y*Z+234*X*Y^2*Z+354*X*Y*Z^2+287*X*Y*Z

Algorithm definition

The algorithm ⟨14×25×28:5607⟩ is serendipitous tensor product (⟨7×5×7:176⟩ - 29) ⊗ ⟨2×5×4:32⟩ +⟨2×5×20:157⟩ +7⟨2×5×8:63⟩ +5⟨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