GrassmannCalculus`
RawGradeQ  |
|
| | ||||
|
| | ||||
Details and Options
Examples
(1)
Basic Examples
(1)
In[1]:=
<<GrassmannCalculus`
In[2]:=
★A;
RawGradeQ
In[3]:=
★A;1//
[0]3x⋀y//
[2]3x⋀y⋀p⋀q⋀r//
[5]1+2x+3x⋀y⋀p⋀q⋀r//
[{0,1,5}]
 | RawGradeQ |
| RawGradeQ |
| RawGradeQ |
| RawGradeQ |
Out[3]=
True
Out[3]=
True
Out[3]=
True
Out[3]=
True
GradeQ returns False if the raw grade of the expression does not match.
In[4]:=
1+2x+3x⋀y⋀p⋀q⋀r//
[{0,1,3}]
| GradeQ |
Out[4]=
False
You can also use new (undefined) symbols as long as you assert their grades, or you can override the grades of currently declared symbols.
In[5]:=
Clear[A];
[{3,5}]A+x⋀y⋀z,{x,A}∈
 | RawGradeQ |
★Λ
3
Out[5]=
True
RawGradeQ[m]
In[6]:=
| RawGradeQ |
z
4
Out[6]=
{False,True,True}
Or it's listability properties can be used.
In[7]:=
| RawGradeQ |
α
2
α
2
β
2
Out[7]=
True
In[8]:=
| RawGradeQ |
α
6
α
2
β
2
Out[8]=
False
In[9]:=
| RawGradeQ |
α
2
α
2
β
2
Out[9]=
True
The expression can contain powers (including reciprocals) of scalars.
In[10]:=
| RawGradeQ |
1
+
(x⋀y⋀z⋀p⋀q⋀r)⊖x
a
(
x⊖y)+
2
(a⋀b)
Out[10]=
True
 |
|
 |
|
""