1 | initial version |

It may also be useful to note that you can make assumptions about the domain using the `assume`

function since a given function `f(x)`

may not have an inverse on its entire domain, or it may have different inverse functions on different subdomains:

```
sage: f(x) = x^2
sage: assume(x<0)
sage: solve( x == f(y), y)[0].rhs()
-sqrt(x)
sage: forget()
sage: assume(x>0)
sage: solve( x == f(y), y)[0].rhs()
sqrt(x)
```

2 | No.2 Revision |

It may also be useful to note that you can make assumptions about the domain using the `assume`

function since a given function `f(x)`

may not have an inverse on its entire domain, or it may have different inverse functions on different subdomains:

```
sage: f(x) = x^2
sage:
```~~assume(x<0)
~~assume(y<0)
sage: solve( x == f(y), y)[0].rhs()
-sqrt(x)
sage: forget()
sage: ~~assume(x>0)
~~assume(y>0)
sage: solve( x == f(y), y)[0].rhs()
sqrt(x)

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.