The default value in hanMonsky is true, so the Han-Monsky multiplication is computed based on Conjecture 4.1 [KMRR,25]. When defined to be false, the function will not use Conjecture 4.1 [KMRR,25]. This will significantly increase the time of computation for the method hanMonsky.
The default value in hasWLP(p,L) and monomialCIsWithoutWLP is true, when is set to be false the computations are done with different methods, without computing the hanMonsky multiplication. This option does not affect hasWLP(R,L) that does not use the hanMonsky multiplication. In hasSLP, instead, the default value is false.
The object UseConjecture is a symbol.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/IncidenceCorrespondenceCohomology.m2:1565:0.