SSM-Thom polynomials for l=6
SSM -Thom polynomials of contact singularities of relative dimension 6
codimension 0
+t^0*( 1 )
+t^7*( -c[7] )
+t^8*( c[1]*c[7] +6*c[8] )
+t^9*( -c[1]^2*c[7] -7*c[1]*c[8] +c[2]*c[7] -21*c[9] )
+t^10*( c[1]^3*c[7] +8*c[1]^2*c[8] -2*c[1]*c[2]*c[7] +28*c[1]*c[9] -8*c[2]*c[8] +c[3]*c[7] +56*c[10] )
+t^11*( -c[1]^4*c[7] -9*c[1]^3*c[8] +3*c[1]^2*c[2]*c[7] -36*c[1]^2*c[9] +18*c[1]*c[2]*c[8] -2*c[1]*c[3]*c[7] -c[2]^2*c[7] -84*c[1]*c[10] +36*c[2]*c[9] -9*c[3]*c[8] +c[4]*c[7] -126*c[11] )
+t^12*( c[1]^5*c[7] +10*c[1]^4*c[8] -4*c[1]^3*c[2]*c[7] +45*c[1]^3*c[9] -30*c[1]^2*c[2]*c[8] +3*c[1]^2*c[3]*c[7] +3*c[1]*c[2]^2*c[7] +120*c[1]^2*c[10] -90*c[1]*c[2]*c[9] +20*c[1]*c[3]*c[8] -2*c[1]*c[4]*c[7] +10*c[2]^2*c[8] -2*c[2]*c[3]*c[7] +210*c[1]*c[11] -120*c[2]*c[10] +45*c[3]*c[9] -10*c[4]*c[8] +c[5]*c[7] +252*c[12] )
+t^13*( -c[1]^6*c[7] -11*c[1]^5*c[8] +5*c[1]^4*c[2]*c[7] -55*c[1]^4*c[9] +44*c[1]^3*c[2]*c[8] -4*c[1]^3*c[3]*c[7] -6*c[1]^2*c[2]^2*c[7] -165*c[1]^3*c[10] +165*c[1]^2*c[2]*c[9] -33*c[1]^2*c[3]*c[8] +3*c[1]^2*c[4]*c[7] -33*c[1]*c[2]^2*c[8] +6*c[1]*c[2]*c[3]*c[7] +c[2]^3*c[7] -330*c[1]^2*c[11] +330*c[1]*c[2]*c[10] -110*c[1]*c[3]*c[9] +22*c[1]*c[4]*c[8] -2*c[1]*c[5]*c[7] -55*c[2]^2*c[9] +22*c[2]*c[3]*c[8] -2*c[2]*c[4]*c[7] -c[3]^2*c[7] -462*c[1]*c[12] +330*c[2]*c[11] -165*c[3]*c[10] +55*c[4]*c[9] -11*c[5]*c[8] +c[6]*c[7] -462*c[13] )
+t^14*( c[1]^7*c[7] +12*c[1]^6*c[8] -6*c[1]^5*c[2]*c[7] +66*c[1]^5*c[9] -60*c[1]^4*c[2]*c[8] +5*c[1]^4*c[3]*c[7] +10*c[1]^3*c[2]^2*c[7] +220*c[1]^4*c[10] -264*c[1]^3*c[2]*c[9] +48*c[1]^3*c[3]*c[8] -4*c[1]^3*c[4]*c[7] +72*c[1]^2*c[2]^2*c[8] -12*c[1]^2*c[2]*c[3]*c[7] -4*c[1]*c[2]^3*c[7] +495*c[1]^3*c[11] -660*c[1]^2*c[2]*c[10] +198*c[1]^2*c[3]*c[9] -36*c[1]^2*c[4]*c[8] +3*c[1]^2*c[5]*c[7] +198*c[1]*c[2]^2*c[9] -72*c[1]*c[2]*c[3]*c[8] +6*c[1]*c[2]*c[4]*c[7] +3*c[1]*c[3]^2*c[7] -12*c[2]^3*c[8] +3*c[2]^2*c[3]*c[7] +792*c[1]^2*c[12] -990*c[1]*c[2]*c[11] +440*c[1]*c[3]*c[10] -132*c[1]*c[4]*c[9] +24*c[1]*c[5]*c[8] -2*c[1]*c[6]*c[7] +220*c[2]^2*c[10] -132*c[2]*c[3]*c[9] +24*c[2]*c[4]*c[8] -2*c[2]*c[5]*c[7] +12*c[3]^2*c[8] -2*c[3]*c[4]*c[7] +924*c[1]*c[13] -792*c[2]*c[12] +495*c[3]*c[11] -220*c[4]*c[10] +66*c[5]*c[9] -12*c[6]*c[8] +c[7]^2 +792*c[14] )
+t^0*( s[[0]] )
+t^7*( -s[[7]] )
+t^8*( 7*s[[8]] +s[[7,1]] )
+t^9*( -28*s[[9]] -8*s[[8,1]] -s[[7,1,1]] )
+t^10*( s[[7,1,1,1]] +9*s[[8,1,1]] +36*s[[9,1]] +84*s[[10]] )
+t^11*( -s[[7,1,1,1,1]] -10*s[[8,1,1,1]] -45*s[[9,1,1]] -120*s[[10,1]] -210*s[[11]] )
+t^12*( s[[7,1,1,1,1,1]] +11*s[[8,1,1,1,1]] +55*s[[9,1,1,1]] +165*s[[10,1,1]] +330*s[[11,1]] +462*s[[12]] )
+t^13*( -66*s[[9,1,1,1,1]] -220*s[[10,1,1,1]] -495*s[[11,1,1]] -792*s[[12,1]] -924*s[[13]] -s[[7,1,1,1,1,1,1]] -12*s[[8,1,1,1,1,1]] )
+t^14*( 286*s[[10,1,1,1,1]] +715*s[[11,1,1,1]] +1287*s[[12,1,1]] +1716*s[[13,1]] +1716*s[[14]] +s[[7,1,1,1,1,1,1,1]] +13*s[[8,1,1,1,1,1,1]] +78*s[[9,1,1,1,1,1]] )
codimension 1
codimension 2
codimension 3
codimension 4
codimension 5
codimension 6
codimension 7
+t^7*( c[7] )
+t^8*( -c[1]*c[7] -6*c[8] )
+t^9*( c[1]^2*c[7] +7*c[1]*c[8] -c[2]*c[7] +21*c[9] )
+t^10*( -c[1]^3*c[7] -8*c[1]^2*c[8] +2*c[1]*c[2]*c[7] -28*c[1]*c[9] +8*c[2]*c[8] -c[3]*c[7] -56*c[10] )
+t^11*( c[1]^4*c[7] +9*c[1]^3*c[8] -3*c[1]^2*c[2]*c[7] +36*c[1]^2*c[9] -18*c[1]*c[2]*c[8] +2*c[1]*c[3]*c[7] +c[2]^2*c[7] +84*c[1]*c[10] -36*c[2]*c[9] +9*c[3]*c[8] -c[4]*c[7] +126*c[11] )
+t^12*( -c[1]^5*c[7] -10*c[1]^4*c[8] +4*c[1]^3*c[2]*c[7] -45*c[1]^3*c[9] +30*c[1]^2*c[2]*c[8] -3*c[1]^2*c[3]*c[7] -3*c[1]*c[2]^2*c[7] -120*c[1]^2*c[10] +90*c[1]*c[2]*c[9] -20*c[1]*c[3]*c[8] +2*c[1]*c[4]*c[7] -10*c[2]^2*c[8] +2*c[2]*c[3]*c[7] -210*c[1]*c[11] +120*c[2]*c[10] -45*c[3]*c[9] +10*c[4]*c[8] -c[5]*c[7] -252*c[12] )
+t^13*( c[1]^6*c[7] +11*c[1]^5*c[8] -5*c[1]^4*c[2]*c[7] +55*c[1]^4*c[9] -44*c[1]^3*c[2]*c[8] +4*c[1]^3*c[3]*c[7] +6*c[1]^2*c[2]^2*c[7] +165*c[1]^3*c[10] -165*c[1]^2*c[2]*c[9] +33*c[1]^2*c[3]*c[8] -3*c[1]^2*c[4]*c[7] +33*c[1]*c[2]^2*c[8] -6*c[1]*c[2]*c[3]*c[7] -c[2]^3*c[7] +330*c[1]^2*c[11] -330*c[1]*c[2]*c[10] +110*c[1]*c[3]*c[9] -22*c[1]*c[4]*c[8] +2*c[1]*c[5]*c[7] +55*c[2]^2*c[9] -22*c[2]*c[3]*c[8] +2*c[2]*c[4]*c[7] +c[3]^2*c[7] +462*c[1]*c[12] -330*c[2]*c[11] +165*c[3]*c[10] -55*c[4]*c[9] +11*c[5]*c[8] -c[6]*c[7] +462*c[13] )
+t^14*( -c[1]^7*c[7] -12*c[1]^6*c[8] +6*c[1]^5*c[2]*c[7] -66*c[1]^5*c[9] +60*c[1]^4*c[2]*c[8] -5*c[1]^4*c[3]*c[7] -10*c[1]^3*c[2]^2*c[7] -220*c[1]^4*c[10] +264*c[1]^3*c[2]*c[9] -48*c[1]^3*c[3]*c[8] +4*c[1]^3*c[4]*c[7] -72*c[1]^2*c[2]^2*c[8] +12*c[1]^2*c[2]*c[3]*c[7] +4*c[1]*c[2]^3*c[7] -495*c[1]^3*c[11] +660*c[1]^2*c[2]*c[10] -198*c[1]^2*c[3]*c[9] +36*c[1]^2*c[4]*c[8] -3*c[1]^2*c[5]*c[7] -198*c[1]*c[2]^2*c[9] +72*c[1]*c[2]*c[3]*c[8] -6*c[1]*c[2]*c[4]*c[7] -3*c[1]*c[3]^2*c[7] +12*c[2]^3*c[8] -3*c[2]^2*c[3]*c[7] -792*c[1]^2*c[12] +990*c[1]*c[2]*c[11] -440*c[1]*c[3]*c[10] +132*c[1]*c[4]*c[9] -24*c[1]*c[5]*c[8] +2*c[1]*c[6]*c[7] -220*c[2]^2*c[10] +132*c[2]*c[3]*c[9] -24*c[2]*c[4]*c[8] +2*c[2]*c[5]*c[7] -12*c[3]^2*c[8] +2*c[3]*c[4]*c[7] -956*c[1]*c[13] +776*c[2]*c[12] -503*c[3]*c[11] +216*c[4]*c[10] -68*c[5]*c[9] +11*c[6]*c[8] -2*c[7]^2 -856*c[14] )
+t^7*( s[[7]] )
+t^8*( -7*s[[8]] -s[[7,1]] )
+t^9*( 28*s[[9]] +8*s[[8,1]] +s[[7,1,1]] )
+t^10*( -s[[7,1,1,1]] -9*s[[8,1,1]] -36*s[[9,1]] -84*s[[10]] )
+t^11*( s[[7,1,1,1,1]] +10*s[[8,1,1,1]] +45*s[[9,1,1]] +120*s[[10,1]] +210*s[[11]] )
+t^12*( -s[[7,1,1,1,1,1]] -11*s[[8,1,1,1,1]] -55*s[[9,1,1,1]] -165*s[[10,1,1]] -330*s[[11,1]] -462*s[[12]] )
+t^13*( 66*s[[9,1,1,1,1]] +220*s[[10,1,1,1]] +495*s[[11,1,1]] +792*s[[12,1]] +924*s[[13]] +s[[7,1,1,1,1,1,1]] +12*s[[8,1,1,1,1,1]] )
+t^14*( -4*s[[9,5]] -286*s[[10,1,1,1,1]] -8*s[[10,4]] -715*s[[11,1,1,1]] -16*s[[11,3]] -1287*s[[12,1,1]] -32*s[[12,2]] -1780*s[[13,1]] -1844*s[[14]] -s[[7,1,1,1,1,1,1,1]] -s[[7,7]] -13*s[[8,1,1,1,1,1,1]] -2*s[[8,6]] -78*s[[9,1,1,1,1,1]] )
codimension 8
codimension 9
codimension 10
codimension 11
codimension 12
codimension 13
codimension 14
+t^14*( 32*c[1]*c[13] +16*c[2]*c[12] +8*c[3]*c[11] +4*c[4]*c[10] +2*c[5]*c[9] +c[6]*c[8] +c[7]^2 +64*c[14] )
+t^14*( 128*s[[14]] +s[[7,7]] +2*s[[8,6]] +4*s[[9,5]] +8*s[[10,4]] +16*s[[11,3]] +32*s[[12,2]] +64*s[[13,1]] )
