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
- EisenbudHunekeVasconcelos -- uses the algorithm of Eisenbud-Huneke-Vasconcelos
- ShimoyamaYokoyama -- 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 => ShimoyamaYokoyama.
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 => EisenbudHunekeVasconcelos
Description, example, reference
Strategy => ShimoyamaYokoyama
Description, example, reference
Strategy => Hybrid
Description, example, reference
localize(Ideal,Ideal)