next | previous | forward | backward | up | top | index | toc | home
PrimaryDecomposition > primaryDecomposition(..., Strategy => ...)

primaryDecomposition(..., Strategy => ...)

Description

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, referencelocalize(Ideal,Ideal)

Further information