# SaturationStrategy -- A strategy for inverseOfMap, isBirationalMap, isEmbedding.

## Description

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.