|
DifferentialGeometry[ComposeTransformations] - compose a sequence of two or more transformations
|
|
Calling Sequence
|
|
ComposeTransformation(Phi1, Phi2, Phi3, ...)
|
|
|
Parameters
|
|
|
Phi1, Phi2, Phi3
|
-
|
transformations
|
|
|
|
|
|
Description
|
|
|
•
|
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.
|
|
|
|
Examples
|
|
|
>
|
|
Example 1.
Define some manifolds.
Define transformations F: M -> N; G: P -> M; H: N -> Q.
|
>
|
![F := Transformation(M, N, [u = 3*x+2*y, v = x-y])](/support/helpjp/helpview.aspx?si=5570/file01424/math90.png)
|
|
![F := [u = 3*x+2*y, v = x-y]](/support/helpjp/helpview.aspx?si=5570/file01424/math93.png)
| (1) |
|
>
|
![G := Transformation(P, M, [x = cos(t), y = sin(t)])](/support/helpjp/helpview.aspx?si=5570/file01424/math97.png)
|
|
![G := [x = cos(t), y = sin(t)]](/support/helpjp/helpview.aspx?si=5570/file01424/math100.png)
| (2) |
|
>
|
![H := Transformation(N, Q, [x1 = u, x2 = v, x3 = 1])](/support/helpjp/helpview.aspx?si=5570/file01424/math104.png)
|
|
![H := [x1 = u, x2 = v, x3 = 1]](/support/helpjp/helpview.aspx?si=5570/file01424/math107.png)
| (3) |
Compute the compositions F o G, H o F and H o F o G.
|
>
|
|
|
![[u = 3*cos(t)+2*sin(t), v = cos(t)-sin(t)]](/support/helpjp/helpview.aspx?si=5570/file01424/math124.png)
| (4) |
|
>
|
|
|
![[x1 = 3*x+2*y, x2 = x-y, x3 = 1]](/support/helpjp/helpview.aspx?si=5570/file01424/math131.png)
| (5) |
|
>
|
|
|
![[x1 = 3*cos(t)+2*sin(t), x2 = cos(t)-sin(t), x3 = 1]](/support/helpjp/helpview.aspx?si=5570/file01424/math138.png)
| (6) |
Example 2.
We can express the transformation T: P -> P as the composition of 3 transformations A, B, C.
|
>
|
![T := Transformation(P, P, [t = sqrt(sin(t)+2)])](/support/helpjp/helpview.aspx?si=5570/file01424/math156.png)
|
|
![T := [t = (sin(t)+2)^(1/2)]](/support/helpjp/helpview.aspx?si=5570/file01424/math159.png)
| (7) |
|
>
|
![A := Transformation(P, P, [t = sin(t)])](/support/helpjp/helpview.aspx?si=5570/file01424/math163.png)
|
|
![A := [t = sin(t)]](/support/helpjp/helpview.aspx?si=5570/file01424/math166.png)
| (8) |
|
>
|
![B := Transformation(P, P, [t = t+2])](/support/helpjp/helpview.aspx?si=5570/file01424/math170.png)
|
|
![B := [t = t+2]](/support/helpjp/helpview.aspx?si=5570/file01424/math173.png)
| (9) |
|
>
|
![C := Transformation(P, P, [t = sqrt(t)])](/support/helpjp/helpview.aspx?si=5570/file01424/math177.png)
|
|
![C := [t = t^(1/2)]](/support/helpjp/helpview.aspx?si=5570/file01424/math180.png)
| (10) |
|
>
|
|
|
![S := [t = (sin(t)+2)^(1/2)]](/support/helpjp/helpview.aspx?si=5570/file01424/math187.png)
| (11) |
|
>
|
|
|
| (12) |
Example 3.
We can check that the transformation K is the inverse of the transformation F.
|
>
|
![K := Transformation(N, M, [x = 2*v*(1/5)+(1/5)*u, y = (1/5)*u-3*v*(1/5)])](/support/helpjp/helpview.aspx?si=5570/file01424/math208.png)
|
|
![K := [x = (2/5)*v+(1/5)*u, y = (1/5)*u-(3/5)*v]](/support/helpjp/helpview.aspx?si=5570/file01424/math211.png)
| (13) |
|
>
|
|
|
![[u = u, v = v]](/support/helpjp/helpview.aspx?si=5570/file01424/math218.png)
| (14) |
|
>
|
|
|
![[x = x, y = y]](/support/helpjp/helpview.aspx?si=5570/file01424/math225.png)
| (15) |
Example 4.
If pi: E -> M is a fiber bundle, then a section s of E is a transformation s: M -> E such that pi o s = identity on M.
Check that the map s is a section for E.
|
>
|
![DGsetup([u, v, w], E)](/support/helpjp/helpview.aspx?si=5570/file01424/math251.png) ![DGsetup([x, y], M)](/support/helpjp/helpview.aspx?si=5570/file01424/math252.png)
|
|
>
|
![Pi := Transformation(E, M, [x = u*v+w^2, y = u^2+w^2])](/support/helpjp/helpview.aspx?si=5570/file01424/math256.png)
|
|
![pi := [x = u*v+w^2, y = u^2+w^2]](/support/helpjp/helpview.aspx?si=5570/file01424/math259.png)
| (16) |
|
>
|
![s := Transformation(M, E, [u = sqrt(y), v = x/sqrt(y), w = 0])](/support/helpjp/helpview.aspx?si=5570/file01424/math263.png)
|
|
![s := [u = y^(1/2), v = x/y^(1/2), w = 0]](/support/helpjp/helpview.aspx?si=5570/file01424/math266.png)
| (17) |
|
>
|
|
|
![[x = x, y = y]](/support/helpjp/helpview.aspx?si=5570/file01424/math273.png)
| (18) |
|
|
Download Help Document
Was this information helpful?
