CompleteIntersection -- provide a hint when computing a radical

CompleteIntersection -- provide a hint when computing a radical

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.

Functions with optional argument named CompleteIntersection :

radical(..., CompleteIntersection) -- provide a hint when computing a radical