GrassmannCalculus`
MVectorFormQ  |
| MVectorFormQ[ x x | |
| MVectorFormQ[ m,x True x m False | |
Details and Options
Examples
(1)
Basic Examples
(1)
In[1]:=
<<GrassmannCalculus`
In[2]:=
SetActiveAssociation
"Grassmann Plane"
 | PublicGrassmannAtlas |
The following are m-vector forms for various m's.
In[3]:=
| MVectorFormQ |
e
x
e
x
e
y
e
x
e
y
e
x
e
y
e
x
e
y
Out[3]=
{True,True,True,True,True,True,True,True,True,True}
The last gave True because is does have a grade of zero.
In[4]:=
Grade[p⋀q⋀r⋀s]
Out[4]=
★0
The following are not m-vector forms for various m's.
In[5]:=
| MVectorFormQ |
e
y
Out[5]=
{False,False}
The following are 2-vector forms.
In[6]:=
| MVectorFormQ |
e
x
e
y
e
x
e
y
e
x
e
y
e
x
e
y
Out[6]=
{True,True,True,True,True}
The following are not 2-vector forms.
In[7]:=
| MVectorFormQ |
e
x
e
x
e
y
e
x
e
y
Out[7]=
{False,False,False,False,False}
You can compose a simple m-vector form by using .
ComposeMVector
In[8]:=
 | SetBookVectorAssociation |
In[9]:=
M=
[3,m]
| ComposeMVector |
Out[9]=
m
1
e
1
e
2
e
3
m
2
e
1
e
2
e
4
m
3
e
1
e
3
e
4
m
4
e
2
e
3
e
4
In[10]:=
 | MVectorFormQ |
 | ★ |
Out[10]=
{True,True,False,False,False,False,False}
In[11]:=
Clear[M]
 |
|
""