CompleteIntersection => J -- an option to
radical which indicates that the ideal
I provided by the user is unmixed, and that
J is an ideal in
I which is a complete intersection of the same codimension.
Providing this option allows a separate, often faster, algorithm to be used to compute the radical. This option should only be used if
J is nice in some way. For example, if
J is randomly generated, but
I is relatively sparse, then this will most likely run slower than just giving the
Unmixed option.