GrassmannCalculus`
SimpleBivectorFormQ |
| SimpleBivectorFormQ[ x True x False | |
Details and Options
Examples
(1)
Basic Examples
(1)
In[1]:=
<<GrassmannCalculus`
In[2]:=
SetActiveAssociation
"Grassmann Plane"
PublicGrassmannAtlas |
The following are simple bivector forms.
In[3]:=
SimpleBivectorFormQ |
e
x
e
y
e
x
e
y
e
x
e
y
e
x
e
y
Out[3]=
{True,True,True,True,True}
The following are not simple bivector forms.
In[4]:=
SimpleBivectorFormQ |
e
y
e
x
e
x
e
y
Out[4]=
{False,False,False,False,False,False}
You can compose a simple bivector form by using .
ComposeSimpleBivector
In[5]:=
SetBookVectorAssociation |
In[6]:=
B=
[b]
ComposeSimpleBivector |
Out[6]=
(++)⋀(++)
b
1
e
1
b
2
e
2
b
3
e
3
b
4
e
1
b
5
e
2
b
6
e
3
In[7]:=
SimpleBivectorFormQ |
★ |
e
1
Out[7]=
{True,True,False,False}
In[8]:=
Clear[B]
|
""

