isSymbolicEqualOrdinary(I,n)
Given a radical ideal I and an integer $n$, this method returns true if and only if $I^n=I^{(n)}$. This method circumvents computing the symbolic powers in most cases, by first testing the bigHeight of $I^n$
|
|
|
|
The object isSymbolicEqualOrdinary is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/SymbolicPowers.m2:1117:0.