Skip to main content

SSM -Thom polynomials of contact singularities of relative dimension 5


codimension 0

  • SSM -Thom polynomial in monomial basis:
  • +t^0*( 1 )
    +t^6*( -c[6] )
    +t^7*( c[1]*c[6] +5*c[7] )
    +t^8*( -c[1]^2*c[6] -6*c[1]*c[7] +c[2]*c[6] -15*c[8] )
    +t^9*( c[1]^3*c[6] +7*c[1]^2*c[7] -2*c[1]*c[2]*c[6] +21*c[1]*c[8] -7*c[2]*c[7] +c[3]*c[6] +35*c[9] )
    +t^10*( -c[1]^4*c[6] -8*c[1]^3*c[7] +3*c[1]^2*c[2]*c[6] -28*c[1]^2*c[8] +16*c[1]*c[2]*c[7] -2*c[1]*c[3]*c[6] -c[2]^2*c[6] -56*c[1]*c[9] +28*c[2]*c[8] -8*c[3]*c[7] +c[4]*c[6] -70*c[10] )
    +t^11*( c[1]^5*c[6] +9*c[1]^4*c[7] -4*c[1]^3*c[2]*c[6] +36*c[1]^3*c[8] -27*c[1]^2*c[2]*c[7] +3*c[1]^2*c[3]*c[6] +3*c[1]*c[2]^2*c[6] +84*c[1]^2*c[9] -72*c[1]*c[2]*c[8] +18*c[1]*c[3]*c[7] -2*c[1]*c[4]*c[6] +9*c[2]^2*c[7] -2*c[2]*c[3]*c[6] +126*c[1]*c[10] -84*c[2]*c[9] +36*c[3]*c[8] -9*c[4]*c[7] +c[5]*c[6] +126*c[11] )
    +t^12*( -c[1]^6*c[6] -10*c[1]^5*c[7] +5*c[1]^4*c[2]*c[6] -45*c[1]^4*c[8] +40*c[1]^3*c[2]*c[7] -4*c[1]^3*c[3]*c[6] -6*c[1]^2*c[2]^2*c[6] -120*c[1]^3*c[9] +135*c[1]^2*c[2]*c[8] -30*c[1]^2*c[3]*c[7] +3*c[1]^2*c[4]*c[6] -30*c[1]*c[2]^2*c[7] +6*c[1]*c[2]*c[3]*c[6] +c[2]^3*c[6] -210*c[1]^2*c[10] +240*c[1]*c[2]*c[9] -90*c[1]*c[3]*c[8] +20*c[1]*c[4]*c[7] -2*c[1]*c[5]*c[6] -45*c[2]^2*c[8] +20*c[2]*c[3]*c[7] -2*c[2]*c[4]*c[6] -c[3]^2*c[6] -252*c[1]*c[11] +210*c[2]*c[10] -120*c[3]*c[9] +45*c[4]*c[8] -10*c[5]*c[7] +c[6]^2 -210*c[12] )
    +t^13*( c[1]^7*c[6] +11*c[1]^6*c[7] -6*c[1]^5*c[2]*c[6] +55*c[1]^5*c[8] -55*c[1]^4*c[2]*c[7] +5*c[1]^4*c[3]*c[6] +10*c[1]^3*c[2]^2*c[6] +165*c[1]^4*c[9] -220*c[1]^3*c[2]*c[8] +44*c[1]^3*c[3]*c[7] -4*c[1]^3*c[4]*c[6] +66*c[1]^2*c[2]^2*c[7] -12*c[1]^2*c[2]*c[3]*c[6] -4*c[1]*c[2]^3*c[6] +330*c[1]^3*c[10] -495*c[1]^2*c[2]*c[9] +165*c[1]^2*c[3]*c[8] -33*c[1]^2*c[4]*c[7] +3*c[1]^2*c[5]*c[6] +165*c[1]*c[2]^2*c[8] -66*c[1]*c[2]*c[3]*c[7] +6*c[1]*c[2]*c[4]*c[6] +3*c[1]*c[3]^2*c[6] -11*c[2]^3*c[7] +3*c[2]^2*c[3]*c[6] +462*c[1]^2*c[11] -660*c[1]*c[2]*c[10] +330*c[1]*c[3]*c[9] -110*c[1]*c[4]*c[8] +22*c[1]*c[5]*c[7] -2*c[1]*c[6]^2 +165*c[2]^2*c[9] -110*c[2]*c[3]*c[8] +22*c[2]*c[4]*c[7] -2*c[2]*c[5]*c[6] +11*c[3]^2*c[7] -2*c[3]*c[4]*c[6] +462*c[1]*c[12] -462*c[2]*c[11] +330*c[3]*c[10] -165*c[4]*c[9] +55*c[5]*c[8] -10*c[6]*c[7] +330*c[13] )
    +t^14*( -c[1]^8*c[6] -12*c[1]^7*c[7] +7*c[1]^6*c[2]*c[6] -66*c[1]^6*c[8] +72*c[1]^5*c[2]*c[7] -6*c[1]^5*c[3]*c[6] -15*c[1]^4*c[2]^2*c[6] -220*c[1]^5*c[9] +330*c[1]^4*c[2]*c[8] -60*c[1]^4*c[3]*c[7] +5*c[1]^4*c[4]*c[6] -120*c[1]^3*c[2]^2*c[7] +20*c[1]^3*c[2]*c[3]*c[6] +10*c[1]^2*c[2]^3*c[6] -495*c[1]^4*c[10] +880*c[1]^3*c[2]*c[9] -264*c[1]^3*c[3]*c[8] +48*c[1]^3*c[4]*c[7] -4*c[1]^3*c[5]*c[6] -396*c[1]^2*c[2]^2*c[8] +144*c[1]^2*c[2]*c[3]*c[7] -12*c[1]^2*c[2]*c[4]*c[6] -6*c[1]^2*c[3]^2*c[6] +48*c[1]*c[2]^3*c[7] -12*c[1]*c[2]^2*c[3]*c[6] -c[2]^4*c[6] -792*c[1]^3*c[11] +1485*c[1]^2*c[2]*c[10] -660*c[1]^2*c[3]*c[9] +198*c[1]^2*c[4]*c[8] -36*c[1]^2*c[5]*c[7] +3*c[1]^2*c[6]^2 -660*c[1]*c[2]^2*c[9] +396*c[1]*c[2]*c[3]*c[8] -72*c[1]*c[2]*c[4]*c[7] +6*c[1]*c[2]*c[5]*c[6] -36*c[1]*c[3]^2*c[7] +6*c[1]*c[3]*c[4]*c[6] +66*c[2]^3*c[8] -36*c[2]^2*c[3]*c[7] +3*c[2]^2*c[4]*c[6] +3*c[2]*c[3]^2*c[6] -924*c[1]^2*c[12] +1584*c[1]*c[2]*c[11] -990*c[1]*c[3]*c[10] +440*c[1]*c[4]*c[9] -132*c[1]*c[5]*c[8] +22*c[1]*c[6]*c[7] -495*c[2]^2*c[10] +440*c[2]*c[3]*c[9] -132*c[2]*c[4]*c[8] +24*c[2]*c[5]*c[7] -2*c[2]*c[6]^2 -66*c[3]^2*c[8] +24*c[3]*c[4]*c[7] -2*c[3]*c[5]*c[6] -c[4]^2*c[6] -792*c[1]*c[13] +924*c[2]*c[12] -792*c[3]*c[11] +495*c[4]*c[10] -220*c[5]*c[9] +66*c[6]*c[8] -11*c[7]^2 -495*c[14] )
    +t^15*( c[1]^9*c[6] +13*c[1]^8*c[7] -8*c[1]^7*c[2]*c[6] +78*c[1]^7*c[8] -91*c[1]^6*c[2]*c[7] +7*c[1]^6*c[3]*c[6] +21*c[1]^5*c[2]^2*c[6] +286*c[1]^6*c[9] -468*c[1]^5*c[2]*c[8] +78*c[1]^5*c[3]*c[7] -6*c[1]^5*c[4]*c[6] +195*c[1]^4*c[2]^2*c[7] -30*c[1]^4*c[2]*c[3]*c[6] -20*c[1]^3*c[2]^3*c[6] +715*c[1]^5*c[10] -1430*c[1]^4*c[2]*c[9] +390*c[1]^4*c[3]*c[8] -65*c[1]^4*c[4]*c[7] +5*c[1]^4*c[5]*c[6] +780*c[1]^3*c[2]^2*c[8] -260*c[1]^3*c[2]*c[3]*c[7] +20*c[1]^3*c[2]*c[4]*c[6] +10*c[1]^3*c[3]^2*c[6] -130*c[1]^2*c[2]^3*c[7] +30*c[1]^2*c[2]^2*c[3]*c[6] +5*c[1]*c[2]^4*c[6] +1287*c[1]^4*c[11] -2860*c[1]^3*c[2]*c[10] +1144*c[1]^3*c[3]*c[9] -312*c[1]^3*c[4]*c[8] +52*c[1]^3*c[5]*c[7] -4*c[1]^3*c[6]^2 +1716*c[1]^2*c[2]^2*c[9] -936*c[1]^2*c[2]*c[3]*c[8] +156*c[1]^2*c[2]*c[4]*c[7] -12*c[1]^2*c[2]*c[5]*c[6] +78*c[1]^2*c[3]^2*c[7] -12*c[1]^2*c[3]*c[4]*c[6] -312*c[1]*c[2]^3*c[8] +156*c[1]*c[2]^2*c[3]*c[7] -12*c[1]*c[2]^2*c[4]*c[6] -12*c[1]*c[2]*c[3]^2*c[6] +13*c[2]^4*c[7] -4*c[2]^3*c[3]*c[6] +1716*c[1]^3*c[12] -3861*c[1]^2*c[2]*c[11] +2145*c[1]^2*c[3]*c[10] -858*c[1]^2*c[4]*c[9] +234*c[1]^2*c[5]*c[8] -36*c[1]^2*c[6]*c[7] +2145*c[1]*c[2]^2*c[10] -1716*c[1]*c[2]*c[3]*c[9] +468*c[1]*c[2]*c[4]*c[8] -78*c[1]*c[2]*c[5]*c[7] +6*c[1]*c[2]*c[6]^2 +234*c[1]*c[3]^2*c[8] -78*c[1]*c[3]*c[4]*c[7] +6*c[1]*c[3]*c[5]*c[6] +3*c[1]*c[4]^2*c[6] -286*c[2]^3*c[9] +234*c[2]^2*c[3]*c[8] -39*c[2]^2*c[4]*c[7] +3*c[2]^2*c[5]*c[6] -39*c[2]*c[3]^2*c[7] +6*c[2]*c[3]*c[4]*c[6] +c[3]^3*c[6] +1716*c[1]^2*c[13] -3432*c[1]*c[2]*c[12] +2574*c[1]*c[3]*c[11] -1430*c[1]*c[4]*c[10] +572*c[1]*c[5]*c[9] -156*c[1]*c[6]*c[8] +24*c[1]*c[7]^2 +1287*c[2]^2*c[11] -1430*c[2]*c[3]*c[10] +572*c[2]*c[4]*c[9] -156*c[2]*c[5]*c[8] +24*c[2]*c[6]*c[7] +286*c[3]^2*c[9] -156*c[3]*c[4]*c[8] +26*c[3]*c[5]*c[7] -2*c[3]*c[6]^2 +13*c[4]^2*c[7] -2*c[4]*c[5]*c[6] +1287*c[1]*c[14] -1716*c[2]*c[13] +1716*c[3]*c[12] -1287*c[4]*c[11] +715*c[5]*c[10] -280*c[6]*c[9] +60*c[7]*c[8] +715*c[15] )
    +t^16*( -24*c[1]*c[2]*c[3]*c[4]*c[6] -1001*c[16] +98*c[8]^2 +42*c[1]^5*c[2]*c[3]*c[6] -60*c[1]^3*c[2]^2*c[3]*c[6] +20*c[1]*c[2]^3*c[3]*c[6] +30*c[1]^2*c[2]*c[3]^2*c[6] -30*c[1]^4*c[2]*c[4]*c[6] +30*c[1]^2*c[2]^2*c[4]*c[6] +20*c[1]^3*c[3]*c[4]*c[6] +20*c[1]^3*c[2]*c[5]*c[6] -12*c[1]*c[2]^2*c[5]*c[6] -12*c[1]^2*c[3]*c[5]*c[6] +6*c[2]*c[3]*c[5]*c[6] +6*c[1]*c[4]*c[5]*c[6] +420*c[1]^4*c[2]*c[3]*c[7] -420*c[1]^2*c[2]^2*c[3]*c[7] +168*c[1]*c[2]*c[3]^2*c[7] -280*c[1]^3*c[2]*c[4]*c[7] +168*c[1]*c[2]^2*c[4]*c[7] +168*c[1]^2*c[3]*c[4]*c[7] -84*c[2]*c[3]*c[4]*c[7] +168*c[1]^2*c[2]*c[5]*c[7] -84*c[1]*c[3]*c[5]*c[7] -78*c[1]*c[2]*c[6]*c[7] +1820*c[1]^3*c[2]*c[3]*c[8] -1092*c[1]*c[2]^2*c[3]*c[8] -1092*c[1]^2*c[2]*c[4]*c[8] +546*c[1]*c[3]*c[4]*c[8] +546*c[1]*c[2]*c[5]*c[8] +4368*c[1]^2*c[2]*c[3]*c[9] -2184*c[1]*c[2]*c[4]*c[9] +6006*c[1]*c[2]*c[3]*c[10] -6006*c[1]^2*c[3]*c[11] +4004*c[2]*c[3]*c[11] +4004*c[1]*c[4]*c[11] +9009*c[1]^2*c[2]*c[12] -6006*c[1]*c[3]*c[12] +6864*c[1]*c[2]*c[13] -6*c[2]^2*c[3]^2*c[6] -4*c[1]*c[3]^3*c[6] +7*c[1]^6*c[4]*c[6] -4*c[2]^3*c[4]*c[6] +3*c[3]^2*c[4]*c[6] -6*c[1]^2*c[4]^2*c[6] +3*c[2]*c[4]^2*c[6] -6*c[1]^5*c[5]*c[6] -12*c[1]^2*c[2]*c[6]^2 +6*c[1]*c[3]*c[6]^2 +112*c[1]^7*c[2]*c[7] -294*c[1]^5*c[2]^2*c[7] +280*c[1]^3*c[2]^3*c[7] -70*c[1]*c[2]^4*c[7] -98*c[1]^6*c[3]*c[7] +56*c[2]^3*c[3]*c[7] -140*c[1]^3*c[3]^2*c[7] +84*c[1]^5*c[4]*c[7] -42*c[1]*c[4]^2*c[7] -70*c[1]^4*c[5]*c[7] -42*c[2]^2*c[5]*c[7] +28*c[4]*c[5]*c[7] +52*c[1]^3*c[6]*c[7] +26*c[3]*c[6]*c[7] +637*c[1]^6*c[2]*c[8] -1365*c[1]^4*c[2]^2*c[8] +910*c[1]^2*c[2]^3*c[8] +9*c[1]^8*c[2]*c[6] -28*c[1]^6*c[2]^2*c[6] +35*c[1]^4*c[2]^3*c[6] -15*c[1]^2*c[2]^4*c[6] -8*c[1]^7*c[3]*c[6] -15*c[1]^4*c[3]^2*c[6] -546*c[1]^5*c[3]*c[8] -546*c[1]^2*c[3]^2*c[8] +273*c[2]*c[3]^2*c[8] +455*c[1]^4*c[4]*c[8] +273*c[2]^2*c[4]*c[8] -364*c[1]^3*c[5]*c[8] -182*c[3]*c[5]*c[8] +273*c[1]^2*c[6]*c[8] -182*c[2]*c[6]*c[8] -143*c[1]*c[7]*c[8] +2184*c[1]^5*c[2]*c[9] -3640*c[1]^3*c[2]^2*c[9] +1456*c[1]*c[2]^3*c[9] -1820*c[1]^4*c[3]*c[9] -1092*c[2]^2*c[3]*c[9] -1092*c[1]*c[3]^2*c[9] +1456*c[1]^3*c[4]*c[9] +728*c[3]*c[4]*c[9] -1092*c[1]^2*c[5]*c[9] +728*c[2]*c[5]*c[9] +715*c[1]*c[6]*c[9] +5005*c[1]^4*c[2]*c[10] -6006*c[1]^2*c[2]^2*c[10] -4004*c[1]^3*c[3]*c[10] +3003*c[1]^2*c[4]*c[10] -2002*c[2]*c[4]*c[10] -2002*c[1]*c[5]*c[10] +8008*c[1]^3*c[2]*c[11] -6006*c[1]*c[2]^2*c[11] -2002*c[1]*c[15] -c[1]^10*c[6] +c[2]^5*c[6] -c[5]^2*c[6] +5*c[1]^4*c[6]^2 +3*c[2]^2*c[6]^2 -2*c[4]*c[6]^2 -14*c[1]^9*c[7] -14*c[3]^3*c[7] -39*c[1]^2*c[7]^2 +26*c[2]*c[7]^2 -91*c[1]^8*c[8] -91*c[2]^4*c[8] -91*c[4]^2*c[8] -364*c[1]^7*c[9] -369*c[7]*c[9] -1001*c[1]^6*c[10] +1001*c[2]^3*c[10] -1001*c[3]^2*c[10] +986*c[6]*c[10] -2002*c[1]^5*c[11] -2002*c[5]*c[11] -3003*c[1]^4*c[12] -3003*c[2]^2*c[12] +3003*c[4]*c[12] -3432*c[1]^3*c[13] -3432*c[3]*c[13] -3003*c[1]^2*c[14] +3003*c[2]*c[14] )

  • SSM -Thom polynomial in Schur basis:
  • +t^0*( s[[0]] )
    +t^6*( -s[[6]] )
    +t^7*( 6*s[[7]] +s[[6,1]] )
    +t^8*( -21*s[[8]] -7*s[[7,1]] -s[[6,1,1]] )
    +t^9*( s[[6,1,1,1]] +8*s[[7,1,1]] +28*s[[8,1]] +56*s[[9]] )
    +t^10*( -s[[6,1,1,1,1]] -9*s[[7,1,1,1]] -36*s[[8,1,1]] -84*s[[9,1]] -126*s[[10]] )
    +t^11*( s[[6,1,1,1,1,1]] +10*s[[7,1,1,1,1]] +45*s[[8,1,1,1]] +120*s[[9,1,1]] +210*s[[10,1]] +252*s[[11]] )
    +t^12*( -s[[6,1,1,1,1,1,1]] -11*s[[7,1,1,1,1,1]] -55*s[[8,1,1,1,1]] -165*s[[9,1,1,1]] -330*s[[10,1,1]] -462*s[[11,1]] -462*s[[12]] )
    +t^13*( 66*s[[8,1,1,1,1,1]] +220*s[[9,1,1,1,1]] +495*s[[10,1,1,1]] +792*s[[11,1,1]] +924*s[[12,1]] +792*s[[13]] +s[[6,1,1,1,1,1,1,1]] +12*s[[7,1,1,1,1,1,1]] )
    +t^14*( s[[7,7]] -78*s[[8,1,1,1,1,1,1]] -286*s[[9,1,1,1,1,1]] -715*s[[10,1,1,1,1]] -1287*s[[11,1,1,1]] -1716*s[[12,1,1]] -1716*s[[13,1]] -1287*s[[14]] -s[[6,1,1,1,1,1,1,1,1]] -13*s[[7,1,1,1,1,1,1,1]] )
    +t^15*( s[[6,1,1,1,1,1,1,1,1,1]] +91*s[[8,1,1,1,1,1,1,1]] -7*s[[8,7]] +364*s[[9,1,1,1,1,1,1]] +1001*s[[10,1,1,1,1,1]] +2002*s[[11,1,1,1,1]] +3003*s[[12,1,1,1]] +3432*s[[13,1,1]] +3003*s[[14,1]] +2002*s[[15]] +14*s[[7,1,1,1,1,1,1,1,1]] -2*s[[7,7,1]] )
    +t^16*( -15*s[[7,1,1,1,1,1,1,1,1,1]] +3*s[[7,7,1,1]] +s[[7,7,2]] -105*s[[8,1,1,1,1,1,1,1,1]] +15*s[[8,7,1]] +21*s[[8,8]] -455*s[[9,1,1,1,1,1,1,1]] +28*s[[9,7]] -1365*s[[10,1,1,1,1,1,1]] -3003*s[[11,1,1,1,1,1]] -5005*s[[12,1,1,1,1]] -6435*s[[13,1,1,1]] -6435*s[[14,1,1]] -5005*s[[15,1]] -3003*s[[16]] -s[[6,1,1,1,1,1,1,1,1,1,1]] )

    codimension 1

    codimension 2

    codimension 3

    codimension 4

    codimension 5

    codimension 6

  • SSM -Thom polynomial in monomial basis:
  • +t^6*( c[6] )
    +t^7*( -c[1]*c[6] -5*c[7] )
    +t^8*( c[1]^2*c[6] +6*c[1]*c[7] -c[2]*c[6] +15*c[8] )
    +t^9*( -c[1]^3*c[6] -7*c[1]^2*c[7] +2*c[1]*c[2]*c[6] -21*c[1]*c[8] +7*c[2]*c[7] -c[3]*c[6] -35*c[9] )
    +t^10*( c[1]^4*c[6] +8*c[1]^3*c[7] -3*c[1]^2*c[2]*c[6] +28*c[1]^2*c[8] -16*c[1]*c[2]*c[7] +2*c[1]*c[3]*c[6] +c[2]^2*c[6] +56*c[1]*c[9] -28*c[2]*c[8] +8*c[3]*c[7] -c[4]*c[6] +70*c[10] )
    +t^11*( -c[1]^5*c[6] -9*c[1]^4*c[7] +4*c[1]^3*c[2]*c[6] -36*c[1]^3*c[8] +27*c[1]^2*c[2]*c[7] -3*c[1]^2*c[3]*c[6] -3*c[1]*c[2]^2*c[6] -84*c[1]^2*c[9] +72*c[1]*c[2]*c[8] -18*c[1]*c[3]*c[7] +2*c[1]*c[4]*c[6] -9*c[2]^2*c[7] +2*c[2]*c[3]*c[6] -126*c[1]*c[10] +84*c[2]*c[9] -36*c[3]*c[8] +9*c[4]*c[7] -c[5]*c[6] -126*c[11] )
    +t^12*( c[1]^6*c[6] +10*c[1]^5*c[7] -5*c[1]^4*c[2]*c[6] +45*c[1]^4*c[8] -40*c[1]^3*c[2]*c[7] +4*c[1]^3*c[3]*c[6] +6*c[1]^2*c[2]^2*c[6] +120*c[1]^3*c[9] -135*c[1]^2*c[2]*c[8] +30*c[1]^2*c[3]*c[7] -3*c[1]^2*c[4]*c[6] +30*c[1]*c[2]^2*c[7] -6*c[1]*c[2]*c[3]*c[6] -c[2]^3*c[6] +210*c[1]^2*c[10] -240*c[1]*c[2]*c[9] +90*c[1]*c[3]*c[8] -20*c[1]*c[4]*c[7] +2*c[1]*c[5]*c[6] +45*c[2]^2*c[8] -20*c[2]*c[3]*c[7] +2*c[2]*c[4]*c[6] +c[3]^2*c[6] +236*c[1]*c[11] -218*c[2]*c[10] +116*c[3]*c[9] -47*c[4]*c[8] +9*c[5]*c[7] -2*c[6]^2 +178*c[12] )
    +t^13*( -c[1]^7*c[6] -11*c[1]^6*c[7] +6*c[1]^5*c[2]*c[6] -55*c[1]^5*c[8] +55*c[1]^4*c[2]*c[7] -5*c[1]^4*c[3]*c[6] -10*c[1]^3*c[2]^2*c[6] -165*c[1]^4*c[9] +220*c[1]^3*c[2]*c[8] -44*c[1]^3*c[3]*c[7] +4*c[1]^3*c[4]*c[6] -66*c[1]^2*c[2]^2*c[7] +12*c[1]^2*c[2]*c[3]*c[6] +4*c[1]*c[2]^3*c[6] -330*c[1]^3*c[10] +495*c[1]^2*c[2]*c[9] -165*c[1]^2*c[3]*c[8] +33*c[1]^2*c[4]*c[7] -3*c[1]^2*c[5]*c[6] -165*c[1]*c[2]^2*c[8] +66*c[1]*c[2]*c[3]*c[7] -6*c[1]*c[2]*c[4]*c[6] -3*c[1]*c[3]^2*c[6] +11*c[2]^3*c[7] -3*c[2]^2*c[3]*c[6] -430*c[1]^2*c[11] +676*c[1]*c[2]*c[10] -322*c[1]*c[3]*c[9] +114*c[1]*c[4]*c[8] -20*c[1]*c[5]*c[7] +4*c[1]*c[6]^2 -165*c[2]^2*c[9] +110*c[2]*c[3]*c[8] -22*c[2]*c[4]*c[7] +2*c[2]*c[5]*c[6] -11*c[3]^2*c[7] +2*c[3]*c[4]*c[6] -142*c[1]*c[12] +590*c[2]*c[11] -266*c[3]*c[10] +197*c[4]*c[9] -39*c[5]*c[8] +26*c[6]*c[7] +182*c[13] )
    +t^14*( c[1]^8*c[6] +12*c[1]^7*c[7] -7*c[1]^6*c[2]*c[6] +66*c[1]^6*c[8] -72*c[1]^5*c[2]*c[7] +6*c[1]^5*c[3]*c[6] +15*c[1]^4*c[2]^2*c[6] +220*c[1]^5*c[9] -330*c[1]^4*c[2]*c[8] +60*c[1]^4*c[3]*c[7] -5*c[1]^4*c[4]*c[6] +120*c[1]^3*c[2]^2*c[7] -20*c[1]^3*c[2]*c[3]*c[6] -10*c[1]^2*c[2]^3*c[6] +495*c[1]^4*c[10] -880*c[1]^3*c[2]*c[9] +264*c[1]^3*c[3]*c[8] -48*c[1]^3*c[4]*c[7] +4*c[1]^3*c[5]*c[6] +396*c[1]^2*c[2]^2*c[8] -144*c[1]^2*c[2]*c[3]*c[7] +12*c[1]^2*c[2]*c[4]*c[6] +6*c[1]^2*c[3]^2*c[6] -48*c[1]*c[2]^3*c[7] +12*c[1]*c[2]^2*c[3]*c[6] +c[2]^4*c[6] +744*c[1]^3*c[11] -1509*c[1]^2*c[2]*c[10] +648*c[1]^2*c[3]*c[9] -204*c[1]^2*c[4]*c[8] +33*c[1]^2*c[5]*c[7] -6*c[1]^2*c[6]^2 +660*c[1]*c[2]^2*c[9] -396*c[1]*c[2]*c[3]*c[8] +72*c[1]*c[2]*c[4]*c[7] -6*c[1]*c[2]*c[5]*c[6] +36*c[1]*c[3]^2*c[7] -6*c[1]*c[3]*c[4]*c[6] -66*c[2]^3*c[8] +36*c[2]^2*c[3]*c[7] -3*c[2]^2*c[4]*c[6] -3*c[2]*c[3]^2*c[6] +268*c[1]^2*c[12] -1832*c[1]*c[2]*c[11] +850*c[1]*c[3]*c[10] -510*c[1]*c[4]*c[9] +97*c[1]*c[5]*c[8] -57*c[1]*c[6]*c[7] +511*c[2]^2*c[10] -432*c[2]*c[3]*c[9] +136*c[2]*c[4]*c[8] -22*c[2]*c[5]*c[7] +4*c[2]*c[6]^2 +66*c[3]^2*c[8] -24*c[3]*c[4]*c[7] +2*c[3]*c[5]*c[6] +c[4]^2*c[6] -2584*c[1]*c[13] -1988*c[2]*c[12] +228*c[3]*c[11] -777*c[4]*c[10] +79*c[5]*c[9] -162*c[6]*c[8] -34*c[7]^2 -4017*c[14] )
    +t^15*( -c[1]^9*c[6] -13*c[1]^8*c[7] +8*c[1]^7*c[2]*c[6] -78*c[1]^7*c[8] +91*c[1]^6*c[2]*c[7] -7*c[1]^6*c[3]*c[6] -21*c[1]^5*c[2]^2*c[6] -286*c[1]^6*c[9] +468*c[1]^5*c[2]*c[8] -78*c[1]^5*c[3]*c[7] +6*c[1]^5*c[4]*c[6] -195*c[1]^4*c[2]^2*c[7] +30*c[1]^4*c[2]*c[3]*c[6] +20*c[1]^3*c[2]^3*c[6] -715*c[1]^5*c[10] +1430*c[1]^4*c[2]*c[9] -390*c[1]^4*c[3]*c[8] +65*c[1]^4*c[4]*c[7] -5*c[1]^4*c[5]*c[6] -780*c[1]^3*c[2]^2*c[8] +260*c[1]^3*c[2]*c[3]*c[7] -20*c[1]^3*c[2]*c[4]*c[6] -10*c[1]^3*c[3]^2*c[6] +130*c[1]^2*c[2]^3*c[7] -30*c[1]^2*c[2]^2*c[3]*c[6] -5*c[1]*c[2]^4*c[6] -1223*c[1]^4*c[11] +2892*c[1]^3*c[2]*c[10] -1128*c[1]^3*c[3]*c[9] +320*c[1]^3*c[4]*c[8] -48*c[1]^3*c[5]*c[7] +8*c[1]^3*c[6]^2 -1716*c[1]^2*c[2]^2*c[9] +936*c[1]^2*c[2]*c[3]*c[8] -156*c[1]^2*c[2]*c[4]*c[7] +12*c[1]^2*c[2]*c[5]*c[6] -78*c[1]^2*c[3]^2*c[7] +12*c[1]^2*c[3]*c[4]*c[6] +312*c[1]*c[2]^3*c[8] -156*c[1]*c[2]^2*c[3]*c[7] +12*c[1]*c[2]^2*c[4]*c[6] +12*c[1]*c[2]*c[3]^2*c[6] -13*c[2]^4*c[7] +4*c[2]^3*c[3]*c[6] -676*c[1]^3*c[12] +4221*c[1]^2*c[2]*c[11] -1917*c[1]^2*c[3]*c[10] +972*c[1]^2*c[4]*c[9] -177*c[1]^2*c[5]*c[8] +93*c[1]^2*c[6]*c[7] -2193*c[1]*c[2]^2*c[10] +1692*c[1]*c[2]*c[3]*c[9] -480*c[1]*c[2]*c[4]*c[8] +72*c[1]*c[2]*c[5]*c[7] -12*c[1]*c[2]*c[6]^2 -234*c[1]*c[3]^2*c[8] +78*c[1]*c[3]*c[4]*c[7] -6*c[1]*c[3]*c[5]*c[6] -3*c[1]*c[4]^2*c[6] +286*c[2]^3*c[9] -234*c[2]^2*c[3]*c[8] +39*c[2]^2*c[4]*c[7] -3*c[2]^2*c[5]*c[6] +39*c[2]*c[3]^2*c[7] -6*c[2]*c[3]*c[4]*c[6] -c[3]^3*c[6] +5468*c[1]^2*c[13] +5312*c[1]*c[2]*c[12] -1202*c[1]*c[3]*c[11] +2100*c[1]*c[4]*c[10] -237*c[1]*c[5]*c[9] +384*c[1]*c[6]*c[8] +83*c[1]*c[7]^2 -1591*c[2]^2*c[11] +1294*c[2]*c[3]*c[10] -648*c[2]*c[4]*c[9] +118*c[2]*c[5]*c[8] -62*c[2]*c[6]*c[7] -278*c[3]^2*c[9] +160*c[3]*c[4]*c[8] -24*c[3]*c[5]*c[7] +4*c[3]*c[6]^2 -13*c[4]^2*c[7] +2*c[4]*c[5]*c[6] +23929*c[1]*c[14] +7748*c[2]*c[13] +1972*c[3]*c[12] +3099*c[4]*c[11] +191*c[5]*c[10] +796*c[6]*c[9] +330*c[7]*c[8] +28277*c[15] )
    +t^16*( 24*c[1]*c[2]*c[3]*c[4]*c[6] -150871*c[16] -764*c[8]^2 -42*c[1]^5*c[2]*c[3]*c[6] +60*c[1]^3*c[2]^2*c[3]*c[6] -20*c[1]*c[2]^3*c[3]*c[6] -30*c[1]^2*c[2]*c[3]^2*c[6] +30*c[1]^4*c[2]*c[4]*c[6] -30*c[1]^2*c[2]^2*c[4]*c[6] -20*c[1]^3*c[3]*c[4]*c[6] -20*c[1]^3*c[2]*c[5]*c[6] +12*c[1]*c[2]^2*c[5]*c[6] +12*c[1]^2*c[3]*c[5]*c[6] -6*c[2]*c[3]*c[5]*c[6] -6*c[1]*c[4]*c[5]*c[6] -420*c[1]^4*c[2]*c[3]*c[7] +420*c[1]^2*c[2]^2*c[3]*c[7] -168*c[1]*c[2]*c[3]^2*c[7] +280*c[1]^3*c[2]*c[4]*c[7] -168*c[1]*c[2]^2*c[4]*c[7] -168*c[1]^2*c[3]*c[4]*c[7] +84*c[2]*c[3]*c[4]*c[7] -156*c[1]^2*c[2]*c[5]*c[7] +78*c[1]*c[3]*c[5]*c[7] +201*c[1]*c[2]*c[6]*c[7] -1820*c[1]^3*c[2]*c[3]*c[8] +1092*c[1]*c[2]^2*c[3]*c[8] +1116*c[1]^2*c[2]*c[4]*c[8] -558*c[1]*c[3]*c[4]*c[8] -423*c[1]*c[2]*c[5]*c[8] -4320*c[1]^2*c[2]*c[3]*c[9] +2430*c[1]*c[2]*c[4]*c[9] -5562*c[1]*c[2]*c[3]*c[10] +3554*c[1]^2*c[3]*c[11] -2760*c[2]*c[3]*c[11] -8620*c[1]*c[4]*c[11] -11369*c[1]^2*c[2]*c[12] -4138*c[1]*c[3]*c[12] -15232*c[1]*c[2]*c[13] +6*c[2]^2*c[3]^2*c[6] +4*c[1]*c[3]^3*c[6] -7*c[1]^6*c[4]*c[6] +4*c[2]^3*c[4]*c[6] -3*c[3]^2*c[4]*c[6] +6*c[1]^2*c[4]^2*c[6] -3*c[2]*c[4]^2*c[6] +6*c[1]^5*c[5]*c[6] +24*c[1]^2*c[2]*c[6]^2 -12*c[1]*c[3]*c[6]^2 -112*c[1]^7*c[2]*c[7] +294*c[1]^5*c[2]^2*c[7] -280*c[1]^3*c[2]^3*c[7] +70*c[1]*c[2]^4*c[7] +98*c[1]^6*c[3]*c[7] -56*c[2]^3*c[3]*c[7] +140*c[1]^3*c[3]^2*c[7] -84*c[1]^5*c[4]*c[7] +42*c[1]*c[4]^2*c[7] +65*c[1]^4*c[5]*c[7] +39*c[2]^2*c[5]*c[7] -26*c[4]*c[5]*c[7] -134*c[1]^3*c[6]*c[7] -67*c[3]*c[6]*c[7] -637*c[1]^6*c[2]*c[8] +1365*c[1]^4*c[2]^2*c[8] -910*c[1]^2*c[2]^3*c[8] -9*c[1]^8*c[2]*c[6] +28*c[1]^6*c[2]^2*c[6] -35*c[1]^4*c[2]^3*c[6] +15*c[1]^2*c[2]^4*c[6] +8*c[1]^7*c[3]*c[6] +15*c[1]^4*c[3]^2*c[6] +546*c[1]^5*c[3]*c[8] +546*c[1]^2*c[3]^2*c[8] -273*c[2]*c[3]^2*c[8] -465*c[1]^4*c[4]*c[8] -279*c[2]^2*c[4]*c[8] +282*c[1]^3*c[5]*c[8] +141*c[3]*c[5]*c[8] -674*c[1]^2*c[6]*c[8] +450*c[2]*c[6]*c[8] -858*c[1]*c[7]*c[8] -2184*c[1]^5*c[2]*c[9] +3640*c[1]^3*c[2]^2*c[9] -1456*c[1]*c[2]^3*c[9] +1800*c[1]^4*c[3]*c[9] +1080*c[2]^2*c[3]*c[9] +1068*c[1]*c[3]^2*c[9] -1620*c[1]^3*c[4]*c[9] -802*c[3]*c[4]*c[9] +503*c[1]^2*c[5]*c[9] -335*c[2]*c[5]*c[9] -2038*c[1]*c[6]*c[9] -5045*c[1]^4*c[2]*c[10] +6102*c[1]^2*c[2]^2*c[10] +3676*c[1]^3*c[3]*c[10] -4181*c[1]^2*c[4]*c[10] +2804*c[2]*c[4]*c[10] -322*c[1]*c[5]*c[10] -8472*c[1]^3*c[2]*c[11] +6942*c[1]*c[2]^2*c[11] -148302*c[1]*c[15] +c[1]^10*c[6] -c[2]^5*c[6] +c[5]^2*c[6] -10*c[1]^4*c[6]^2 -6*c[2]^2*c[6]^2 +4*c[4]*c[6]^2 +14*c[1]^9*c[7] +14*c[3]^3*c[7] -149*c[1]^2*c[7]^2 +99*c[2]*c[7]^2 +91*c[1]^8*c[8] +91*c[2]^4*c[8] +95*c[4]^2*c[8] +364*c[1]^7*c[9] -1205*c[7]*c[9] +1001*c[1]^6*c[10] -1025*c[2]^3*c[10] +837*c[3]^2*c[10] -3492*c[6]*c[10] +1922*c[1]^5*c[11] -2744*c[5]*c[11] +1531*c[1]^4*c[12] +6051*c[2]^2*c[12] -12431*c[4]*c[12] -8616*c[1]^3*c[13] -16864*c[3]*c[13] -53029*c[1]^2*c[14] -28395*c[2]*c[14] )

  • SSM -Thom polynomial in Schur basis:
  • +t^6*( s[[6]] )
    +t^7*( -6*s[[7]] -s[[6,1]] )
    +t^8*( 21*s[[8]] +7*s[[7,1]] +s[[6,1,1]] )
    +t^9*( -s[[6,1,1,1]] -8*s[[7,1,1]] -28*s[[8,1]] -56*s[[9]] )
    +t^10*( s[[6,1,1,1,1]] +9*s[[7,1,1,1]] +36*s[[8,1,1]] +84*s[[9,1]] +126*s[[10]] )
    +t^11*( -s[[6,1,1,1,1,1]] -10*s[[7,1,1,1,1]] -45*s[[8,1,1,1]] -120*s[[9,1,1]] -210*s[[10,1]] -252*s[[11]] )
    +t^12*( s[[6,1,1,1,1,1,1]] -s[[6,6]] +11*s[[7,1,1,1,1,1]] -2*s[[7,5]] +55*s[[8,1,1,1,1]] -4*s[[8,4]] +165*s[[9,1,1,1]] -8*s[[9,3]] +330*s[[10,1,1]] -16*s[[10,2]] +430*s[[11,1]] +398*s[[12]] )
    +t^13*( -s[[6,1,1,1,1,1,1,1]] +2*s[[6,6,1]] -12*s[[7,1,1,1,1,1,1]] +4*s[[7,5,1]] +22*s[[7,6]] -66*s[[8,1,1,1,1,1]] +8*s[[8,4,1]] +44*s[[8,5]] -220*s[[9,1,1,1,1]] +16*s[[9,3,1]] +88*s[[9,4]] -495*s[[10,1,1,1]] +32*s[[10,2,1]] +176*s[[10,3]] -728*s[[11,1,1]] +352*s[[11,2]] -220*s[[12,1]] +360*s[[13]] )
    +t^14*( -12*s[[8,4,1,1]] -4*s[[8,4,2]] -94*s[[8,5,1]] -259*s[[8,6]] +286*s[[9,1,1,1,1,1]] -24*s[[9,3,1,1]] -8*s[[9,3,2]] -188*s[[9,4,1]] -518*s[[9,5]] +715*s[[10,1,1,1,1]] -48*s[[10,2,1,1]] -16*s[[10,2,2]] -376*s[[10,3,1]] -1036*s[[10,4]] +1191*s[[11,1,1,1]] -752*s[[11,2,1]] -2072*s[[11,3]] +276*s[[12,1,1]] -4144*s[[12,2]] -6444*s[[13,1]] -10041*s[[14]] +s[[6,1,1,1,1,1,1,1,1]] -3*s[[6,6,1,1]] -s[[6,6,2]] +13*s[[7,1,1,1,1,1,1,1]] -6*s[[7,5,1,1]] -2*s[[7,5,2]] -47*s[[7,6,1]] -86*s[[7,7]] +78*s[[8,1,1,1,1,1,1]] )
    +t^15*( -s[[6,1,1,1,1,1,1,1,1,1]] +4*s[[6,6,1,1,1]] +2*s[[6,6,2,1]] -14*s[[7,1,1,1,1,1,1,1,1]] +8*s[[7,5,1,1,1]] +4*s[[7,5,2,1]] +75*s[[7,6,1,1]] +25*s[[7,6,2]] +195*s[[7,7,1]] -91*s[[8,1,1,1,1,1,1,1]] +34720*s[[13,2]] +63749*s[[14,1]] +78638*s[[15]] +16*s[[8,4,1,1,1]] +8*s[[8,4,2,1]] +150*s[[8,5,1,1]] +50*s[[8,5,2]] +589*s[[8,6,1]] +959*s[[8,7]] -364*s[[9,1,1,1,1,1,1]] +32*s[[9,3,1,1,1]] +16*s[[9,3,2,1]] +300*s[[9,4,1,1]] +100*s[[9,4,2]] +1178*s[[9,5,1]] +2170*s[[9,6]] -1001*s[[10,1,1,1,1,1]] +64*s[[10,2,1,1,1]] +32*s[[10,2,2,1]] +600*s[[10,3,1,1]] +200*s[[10,3,2]] +2356*s[[10,4,1]] +4340*s[[10,5]] -1874*s[[11,1,1,1,1]] +1200*s[[11,2,1,1]] +400*s[[11,2,2]] +4712*s[[11,3,1]] +8680*s[[11,4]] -731*s[[12,1,1,1]] +9424*s[[12,2,1]] +17360*s[[12,3]] +13816*s[[13,1,1]] )
    +t^16*( 455*s[[9,1,1,1,1,1,1,1]] -40*s[[9,3,1,1,1,1]] -24*s[[9,3,2,1,1]] -8*s[[9,3,2,2]] -424*s[[9,4,1,1,1]] -212*s[[9,4,2,1]] -1994*s[[9,5,1,1]] -664*s[[9,5,2]] -5236*s[[9,6,1]] -6958*s[[9,7]] +1365*s[[10,1,1,1,1,1,1]] -80*s[[10,2,1,1,1,1]] -48*s[[10,2,2,1,1]] -16*s[[10,2,2,2]] -848*s[[10,3,1,1,1]] -424*s[[10,3,2,1]] -3988*s[[10,4,1,1]] -1328*s[[10,4,2]] -10472*s[[10,5,1]] -14518*s[[10,6]] +2843*s[[11,1,1,1,1,1]] -1696*s[[11,2,1,1,1]] -848*s[[11,2,2,1]] -7976*s[[11,3,1,1]] -2656*s[[11,3,2]] -20944*s[[11,4,1]] -29036*s[[11,5]] +1805*s[[12,1,1,1,1]] -15952*s[[12,2,1,1]] -5312*s[[12,2,2]] -41888*s[[12,3,1]] -58072*s[[12,4]] -22205*s[[13,1,1,1]] -83776*s[[13,2,1]] -116144*s[[13,3]] -140125*s[[14,1,1]] -232288*s[[14,2]] -429107*s[[15,1]] -462021*s[[16]] -10*s[[7,5,1,1,1,1]] -6*s[[7,5,2,1,1]] -2*s[[7,5,2,2]] -106*s[[7,6,1,1,1]] -53*s[[7,6,2,1]] -329*s[[7,7,1,1]] -110*s[[7,7,2]] +105*s[[8,1,1,1,1,1,1,1,1]] -20*s[[8,4,1,1,1,1]] -12*s[[8,4,2,1,1]] -4*s[[8,4,2,2]] -212*s[[8,5,1,1,1]] -106*s[[8,5,2,1]] -997*s[[8,6,1,1]] -332*s[[8,6,2]] -2310*s[[8,7,1]] -2114*s[[8,8]] -5*s[[6,6,1,1,1,1]] -3*s[[6,6,2,1,1]] -s[[6,6,2,2]] +15*s[[7,1,1,1,1,1,1,1,1,1]] +s[[6,1,1,1,1,1,1,1,1,1,1]] )

    codimension 7

    codimension 8

    codimension 9

    codimension 10

    codimension 11

    codimension 12

  • SSM -Thom polynomial in monomial basis:
  • +t^12*( 16*c[1]*c[11] +8*c[2]*c[10] +4*c[3]*c[9] +2*c[4]*c[8] +c[5]*c[7] +c[6]^2 +32*c[12] )
    +t^13*( -32*c[1]^2*c[11] -16*c[1]*c[2]*c[10] -8*c[1]*c[3]*c[9] -4*c[1]*c[4]*c[8] -2*c[1]*c[5]*c[7] -2*c[1]*c[6]^2 -320*c[1]*c[12] -128*c[2]*c[11] -64*c[3]*c[10] -32*c[4]*c[9] -16*c[5]*c[8] -16*c[6]*c[7] -512*c[13] )
    +t^14*( 48*c[1]^3*c[11] +24*c[1]^2*c[2]*c[10] +12*c[1]^2*c[3]*c[9] +6*c[1]^2*c[4]*c[8] +3*c[1]^2*c[5]*c[7] +3*c[1]^2*c[6]^2 +656*c[1]^2*c[12] +248*c[1]*c[2]*c[11] +140*c[1]*c[3]*c[10] +70*c[1]*c[4]*c[9] +35*c[1]*c[5]*c[8] +35*c[1]*c[6]*c[7] -16*c[2]^2*c[10] -8*c[2]*c[3]*c[9] -4*c[2]*c[4]*c[8] -2*c[2]*c[5]*c[7] -2*c[2]*c[6]^2 +3376*c[1]*c[13] +1064*c[2]*c[12] +564*c[3]*c[11] +282*c[4]*c[10] +141*c[5]*c[9] +97*c[6]*c[8] +44*c[7]^2 +4512*c[14] )
    +t^15*( -64*c[1]^4*c[11] -32*c[1]^3*c[2]*c[10] -16*c[1]^3*c[3]*c[9] -8*c[1]^3*c[4]*c[8] -4*c[1]^3*c[5]*c[7] -4*c[1]^3*c[6]^2 -1040*c[1]^3*c[12] -360*c[1]^2*c[2]*c[11] -228*c[1]^2*c[3]*c[10] -114*c[1]^2*c[4]*c[9] -57*c[1]^2*c[5]*c[8] -57*c[1]^2*c[6]*c[7] +48*c[1]*c[2]^2*c[10] +24*c[1]*c[2]*c[3]*c[9] +12*c[1]*c[2]*c[4]*c[8] +6*c[1]*c[2]*c[5]*c[7] +6*c[1]*c[2]*c[6]^2 -7184*c[1]^2*c[13] -1880*c[1]*c[2]*c[12] -1372*c[1]*c[3]*c[11] -670*c[1]*c[4]*c[10] -335*c[1]*c[5]*c[9] -230*c[1]*c[6]*c[8] -105*c[1]*c[7]^2 +304*c[2]^2*c[11] +136*c[2]*c[3]*c[10] +76*c[2]*c[4]*c[9] +38*c[2]*c[5]*c[8] +38*c[2]*c[6]*c[7] -8*c[3]^2*c[9] -4*c[3]*c[4]*c[8] -2*c[3]*c[5]*c[7] -2*c[3]*c[6]^2 -25216*c[1]*c[14] -6032*c[2]*c[13] -3688*c[3]*c[12] -1812*c[4]*c[11] -906*c[5]*c[10] -521*c[6]*c[9] -385*c[7]*c[8] -28992*c[15] )
    +t^16*( 80*c[1]^5*c[11] +40*c[1]^4*c[2]*c[10] +20*c[1]^4*c[3]*c[9] +10*c[1]^4*c[4]*c[8] +5*c[1]^4*c[5]*c[7] +5*c[1]^4*c[6]^2 +1472*c[1]^4*c[12] +464*c[1]^3*c[2]*c[11] +328*c[1]^3*c[3]*c[10] +164*c[1]^3*c[4]*c[9] +82*c[1]^3*c[5]*c[8] +82*c[1]^3*c[6]*c[7] -96*c[1]^2*c[2]^2*c[10] -48*c[1]^2*c[2]*c[3]*c[9] -24*c[1]^2*c[2]*c[4]*c[8] -12*c[1]^2*c[2]*c[5]*c[7] -12*c[1]^2*c[2]*c[6]^2 +12048*c[1]^3*c[13] +2360*c[1]^2*c[2]*c[12] +2452*c[1]^2*c[3]*c[11] +1178*c[1]^2*c[4]*c[10] +589*c[1]^2*c[5]*c[9] +404*c[1]^2*c[6]*c[8] +185*c[1]^2*c[7]^2 -936*c[1]*c[2]^2*c[11] -444*c[1]*c[2]*c[3]*c[10] -246*c[1]*c[2]*c[4]*c[9] -123*c[1]*c[2]*c[5]*c[8] -123*c[1]*c[2]*c[6]*c[7] +24*c[1]*c[3]^2*c[9] +12*c[1]*c[3]*c[4]*c[8] +6*c[1]*c[3]*c[5]*c[7] +6*c[1]*c[3]*c[6]^2 +24*c[2]^3*c[10] +12*c[2]^2*c[3]*c[9] +6*c[2]^2*c[4]*c[8] +3*c[2]^2*c[5]*c[7] +3*c[2]^2*c[6]^2 +56032*c[1]^2*c[14] +8368*c[1]*c[2]*c[13] +10144*c[1]*c[3]*c[12] +4616*c[1]*c[4]*c[11] +2324*c[1]*c[5]*c[10] +1334*c[1]*c[6]*c[9] +990*c[1]*c[7]*c[8] -3048*c[2]^2*c[12] -1244*c[2]*c[3]*c[11] -802*c[2]*c[4]*c[10] -393*c[2]*c[5]*c[9] -270*c[2]*c[6]*c[8] -123*c[2]*c[7]^2 +164*c[3]^2*c[10] +74*c[3]*c[4]*c[9] +41*c[3]*c[5]*c[8] +41*c[3]*c[6]*c[7] -4*c[4]^2*c[8] -2*c[4]*c[5]*c[7] -2*c[4]*c[6]^2 +150304*c[1]*c[15] +25392*c[2]*c[14] +20296*c[3]*c[13] +9428*c[4]*c[12] +4746*c[5]*c[11] +2522*c[6]*c[10] +1565*c[7]*c[9] +659*c[8]^2 +151872*c[16] )

  • SSM -Thom polynomial in Schur basis:
  • +t^12*( 64*s[[12]] +s[[6,6]] +2*s[[7,5]] +4*s[[8,4]] +8*s[[9,3]] +16*s[[10,2]] +32*s[[11,1]] )
    +t^13*( -2*s[[6,6,1]] -4*s[[7,5,1]] -22*s[[7,6]] -8*s[[8,4,1]] -44*s[[8,5]] -16*s[[9,3,1]] -88*s[[9,4]] -32*s[[10,2,1]] -176*s[[10,3]] -64*s[[11,1,1]] -352*s[[11,2]] -704*s[[12,1]] -1152*s[[13]] )
    +t^14*( 12*s[[8,4,1,1]] +4*s[[8,4,2]] +94*s[[8,5,1]] +259*s[[8,6]] +24*s[[9,3,1,1]] +8*s[[9,3,2]] +188*s[[9,4,1]] +518*s[[9,5]] +48*s[[10,2,1,1]] +16*s[[10,2,2]] +376*s[[10,3,1]] +1036*s[[10,4]] +96*s[[11,1,1,1]] +752*s[[11,2,1]] +2072*s[[11,3]] +1440*s[[12,1,1]] +4144*s[[12,2]] +8160*s[[13,1]] +11328*s[[14]] +3*s[[6,6,1,1]] +s[[6,6,2]] +6*s[[7,5,1,1]] +2*s[[7,5,2]] +47*s[[7,6,1]] +84*s[[7,7]] )
    +t^15*( -4*s[[6,6,1,1,1]] -2*s[[6,6,2,1]] -8*s[[7,5,1,1,1]] -4*s[[7,5,2,1]] -75*s[[7,6,1,1]] -25*s[[7,6,2]] -191*s[[7,7,1]] -34720*s[[13,2]] -66752*s[[14,1]] -80640*s[[15]] -16*s[[8,4,1,1,1]] -8*s[[8,4,2,1]] -150*s[[8,5,1,1]] -50*s[[8,5,2]] -589*s[[8,6,1]] -945*s[[8,7]] -32*s[[9,3,1,1,1]] -16*s[[9,3,2,1]] -300*s[[9,4,1,1]] -100*s[[9,4,2]] -1178*s[[9,5,1]] -2170*s[[9,6]] -64*s[[10,2,1,1,1]] -32*s[[10,2,2,1]] -600*s[[10,3,1,1]] -200*s[[10,3,2]] -2356*s[[10,4,1]] -4340*s[[10,5]] -128*s[[11,1,1,1,1]] -1200*s[[11,2,1,1]] -400*s[[11,2,2]] -4712*s[[11,3,1]] -8680*s[[11,4]] -2272*s[[12,1,1,1]] -9424*s[[12,2,1]] -17360*s[[12,3]] -17248*s[[13,1,1]] )
    +t^16*( 40*s[[9,3,1,1,1,1]] +24*s[[9,3,2,1,1]] +8*s[[9,3,2,2]] +424*s[[9,4,1,1,1]] +212*s[[9,4,2,1]] +1994*s[[9,5,1,1]] +664*s[[9,5,2]] +5236*s[[9,6,1]] +6902*s[[9,7]] +80*s[[10,2,1,1,1,1]] +48*s[[10,2,2,1,1]] +16*s[[10,2,2,2]] +848*s[[10,3,1,1,1]] +424*s[[10,3,2,1]] +3988*s[[10,4,1,1]] +1328*s[[10,4,2]] +10472*s[[10,5,1]] +14518*s[[10,6]] +160*s[[11,1,1,1,1,1]] +1696*s[[11,2,1,1,1]] +848*s[[11,2,2,1]] +7976*s[[11,3,1,1]] +2656*s[[11,3,2]] +20944*s[[11,4,1]] +29036*s[[11,5]] +3200*s[[12,1,1,1,1]] +15952*s[[12,2,1,1]] +5312*s[[12,2,2]] +41888*s[[12,3,1]] +58072*s[[12,4]] +28640*s[[13,1,1,1]] +83776*s[[13,2,1]] +116144*s[[13,3]] +146560*s[[14,1,1]] +232288*s[[14,2]] +434112*s[[15,1]] +465024*s[[16]] +10*s[[7,5,1,1,1,1]] +6*s[[7,5,2,1,1]] +2*s[[7,5,2,2]] +106*s[[7,6,1,1,1]] +53*s[[7,6,2,1]] +323*s[[7,7,1,1]] +108*s[[7,7,2]] +20*s[[8,4,1,1,1,1]] +12*s[[8,4,2,1,1]] +4*s[[8,4,2,2]] +212*s[[8,5,1,1,1]] +106*s[[8,5,2,1]] +997*s[[8,6,1,1]] +332*s[[8,6,2]] +2280*s[[8,7,1]] +2072*s[[8,8]] +5*s[[6,6,1,1,1,1]] +3*s[[6,6,2,1,1]] +s[[6,6,2,2]] )

    codimension 13

    codimension 14

  • SSM -Thom polynomial in monomial basis:
  • +t^14*( -c[6]*c[8] +c[7]^2 )
    +t^15*( 2*c[1]*c[6]*c[8] -2*c[1]*c[7]^2 +5*c[6]*c[9] -5*c[7]*c[8] )
    +t^16*( -3*c[1]^2*c[6]*c[8] +3*c[1]^2*c[7]^2 -11*c[1]*c[6]*c[9] +11*c[1]*c[7]*c[8] +2*c[2]*c[6]*c[8] -2*c[2]*c[7]^2 -16*c[6]*c[10] +9*c[7]*c[9] +7*c[8]^2 )

  • SSM -Thom polynomial in Schur basis:
  • +t^14*( s[[7,7]] )
    +t^15*( -2*s[[7,7,1]] -7*s[[8,7]] )
    +t^16*( 3*s[[7,7,1,1]] +s[[7,7,2]] +15*s[[8,7,1]] +21*s[[8,8]] +28*s[[9,7]] )

    codimension 15

    codimension 16