compose a sequence of two or more transformations - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : DifferentialGeometry : DifferentialGeometry/ComposeTransformations

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

withDifferentialGeometry:

 

Example 1.

Define some manifolds.

DGsetupx,y,M:DGsetupu,v,N:DGsetupt,P:DGsetupx1,x2,x3,Q:

 

Define transformations F: M -> N;  G: P -> M;  H: N -> Q.

F:=TransformationM,N,u=3x+2y,v=xy

F:=u=3x+2y,v=xy

(1)

G:=TransformationP,M,x=cost,y=sint

G:=x=cost,y=sint

(2)

H:=TransformationN,Q,x1=u,x2=v,x3=1

H:=x1=u,x2=v,x3=1

(3)

 

Compute the compositions F o G, H o F and H o F o G.

ComposeTransformationsF,G

u=3cost+2sint,v=costsint

(4)

ComposeTransformationsH,F

x1=3x+2y,x2=xy,x3=1

(5)

ComposeTransformationsH,F,G

x1=3cost+2sint,x2=costsint,x3=1

(6)

 

Example 2.

We can express the transformation T: P -> P as the composition of 3 transformations A, B, C.

T:=TransformationP,P,t=sint+2

T:=t=sint+2

(7)

A:=TransformationP,P,t=sint

A:=t=sint

(8)

B:=TransformationP,P,t=t+2

B:=t=t+2

(9)

C:=TransformationP,P,t=t

C:=t=t

(10)

S:=ComposeTransformationsC,B,A

S:=t=sint+2

(11)

Tools:-DGequalT,S

true

(12)

 

Example 3.

We can check that the transformation K is the inverse of the transformation F.

K:=TransformationN,M,x=2v5+1u5,y=1u53v5

K:=x=2v5+u5,y=u53v5

(13)

ComposeTransformationsF,K

u=u,v=v

(14)

ComposeTransformationsK,F

x=x,y=y

(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.

DGsetupu,v,w,E:DGsetupx,y,M:

π:=TransformationE,M,x=uv+w2,y=u2+w2

π:=x=uv+w2,y=u2+w2

(16)

s:=TransformationM,E,u=y,v=xy,w=0

s:=u=y,v=xy,w=0

(17)

ComposeTransformationsπ,s

x=x,y=y

(18)

See Also

DifferentialGeometry, Tools, ApplyTransformation, DGequal, InverseTransformation, Transformation, PDEtools[dchange], Physics[TransformCoordinates], Physics


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam