If the map is birational, then negative values may be used and the inverse will be computed using inverseMap(phi,MathMode=>true,Verbose=>false) (see inverseMap).