Description of fast matrix multiplication algorithm: ⟨4×25×28:1756⟩

Algorithm type

16⁢X4⁢Y20⁢Z4+X2⁢Y21⁢Z3+16⁢X4⁢Y16⁢Z4+56⁢X2⁢Y20⁢Z2+6⁢X⁢Y21⁢Z2+X⁢Y21⁢Z+40⁢X⁢Y20⁢Z+X2⁢Y16⁢Z3+8⁢X4⁢Y12⁢Z4+72⁢X2⁢Y16⁢Z2+57⁢X⁢Y16⁢Z+X⁢Y15⁢Z2+X⁢Y15⁢Z+80⁢X4⁢Y8⁢Z4+40⁢X2⁢Y12⁢Z2+3⁢X2⁢Y10⁢Z3+2⁢X⁢Y12⁢Z2+2⁢X2⁢Y10⁢Z2+5⁢X2⁢Y8⁢Z4+33⁢X⁢Y12⁢Z+2⁢X2⁢Y8⁢Z3+2⁢X2⁢Y7⁢Z4+2⁢X⁢Y10⁢Z2+8⁢X4⁢Y4⁢Z4+117⁢X2⁢Y8⁢Z2+3⁢X2⁢Y6⁢Z4+X2⁢Y7⁢Z2+X2⁢Y6⁢Z3+8⁢X⁢Y8⁢Z2+X2⁢Y6⁢Z2+X2⁢Y5⁢Z3+45⁢X⁢Y8⁢Z+11⁢X⁢Y7⁢Z2+36⁢X2⁢Y5⁢Z2+3⁢X2⁢Y4⁢Z3+3⁢X2⁢Y3⁢Z4+6⁢X⁢Y7⁢Z+8⁢X⁢Y6⁢Z2+133⁢X2⁢Y4⁢Z2+2⁢X2⁢Y3⁢Z3+4⁢X2⁢Y2⁢Z4+7⁢X⁢Y6⁢Z+12⁢X⁢Y5⁢Z2+27⁢X2⁢Y3⁢Z2+90⁢X⁢Y5⁢Z+3⁢X⁢Y4⁢Z2+168⁢X2⁢Y2⁢Z2+214⁢X⁢Y4⁢Z+5⁢X⁢Y3⁢Z2+16⁢X2⁢Y⁢Z2+77⁢X⁢Y3⁢Z+10⁢X⁢Y2⁢Z2+85⁢X⁢Y2⁢Z+11⁢X⁢Y⁢Z2+193⁢X⁢Y⁢Z16X4Y20Z4X2Y21Z316X4Y16Z456X2Y20Z26XY21Z2XY21Z40XY20ZX2Y16Z38X4Y12Z472X2Y16Z257XY16ZXY15Z2XY15Z80X4Y8Z440X2Y12Z23X2Y10Z32XY12Z22X2Y10Z25X2Y8Z433XY12Z2X2Y8Z32X2Y7Z42XY10Z28X4Y4Z4117X2Y8Z23X2Y6Z4X2Y7Z2X2Y6Z38XY8Z2X2Y6Z2X2Y5Z345XY8Z11XY7Z236X2Y5Z23X2Y4Z33X2Y3Z46XY7Z8XY6Z2133X2Y4Z22X2Y3Z34X2Y2Z47XY6Z12XY5Z227X2Y3Z290XY5Z3XY4Z2168X2Y2Z2214XY4Z5XY3Z216X2YZ277XY3Z10XY2Z285XY2Z11XYZ2193XYZ16*X^4*Y^20*Z^4+X^2*Y^21*Z^3+16*X^4*Y^16*Z^4+56*X^2*Y^20*Z^2+6*X*Y^21*Z^2+X*Y^21*Z+40*X*Y^20*Z+X^2*Y^16*Z^3+8*X^4*Y^12*Z^4+72*X^2*Y^16*Z^2+57*X*Y^16*Z+X*Y^15*Z^2+X*Y^15*Z+80*X^4*Y^8*Z^4+40*X^2*Y^12*Z^2+3*X^2*Y^10*Z^3+2*X*Y^12*Z^2+2*X^2*Y^10*Z^2+5*X^2*Y^8*Z^4+33*X*Y^12*Z+2*X^2*Y^8*Z^3+2*X^2*Y^7*Z^4+2*X*Y^10*Z^2+8*X^4*Y^4*Z^4+117*X^2*Y^8*Z^2+3*X^2*Y^6*Z^4+X^2*Y^7*Z^2+X^2*Y^6*Z^3+8*X*Y^8*Z^2+X^2*Y^6*Z^2+X^2*Y^5*Z^3+45*X*Y^8*Z+11*X*Y^7*Z^2+36*X^2*Y^5*Z^2+3*X^2*Y^4*Z^3+3*X^2*Y^3*Z^4+6*X*Y^7*Z+8*X*Y^6*Z^2+133*X^2*Y^4*Z^2+2*X^2*Y^3*Z^3+4*X^2*Y^2*Z^4+7*X*Y^6*Z+12*X*Y^5*Z^2+27*X^2*Y^3*Z^2+90*X*Y^5*Z+3*X*Y^4*Z^2+168*X^2*Y^2*Z^2+214*X*Y^4*Z+5*X*Y^3*Z^2+16*X^2*Y*Z^2+77*X*Y^3*Z+10*X*Y^2*Z^2+85*X*Y^2*Z+11*X*Y*Z^2+193*X*Y*Z

Algorithm definition

The algorithm ⟨4×25×28:1756⟩ is serendipitous tensor product (⟨2×5×7:55⟩ - 8) ⊗ ⟨2×5×4:32⟩ +4⟨2×5×8:63⟩.

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