The InverseTransformation command uses the Maple solve command to find a (local) inverse transformation Psi: N -> M, that is, Psi o Phi = identity on M and Phi o Psi = identity on N.

Use the Maple environment variable _EnvExplicit = true to obtain explicit formulas for the inverse.

In the case where there are multiple local inverses, the first one in the list returned by solve is returned by InverseTransformation.  This may vary from one Maple session to another.

With branch = "all", InverseTransformation returns a list of all the inverse transformations.

With branch = [pt1, pt2], InverseTransformation returns the particular inverse transformation Psi satisfying Psi(pt1) = pt2.

This command is part of the DifferentialGeometry package, and so can be used in the form InverseTransformation(...) only after executing the command with(DifferentialGeometry).  It can always be used in the long form DifferentialGeometry:-InverseTransformation.

$\mathrm{with}\left(\mathrm{DifferentialGeometry}\right)\:$

$\mathrm{DGsetup}\left(\left[x\,y\right]\,M\right)\:$$\mathrm{DGsetup}\left(\left[u\,v\right]\,N\right)\:$

$\mathrm{\Φ1}≔\mathrm{Transformation}\left(M\,N\,\left[u=2x-3y\,v=-x+2y\right]\right)$

$\mathrm{\Φ1}≔\left[u=2x-3y\,v=-x+2y\right]$

$\mathrm{\Ψ1}≔\mathrm{InverseTransformation}\left(\mathrm{\Φ1}\right)$

$\mathrm{\Ψ1}≔\left[x=2u+3v\,y=2v+u\right]$

$\mathrm{ComposeTransformations}\left(\mathrm{\Ψ1}\,\mathrm{\Φ1}\right)$

$\left[x=x\,y=y\right]$

$\mathrm{ComposeTransformations}\left(\mathrm{\Φ1}\,\mathrm{\Ψ1}\right)$

$\left[u=u\,v=v\right]$

$\mathrm{\Φ2}≔\mathrm{Transformation}\left(M\,N\,\left[u=x^2\,v=y^2\right]\right)$

$\mathrm{\Φ2}≔\left[u=x^2\,v=y^2\right]$

$\mathrm{\Ψ2}≔\mathrm{InverseTransformation}\left(\mathrm{\Φ2}\right)$

$\mathrm{\Ψ2}≔\left[x=\mathrm{RootOf}\left({\mathrm{\_Z}}^2-u\right)\,y=\mathrm{RootOf}\left({\mathrm{\_Z}}^2-v\right)\right]$

$\mathrm{\_EnvExplicit}≔\mathrm{true}$

$\mathrm{\_EnvExplicit}≔\mathrm{true}$

$\mathrm{\Ψ2}≔\mathrm{InverseTransformation}\left(\mathrm{\Φ2}\right)$

$\mathrm{\Ψ2}≔\left[x=\sqrt{u}\,y=\sqrt{v}\right]$

$\mathrm{AllInverses}≔\mathrm{InverseTransformation}\left(\mathrm{\Φ2}\,\mathrm{branch}=''all''\right)$

$\mathrm{AllInverses}≔\left[\left[x=\sqrt{u}\,y=\sqrt{v}\right]\,\left[x=\sqrt{u}\,y=-\sqrt{v}\right]\,\left[x=-\sqrt{u}\,y=\sqrt{v}\right]\,\left[x=-\sqrt{u}\,y=-\sqrt{v}\right]\right]$

$\mathrm{InverseTransformation}\left(\mathrm{\Φ2}\,\mathrm{branch}=\left[\left[1\,1\right]\,\left[-1\,-1\right]\right]\right)$

$\left[x=-\sqrt{u}\,y=-\sqrt{v}\right]$

$\mathrm{InverseTransformation}\left(\mathrm{\Φ2}\,\mathrm{branch}=\left[\left[u=1\,v=1\right]\,\left[x=-1\,y=-1\right]\right]\right)$

$\left[x=-\sqrt{u}\,y=-\sqrt{v}\right]$