Metric - declaration of a metric tensor

Metric[id]
Metric[idexpr]
allows one to declare a metric tensor
  • id - variable - metric identifier expr - expression - metric declaration.
  • The Metric procedure can be used in two ways:
  • - Metric[id] - sets id as a metric tensor identifier (the metric tensor components is indefinite).
  • - Metric[id→expr] - sets id as a metric tensor identifier and expr as a metric tensor.
  • In the Atlas package the metric declared is a procedure. Use ToBasis procedure to see metric as a tensor.
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 coframe with 1-forms: e1, e2, ..en (see Coframe)
In[5]:=
Click for copyable input
Out[5]=
Declare frame vectors (see Frame):
In[6]:=
Click for copyable input
Out[6]=
Declare indefinite metric tensor g:
In[7]:=
Click for copyable input
Out[7]=
Interior product of [j] and g (see iota):
In[8]:=
Click for copyable input
Out[8]=
Linear property of metric tensor (see ToBasis):
In[9]:=
Click for copyable input
Out[9]=