hasSLP(p,L)
Check if the monomial complete intersections $A=k[x_1,...,x_n]/(x_1^{a_1}, …, x_n^{a_n})$, where k is a field of characteristic p has the Strong Lefschetz property using Theorem 3.4 of [Nicklasson,18].
|
|
|
|
|
|
By default, this method does not use the Han-Monsky multiplication. When UseConjecture is set to true, the method uses the Han-Monsky obtained from Conjecture 4.1 [KMRR,25].
|
|
|
The object hasSLP is a method function with options.
The source of this document is in IncidenceCorrespondenceCohomology.m2:1539:0.