It is a valid value for the Strategy Option for inverseOfMap (and other functions). By choosing Strategy=>SaturationStrategy, the equation 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.

- ReesStrategy -- A strategy for inverseOfMap, isBirationalMap, and is Embedding.
- SimisStrategy -- A strategy for inverseOfMap, isBirationalMap and isEmbedding.
- HybridStrategy -- A strategy for inverseOfMap, isBirationalMap and isEmbedding.

The object SaturationStrategy is a symbol.