L= monomialCIsWithoutWLP(p,n,s)
This method lists all the n-tuples $(a_1,....,a_n)$, up to order, such that $a_1+.......+a_n-n=s$ and $k[x_1,...,x_n]/(x_1^{a_1}, …, x_n^{a_n})$ fails the WLP with characteristic p, using the method hasWLP. The default value of the option UseConjecture is true, so the computations are based on Conjecture 4.1 [KMRR,25]. When UseConjecture is set to false, the method does not use Conjecture 4.1 [KMRR,25].
|
|
|
|
The object monomialCIsWithoutWLP is a method function with options.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/IncidenceCorrespondenceCohomology.m2:1500:0.