t=isReduction(I,J)
t=isReduction(I,J,f)
For an ideal $I$, a subideal $J$ of $I$ is said to be a reduction of $I$ if there exists a nonnegative integer n such that $JI^{n}=I^{n+1}$.
This function returns true if $J$ is a reduction of $I$ and returns false if $J$ is not a subideal of $I$ or $J$ is a subideal but not a reduction of $I$.
|
|
|
|
|
|
|
|
|
|
The object isReduction is a method function with options.