sing.lib
LIB "sing.lib"; ring R = 0,(x,y,z),ds; ideal i = 7xyz+z5,x2+y3+z7,5z5+y5; tangentcone(i); ==> _[1]=x2 ==> _[2]=7xyz ==> _[3]=y5+5z5 ==> _[4]=7y4z ==> _[5]=35z6