primaryDecomposition(..., Strategy => ...) -- specify a computational strategy

primaryDecomposition(..., Strategy => ...) -- specify a computational strategy

The strategy option value should be one of the following.

Monomial -- uses Alexander duality of a monomial ideal

Binomial -- finds a cellular resolution of a binomial ideal

EHV -- uses the algorithm of Eisenbud-Huneke-Vasconcelos

SY -- uses the algorithm of Shimoyama-Yokoyama

Hybrid -- uses parts of the above two algorithms

GTZ -- uses the algorithm of Gianni-Trager-Zacharias. NOT IMPLEMENTED YET.

The default strategy depends on the ideal. If the ideal is generated by monomials, then Strategy => Monomial is implied. In all other cases, the default is Strategy => SY.

Strategy => Monomial

Description, reference if possible, and then an example. Also warn that ideal must be monomial.

Strategy => Binomial

Description: get cellular resolution. Give reference, example.

Strategy => EHV

Description, example, reference

Strategy => SY

Description, example, reference

Strategy => Hybrid

Description, example, referencelocalize(Ideal,Ideal)

See also:

Default value: null -- nothingness

Function: primaryDecomposition

Option name: Strategy -- specify a computational strategy