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