Macaulay2 » Documentation
Packages » RationalMaps :: SaturationStrategy
next | previous | forward | backward | up | index | toc

SaturationStrategy -- a strategy for determining whether a map is birational and computing its inverse


SaturationStrategy is a valid value for the Strategy Option for inverseOfMap, isBirationalMap, and isEmbedding. By choosing Strategy=>SaturationStrategy, the equations of the ideal of definition of the Rees algebra are generated by saturating the ideal of definition of the symmetric algebra into a non-zero element. Notice that in this package (and in particular, in this Strategy option) the rings are assumed to be integral domains. This Strategy appears to be slower in some examples.

See also

For the programmer

The object SaturationStrategy is a symbol.