Maple Professional
Maple Academic
Maple Student Edition
Maple Personal Edition
Maple Player
Maple Player for iPad
MapleSim Professional
MapleSim Academic
Maple T.A. - Testing & Assessment
Maple T.A. MAA Placement Test Suite
Möbius - Online Courseware
Machine Design / Industrial Automation
Aerospace
Vehicle Engineering
Robotics
Power Industries
System Simulation and Analysis
Model development for HIL
Plant Modeling for Control Design
Robotics/Motion Control/Mechatronics
Other Application Areas
Mathematics Education
Engineering Education
High Schools & Two-Year Colleges
Testing & Assessment
Students
Financial Modeling
Operations Research
High Performance Computing
Physics
Live Webinars
Recorded Webinars
Upcoming Events
MaplePrimes
Maplesoft Blog
Maplesoft Membership
Maple Ambassador Program
MapleCloud
Technical Whitepapers
E-Mail Newsletters
Maple Books
Math Matters
Application Center
MapleSim Model Gallery
User Case Studies
Exploring Engineering Fundamentals
Teaching Concepts with Maple
Maplesoft Welcome Center
Teacher Resource Center
Student Help Center
DifferentialGeometry[InverseTransformation] - find the inverse of a transformation
Calling Sequence
InverseTransformation(Phi, options)
Parameters
Phi
-
a transformation mapping one manifold M to another manifold N
options
branch = "all" or branch = [pt1, pt2], where pt2 is a list of coordinates (Maple expressions) defining a point in M and Phi(pt2) = pt1
Description
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.
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.
Examples
Define a pair of 2-dimensional manifolds.
Example 1.
Define a simple transformation Phi1: M -> N with a unique global inverse.
Use ComposeTransformations to checks the result of InverseTransformation.
Example 2.
Define a transformation Phi2: M -> N with multiple local inverses.
To get explicit solutions:
To get all possible inverses:
Since Phi2([- 1, - 1]) = [1, 1], we can ask for that particular inverse which maps [1, 1] to [- 1, - 1]. We can use either [1, 1] or [u = 1, v = 1] as arguments in the command InverseTransformation to indicate the coordinates of the point.
See Also
DifferentialGeometry, ComposeTransformations, Transformation
Download Help Document
