Digi Area Group - Math Tools for Professionals
   Maple and Mathematica packages - math tools for professionals

atlas™ - modern differential geometry for Maple™

> Features List & Examples
> Template Worksheets
> Screenshots
> Documentation & Downloads
> License & Pricing
> Buy Online

 
 
 
 
Google

Features List & Examples  |  Introduction  |  Dimension  |  Indexing  |  Forms  |  Metric  |  atlasWizard - Maplet™

atlas[Frame] - declaration of frame vectors

Calling Sequence:

     Frame(Id[j])

Parameters:

      Id[j] -indexed variable the frame vectors

Description:

The Frame  procedure declares frame vectors. If  E[j] is defined as a frame then vectors E[1], E[2], `` .. E[n]  (n=dim) make the frame. Frame declaration is only possible if coframe has been defined (see atlas[Coframe] ).

Examples:
restart:
with(atlas):

Declare forms:
Forms(e[j]=1,xi=1);

{xi, e[j]}

Declare vectors:
Vectors(X,Y,Z,E[j]);

{X, Y, Z, E[j]}

One can not declare frame before coframe declaration:
Frame(E[k]);


Error, (in Frame) coframe is undefined



Declare coframe:
Coframe(e[j],j=1..n);

{e[j]}[j = 1 .. n]

Declare frame:
Frame(E[k]);

{E[k]}[k = 1 .. n]

It is obvious that
'iota[E[i]](e[j])'=iota[E[i]](e[j]);

iota[E[i]](e[j]) = delta[j,i]

"To basis" decomposition
X=ToBasis(X);

X = Sum(iota[X](e[l[1]])*E[l[1]],l[1] = 1 .. n)

xi=ToBasis(xi);

xi = Sum(iota[E[l[1]]](xi)*e[l[1]],l[1] = 1 .. n)

See Also:

atlas , atlas[Coframe] , atlas[ToBasis] .