GrassmannCalculus`
SimplifyCliffordProducts  |
|
| | ||||
|
| | ||||
Details and Options
Examples
(1)
Basic Examples
(1)
In[1]:=
<<GrassmannCalculus`
Here is an expression which GrassmannSimplify simplifies to zero.
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
SimplifyCliffordProducts
In[3]:=
 | SimplifyCliffordProducts |
Out[3]=
a⊖x+++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 Clifford product with the 1-element y equivalent to the usual (Times) product. Although has not been declared a scalar symbol, asserting it to be of grade zero for this operation means reduces to the usual (Times) product of and .
A
A⋄y
A
y
In[4]:=
| SimplifyCliffordProducts |
★Λ
0
Out[4]=
Ay+xy
In[5]:=
Clear[X]
 |
|
 |
|
""