nonCartierLocus( D, IsGraded=>b)
This function returns an ideal which vanishes on the locus where D is not Cartier.
|
|
|
If the option IsGraded is set to true (by default it is false), it saturates with respect to the homogeneous maximal ideal.
|
|
|
The output value of this function is stored in the divisor's cache with the value of the last IsGraded option. If you change the IsGraded option, the value will be recomputed.
The object nonCartierLocus is a method function with options.