GrassmannCalculus`
SimplifyGrassmannComplements  |
|
| | ||||
|
| | ||||
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
SimplifyGrassmannComplements
In[3]:=
 | SimplifyGrassmannComplements |
Out[3]=
a⊖x+x⋄0++x∘+x⋁y+u⋀v+v⋀u+xx
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 (a declared vector symbol) and (an undeclared symbol) are both of grade 4, making them (and their complement) zero in a 3-space.
x
A
In[4]:=
| ★ℬ |
3
 | SimplifyGrassmannComplements |
A+x
★Λ
4
Out[4]=
0
In[5]:=
Clear[X]
 |
|
 |
|
""