FindCharacter -- An option to compute the character instead of the dimension
GorensteinAlg -- An option to check the WLP for Gorenstein algebras
hanMonsky -- Computes the multiplication in the graded Han-Monsky representation ring
hanMonsky(...,UseConjecture=>...) -- An option that, whenever the Han-Monsky is computed, allows the user to choose if employ Conjecture 4.1 [KMRR,25] or not
hanMonsky(ZZ,List) -- Computes the multiplication in the graded Han-Monsky representation ring
hasSLP -- Checks whether a monomial complete intersection over a field of characteristic p has the Strong Lefschetz Property (SLP)
hasSLP(...,UseConjecture=>...) -- An option that, whenever the Han-Monsky is computed, allows the user to choose if employ Conjecture 4.1 [KMRR,25] or not
hasSLP(ZZ,List) -- Checks whether a monomial complete intersection over a field of characteristic p has the Strong Lefschetz Property (SLP)
hasWLP -- Checks whether a graded Artinian algebra has the Weak Lefschetz Property (WLP)
hasWLP(...,UseConjecture=>...) -- An option that, whenever the Han-Monsky is computed, allows the user to choose if employ Conjecture 4.1 [KMRR,25] or not
IncidenceCorrespondenceCohomology -- Cohomology on the incidence correspondence, bundle of principal parts, Han-Monsky multiplication, and Lefschetz properties
MonomialAlg -- An option to check the WLP for R/I with I Monomial ideal
monomialCIsWithoutWLP -- Lists all the monomial complete intersections of socle s and height n that fail the Weak Lefschetz Property
monomialCIsWithoutWLP(ZZ,ZZ,ZZ) -- Lists all the monomial complete intersections of socle s and height n that fail the Weak Lefschetz Property
Multidegree -- An option to compute the multidegrees arising from a torus action on $\mathbb{P}^1$
nimDividedCohomology -- Computes the dimension or character of sheaf cohomology of twists of divided powers of the cotangent sheaf on projective space, in characteristic 2
nimDividedCohomology(ZZ,ZZ,ZZ,PolynomialRing) -- Computes the dimension or character of sheaf cohomology of twists of divided powers of the cotangent sheaf on projective space, in characteristic 2
nimDividedCohomology(ZZ,ZZ,ZZ,ZZ) -- Computes the dimension or character of sheaf cohomology of twists of divided powers of the cotangent sheaf on projective space, in characteristic 2
recursiveDividedCohomology -- Computes dimension or character of sheaf cohomology of twists of divided powers of the cotangent sheaf on projective space
recursiveDividedCohomology(List) -- Computes dimension or character of sheaf cohomology of twists of divided powers of the cotangent sheaf on projective space