GrassmannCalculus`
SimplifyInteriorProducts  |
|
| | ||||
|
| | ||||
Details and Options
Examples
(1)
Basic Examples
(1)
In[1]:=
<<GrassmannCalculus`
Here is an expression that simplifies to zero.
GrassmannSimplify
In[2]:=
★A;X=u⋀v+v⋀u+x⋁y+a⊖x+x⋄0+x∘+x
x++GrassmannSimplify[X]
z
4
 | △ |
0
α
5
0
Out[2]=
a⊖x+x⋄0+++x∘+x⋁y+u⋀v+v⋀u+xx
α
5
0
z
4
△
0
Out[2]=
0
SimplifyInteriorProducts
In[3]:=
 | SimplifyInteriorProducts |
Out[3]=
x⋄0+++x∘+x⋁y+u⋀v+v⋀u+xx
α
5
0
z
4
△
0
You can also use new symbols as long as you assert their grades, or you can override the grades of currently declared symbols. Here we assert that x is of grade 0, making the interior product with the 1-element y zero. Although A has not been declared a scalar symbol, asserting it to be of grade zero for this operation means A⊖x reduces to the usual (Times) product of A and x.
In[4]:=
| SimplifyInteriorProducts |
★Λ
0
Out[4]=
Ax
In[5]:=
Clear[X]
 |
|
 |
|
""