The option IndsOfSmooth is only used by the commands CSM, and Euler in combination with the option Method=>DirectCompletInt. When used this option may allow the user to speed up the computation by telling giving the method a list of indices for the generators of the input ideal that, when taken together, define a smooth subscheme of the ambient space. This option will be ignored otherwise.
R = MultiProjCoordRing({2,2}) |
I=ideal(R_0*R_1*R_3-R_0^2*R_3,random({0,1},R),random({1,2},R)); |
time CSM(I,Method=>DirectCompletInt) |
time CSM(I,Method=>DirectCompletInt,IndsOfSmooth=>{1,2}) |
The object IndsOfSmooth is a symbol.