ComposeTransformation(Phi1, Phi2, Phi3, ...) returns the composition of the transformations Phi1, Phi2, Phi3, ..., that is, the transformation Psi = Phi1 o Phi2 o Phi3 ....  The domain frame of Phi1 must coincide with the range frame of Phi2, the domain frame of Phi2 must coincide with the range of frame of Phi3, and so on.

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

$\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{DGsetup}\left(\left[t\right]\,P\right)\:$$\mathrm{DGsetup}\left(\left[\mathrm{x1}\,\mathrm{x2}\,\mathrm{x3}\right]\,Q\right)\:$

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

$F≔\left[u=3x+2y\,v=x-y\right]$

$G≔\mathrm{Transformation}\left(P\,M\,\left[x=\cos \left(t\right)\,y=\sin \left(t\right)\right]\right)$

$G≔\left[x=\cos \left(t\right)\,y=\sin \left(t\right)\right]$

$H≔\mathrm{Transformation}\left(N\,Q\,\left[\mathrm{x1}=u\,\mathrm{x2}=v\,\mathrm{x3}=1\right]\right)$

$H≔\left[\mathrm{x1}=u\,\mathrm{x2}=v\,\mathrm{x3}=1\right]$

$\mathrm{ComposeTransformations}\left(F\,G\right)$

$\left[u=3\cos \left(t\right)+2\sin \left(t\right)\,v=\cos \left(t\right)-\sin \left(t\right)\right]$

$\mathrm{ComposeTransformations}\left(H\,F\right)$

$\left[\mathrm{x1}=3x+2y\,\mathrm{x2}=x-y\,\mathrm{x3}=1\right]$

$\mathrm{ComposeTransformations}\left(H\,F\,G\right)$

$\left[\mathrm{x1}=3\cos \left(t\right)+2\sin \left(t\right)\,\mathrm{x2}=\cos \left(t\right)-\sin \left(t\right)\,\mathrm{x3}=1\right]$

$T≔\mathrm{Transformation}\left(P\,P\,\left[t=\mathrm{sqrt}\left(\sin \left(t\right)+2\right)\right]\right)$

$T≔\left[t=\sqrt{\sin \left(t\right)+2}\right]$

$A≔\mathrm{Transformation}\left(P\,P\,\left[t=\sin \left(t\right)\right]\right)$

$A≔\left[t=\sin \left(t\right)\right]$

$B≔\mathrm{Transformation}\left(P\,P\,\left[t=t+2\right]\right)$

$B≔\left[t=t+2\right]$

$C≔\mathrm{Transformation}\left(P\,P\,\left[t=\mathrm{sqrt}\left(t\right)\right]\right)$

$C≔\left[t=\sqrt{t}\right]$

$S≔\mathrm{ComposeTransformations}\left(C\,B\,A\right)$

$S≔\left[t=\sqrt{\sin \left(t\right)+2}\right]$

$\mathrm{Tools}:-\mathrm{DGequal}\left(T\,S\right)$

$\mathrm{true}$

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

$K≔\left[x=\frac{2v}{5}+\frac{u}{5}\,y=\frac{u}{5}-\frac{3v}{5}\right]$

$\mathrm{ComposeTransformations}\left(F\,K\right)$

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

$\mathrm{ComposeTransformations}\left(K\,F\right)$

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

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

$\mathrm{pi}≔\mathrm{Transformation}\left(E\,M\,\left[x=uv+w^2\,y=u^2+w^2\right]\right)$

$\mathrm{\π}≔\left[x=uv+w^2\,y=u^2+w^2\right]$

$s≔\mathrm{Transformation}\left(M\,E\,\left[u=\mathrm{sqrt}\left(y\right)\,v=\frac{x}{\mathrm{sqrt}\left(y\right)}\,w=0\right]\right)$

$s≔\left[u=\sqrt{y}\,v=\frac{x}{\sqrt{y}}\,w=0\right]$

$\mathrm{ComposeTransformations}\left(\mathrm{pi}\,s\right)$

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