FEYN CALC SYMBOL

DataType


= True defines the object exp to have data-type type. DataType[exp1, exp2, ..., type] defines the objects exp1, exp2, ...to have data-type type. The default setting is DataType[__, _] := False. To assign a certain data-type, do, e.g., DataType[x, PositiveInteger] = True. Currently used DataTypes: NonCommutative, PositiveInteger, NegativeInteger, PositiveNumber, FreeIndex, GrassmannParity PHI adds the DataTypes: UMatrix, UScalar.

ExamplesExamplesopen allclose all

Basic Examples  (1)Basic Examples  (1)

NonCommutative is just a data-type.
In[1]:=
Click for copyable input
In[2]:=
Click for copyable input
Out[2]=
Since "f "and "g" have DataType NonCommutative the function DotSimplify extracts only "a" out of the noncommutative product.
In[3]:=
Click for copyable input
Out[3]=
In[4]:=
Click for copyable input
In[5]:=
Click for copyable input
In[6]:=
Click for copyable input
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[10]:=
Click for copyable input
In[11]:=
Click for copyable input
In[12]:=
Click for copyable input
In[13]:=
Click for copyable input
Out[13]=
In[14]:=
Click for copyable input
Out[14]=
In[15]:=
Click for copyable input
In[16]:=
Click for copyable input
In[17]:=
Click for copyable input
Certain FeynCalc objects have DataType PositiveInteger set to True.
In[18]:=
Click for copyable input
Out[18]=
PowerSimplify uses the DataType information.
In[19]:=
Click for copyable input
Out[19]=
In[20]:=
Click for copyable input
Out[20]=