GrassmannCalculus`
SimplifyGeneralizedProducts  |
|
| | ||||
|
| | ||||
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
SimplifyGeneralizedProducts
In[3]:=
 | SimplifyGeneralizedProducts |
Out[3]=
a⊖x+x⋄0+++x∘+x⋁y+u⋀v+v⋀u
α
5
0
z
4
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 (a declared vector symbol) and A (an undeclared symbol) are both of grade 2
In[4]:=
| ★ℬ |
4
 | SimplifyGeneralizedProducts |
 | △ |
0
| △ |
1
★Λ
2
Out[4]=
x⊖y+A⋀x
In[5]:=
Clear[X]
 |
|
 |
|
""