Frame - declaration of frame vectors

Frame[idj, {j, 1, n}]
sets idj as frame vectors e.g. Frame[Ej, {j, 1, n}] - sets vectors E1, E2, ..En as a coframe, here n is dimension of working manifold i.e. dim= n (see Dimension); n can be symbolic or integer. This syntax must be used if a frame defined before coframe (see Coframe).
Frame[idjexprj, {j, 1, n}]
sets idj as frame vectors so that idj=fj where fj is some vector or liner expression on vectors (see examples below), here n is dimension of working manifold i.e. dim= n; n can be symbolic or integer. This syntax must be used if a frame defined before coframe (see Coframe).
Frame[id1expr1, id2expr2, ...idnexprn]
sets id1, id2, ..idn as frame vectors e.g. Frame[E1x, E2y] sets vectors E1, E2 as a frame which is x, y where x, y are 0-forms. This syntax must be used if a frame defined before coframe (see Coframe).
Frame[idj]
sets idj as frame vectors e.g. Frame[Ej] - sets vectors E1, E2, ..En as a coframe, here n is dimension of working manifold i.e. dim= n (see Dimension); n can be symbolic or integer. The dimension is set by the Coframe declaration. This syntax must be used if a frame defined after coframe (see Coframe).
  • The Frame procedure allows one to declare frame vectors. If the third type of calling sequence is used, then the local coordinates, frame vectors and dimension of the working manifold have been defined automatically.
  • id - identifier for indexed variable - the frame vectors
  • n - dimension of working manifold (a variable or integer)
  • idiexpri - equation where idi is indexed variable - frame vector and expri is decomposition of the vectors on "natural" vectors (see Nat).
  • Warning! Only indexed variables can be used as frame vectors. The name of the indexed variable must be one and the same for all frame vectors e.g. E1, E2, ..En or 1, 2, ..k and so on.
In[1]:=
Click for copyable input
Declare forms:
In[2]:=
Click for copyable input
Out[2]=
Declare vectors:
In[3]:=
Click for copyable input
Out[3]=
Declare functions:
In[4]:=
Click for copyable input
Out[4]=
Declare frame with vectors: 1, 2, ..n (dim = n):
In[5]:=
Click for copyable input
Out[5]=
Function F is declared as follows F=F(zk); now k=1, 2, ..n:
In[6]:=
Click for copyable input
Out[6]=
For function f we have:
In[7]:=
Click for copyable input
Out[7]=
Declare coframe 1-forms (see Coframe):
In[8]:=
Click for copyable input
Out[8]=
"To basis" decomposition:
In[9]:=
Click for copyable input
Out[9]=
Interior product of vector Y and 1-form e[j]:
In[10]:=
Click for copyable input
Out[10]=
"To basis" decomposition:
In[11]:=
Click for copyable input
Out[11]=
 
In[1]:=
Click for copyable input
Declare forms:
In[2]:=
Click for copyable input
Out[2]=
Declare vectors:
In[3]:=
Click for copyable input
Out[3]=
Declare functions:
In[4]:=
Click for copyable input
Out[4]=
Declare frame with vectors: 1, 2, 3 (dim = 3):
In[5]:=
Click for copyable input
Out[5]=
Functions F, z1 are declared as follows F=F(zk) and z1=z1(x, y):
In[6]:=
Click for copyable input
Out[6]=
Declare coframe 1-forms (see Coframe):
In[7]:=
Click for copyable input
Out[7]=
"To basis" decomposition:
In[8]:=
Click for copyable input
Out[8]=
Interior product of vector Z and 1-form e[j]:
In[9]:=
Click for copyable input
Out[9]=
"To basis" decomposition:
In[10]:=
Click for copyable input
Out[10]=
 
In[1]:=
Click for copyable input
Declare forms:
In[2]:=
Click for copyable input
Out[2]=
Declare vectors:
In[3]:=
Click for copyable input
Out[3]=
Declare functions:
In[4]:=
Click for copyable input
Out[4]=
Declare constant :
In[5]:=
Click for copyable input
Out[5]=
Declare frame:
In[6]:=
Click for copyable input
Out[6]=
Declare coframe:
In[7]:=
Click for copyable input
Out[7]=
Declare metric (see Metric):
In[8]:=
Click for copyable input
Out[8]=
Simple calculation:
In[9]:=
Click for copyable input
Out[9]=
 
In[1]:=
Click for copyable input
Declare functions:
In[2]:=
Click for copyable input
Out[2]=
Declare constant rg:
In[3]:=
Click for copyable input
Out[3]=
Declare vectors:
In[4]:=
Click for copyable input
Out[4]=
Declare forms:
In[5]:=
Click for copyable input
Out[5]=
Declare frame:
In[6]:=
Click for copyable input
Out[6]=
Declare coframe:
In[7]:=
Click for copyable input
Out[7]=
Declare metric:
In[8]:=
Click for copyable input
Out[8]=
Simple calculations:
In[9]:=
Click for copyable input
Out[9]=
In[10]:=
Click for copyable input
Out[10]=
In[11]:=
Click for copyable input
Out[11]=
In[12]:=
Click for copyable input
Out[12]=
 
In[1]:=
Click for copyable input
Declare forms:
In[2]:=
Click for copyable input
Out[2]=
Declare vectors:
In[3]:=
Click for copyable input
Out[3]=
Declare functions:
In[4]:=
Click for copyable input
Out[4]=
Declare frame:
In[5]:=
Click for copyable input
Out[5]=
Declare coframe:
In[6]:=
Click for copyable input
Out[6]=
Simple calculations:
In[7]:=
Click for copyable input
Out[7]=
In[8]:=
Click for copyable input
Out[8]=
In[9]:=
Click for copyable input
Out[9]=
 
In[1]:=
Click for copyable input
Declare constant :
In[2]:=
Click for copyable input
Out[2]=
Declare forms:
In[3]:=
Click for copyable input
Out[3]=
Declare vectors:
In[4]:=
Click for copyable input
Out[4]=
Declare functions:
In[5]:=
Click for copyable input
Out[5]=
Declare frame:
In[6]:=
Click for copyable input
Out[6]=
Declare coframe:
In[7]:=
Click for copyable input
Out[7]=
Simple calculations:
In[8]:=
Click for copyable input
Out[8]=
In[9]:=
Click for copyable input
Out[9]=
In[10]:=
Click for copyable input
Out[10]=
In[11]:=
Click for copyable input
Out[11]=