Description of fast matrix multiplication algorithm: ⟨18×22×32:6972⟩

Algorithm type

4X8Y12Z8+13X8Y10Z8+X8Y12Z4+47X8Y8Z8+2X4Y16Z4+X18Y2Z2+3X12Y6Z4+4X8Y10Z4+5X6Y8Z8+2X4Y14Z4+3X4Y10Z8+4X4Y6Z12+8X2Y2Z18+26X12Y4Z4+2X8Y8Z4+36X4Y12Z4+32X4Y8Z8+36X4Y4Z12+5X2Y16Z2+X14Y2Z2+3X10Y4Z4+2X8Y6Z4+7X4Y12Z2+30X4Y10Z4+38X4Y6Z8+4X2Y14Z2+3X2Y12Z4+9X2Y8Z8+20X2Y4Z12+X12Y2Z2+4X8Y4Z4+3X4Y10Z2+71X4Y8Z4+24X4Y4Z8+27X2Y12Z2+8X2Y10Z4+4X2Y6Z8+10X2Y2Z12+24X6Y6Z2+15X6Y4Z4+6X6Y2Z6+4X4Y8Z2+49X4Y6Z4+14X2Y10Z2+37X2Y8Z4+16X2Y6Z6+7X2Y4Z8+78X4Y5Z4+13X6Y4Z2+21X6Y2Z4+15X4Y6Z2+343X4Y4Z4+37X2Y8Z2+43X2Y6Z4+15X2Y4Z6+6X9YZ+18X6Y3Z2+24X4Y5Z2+30X3Y4Z4+12X2Y7Z2+18X2Y5Z4+24X2Y3Z6+48XYZ9+175X6Y2Z2+15X4Y4Z2+2X4Y2Z4+241X2Y6Z2+222X2Y4Z4+246X2Y2Z6+30XY8Z+6X7YZ+18X5Y2Z2+12X4Y3Z2+42X2Y6Z+180X2Y5Z2+228X2Y3Z4+24XY7Z+18XY6Z2+54XY4Z4+120XY2Z6+6X6YZ+31X4Y2Z2+18X2Y5Z+455X2Y4Z2+152X2Y2Z4+162XY6Z+48XY5Z2+24XY3Z4+60XYZ6+144X3Y3Z+90X3Y2Z2+36X3YZ3+24X2Y4Z+150X2Y3Z2+84XY5Z+222XY4Z2+96XY3Z3+42XY2Z4+78X3Y2Z+126X3YZ2+54X2Y3Z+371X2Y2Z2+150XY4Z+258XY3Z2+90XY2Z3+114X3YZ+18X2Y2Z+12X2YZ2+150XY3Z+180XY2Z2+180XYZ3+42X2YZ+174XY2Z+48XYZ2+30XYZ4X8Y12Z813X8Y10Z8X8Y12Z447X8Y8Z82X4Y16Z4X18Y2Z23X12Y6Z44X8Y10Z45X6Y8Z82X4Y14Z43X4Y10Z84X4Y6Z128X2Y2Z1826X12Y4Z42X8Y8Z436X4Y12Z432X4Y8Z836X4Y4Z125X2Y16Z2X14Y2Z23X10Y4Z42X8Y6Z47X4Y12Z230X4Y10Z438X4Y6Z84X2Y14Z23X2Y12Z49X2Y8Z820X2Y4Z12X12Y2Z24X8Y4Z43X4Y10Z271X4Y8Z424X4Y4Z827X2Y12Z28X2Y10Z44X2Y6Z810X2Y2Z1224X6Y6Z215X6Y4Z46X6Y2Z64X4Y8Z249X4Y6Z414X2Y10Z237X2Y8Z416X2Y6Z67X2Y4Z878X4Y5Z413X6Y4Z221X6Y2Z415X4Y6Z2343X4Y4Z437X2Y8Z243X2Y6Z415X2Y4Z66X9YZ18X6Y3Z224X4Y5Z230X3Y4Z412X2Y7Z218X2Y5Z424X2Y3Z648XYZ9175X6Y2Z215X4Y4Z22X4Y2Z4241X2Y6Z2222X2Y4Z4246X2Y2Z630XY8Z6X7YZ18X5Y2Z212X4Y3Z242X2Y6Z180X2Y5Z2228X2Y3Z424XY7Z18XY6Z254XY4Z4120XY2Z66X6YZ31X4Y2Z218X2Y5Z455X2Y4Z2152X2Y2Z4162XY6Z48XY5Z224XY3Z460XYZ6144X3Y3Z90X3Y2Z236X3YZ324X2Y4Z150X2Y3Z284XY5Z222XY4Z296XY3Z342XY2Z478X3Y2Z126X3YZ254X2Y3Z371X2Y2Z2150XY4Z258XY3Z290XY2Z3114X3YZ18X2Y2Z12X2YZ2150XY3Z180XY2Z2180XYZ342X2YZ174XY2Z48XYZ230XYZ4*X^8*Y^12*Z^8+13*X^8*Y^10*Z^8+X^8*Y^12*Z^4+47*X^8*Y^8*Z^8+2*X^4*Y^16*Z^4+X^18*Y^2*Z^2+3*X^12*Y^6*Z^4+4*X^8*Y^10*Z^4+5*X^6*Y^8*Z^8+2*X^4*Y^14*Z^4+3*X^4*Y^10*Z^8+4*X^4*Y^6*Z^12+8*X^2*Y^2*Z^18+26*X^12*Y^4*Z^4+2*X^8*Y^8*Z^4+36*X^4*Y^12*Z^4+32*X^4*Y^8*Z^8+36*X^4*Y^4*Z^12+5*X^2*Y^16*Z^2+X^14*Y^2*Z^2+3*X^10*Y^4*Z^4+2*X^8*Y^6*Z^4+7*X^4*Y^12*Z^2+30*X^4*Y^10*Z^4+38*X^4*Y^6*Z^8+4*X^2*Y^14*Z^2+3*X^2*Y^12*Z^4+9*X^2*Y^8*Z^8+20*X^2*Y^4*Z^12+X^12*Y^2*Z^2+4*X^8*Y^4*Z^4+3*X^4*Y^10*Z^2+71*X^4*Y^8*Z^4+24*X^4*Y^4*Z^8+27*X^2*Y^12*Z^2+8*X^2*Y^10*Z^4+4*X^2*Y^6*Z^8+10*X^2*Y^2*Z^12+24*X^6*Y^6*Z^2+15*X^6*Y^4*Z^4+6*X^6*Y^2*Z^6+4*X^4*Y^8*Z^2+49*X^4*Y^6*Z^4+14*X^2*Y^10*Z^2+37*X^2*Y^8*Z^4+16*X^2*Y^6*Z^6+7*X^2*Y^4*Z^8+78*X^4*Y^5*Z^4+13*X^6*Y^4*Z^2+21*X^6*Y^2*Z^4+15*X^4*Y^6*Z^2+343*X^4*Y^4*Z^4+37*X^2*Y^8*Z^2+43*X^2*Y^6*Z^4+15*X^2*Y^4*Z^6+6*X^9*Y*Z+18*X^6*Y^3*Z^2+24*X^4*Y^5*Z^2+30*X^3*Y^4*Z^4+12*X^2*Y^7*Z^2+18*X^2*Y^5*Z^4+24*X^2*Y^3*Z^6+48*X*Y*Z^9+175*X^6*Y^2*Z^2+15*X^4*Y^4*Z^2+2*X^4*Y^2*Z^4+241*X^2*Y^6*Z^2+222*X^2*Y^4*Z^4+246*X^2*Y^2*Z^6+30*X*Y^8*Z+6*X^7*Y*Z+18*X^5*Y^2*Z^2+12*X^4*Y^3*Z^2+42*X^2*Y^6*Z+180*X^2*Y^5*Z^2+228*X^2*Y^3*Z^4+24*X*Y^7*Z+18*X*Y^6*Z^2+54*X*Y^4*Z^4+120*X*Y^2*Z^6+6*X^6*Y*Z+31*X^4*Y^2*Z^2+18*X^2*Y^5*Z+455*X^2*Y^4*Z^2+152*X^2*Y^2*Z^4+162*X*Y^6*Z+48*X*Y^5*Z^2+24*X*Y^3*Z^4+60*X*Y*Z^6+144*X^3*Y^3*Z+90*X^3*Y^2*Z^2+36*X^3*Y*Z^3+24*X^2*Y^4*Z+150*X^2*Y^3*Z^2+84*X*Y^5*Z+222*X*Y^4*Z^2+96*X*Y^3*Z^3+42*X*Y^2*Z^4+78*X^3*Y^2*Z+126*X^3*Y*Z^2+54*X^2*Y^3*Z+371*X^2*Y^2*Z^2+150*X*Y^4*Z+258*X*Y^3*Z^2+90*X*Y^2*Z^3+114*X^3*Y*Z+18*X^2*Y^2*Z+12*X^2*Y*Z^2+150*X*Y^3*Z+180*X*Y^2*Z^2+180*X*Y*Z^3+42*X^2*Y*Z+174*X*Y^2*Z+48*X*Y*Z^2+30*X*Y*Z

Algorithm definition

The algorithm ⟨18×22×32:6972⟩ is the (Kronecker) tensor product of ⟨2×2×2:7⟩ with ⟨9×11×16:996⟩.

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