SamplePublisher`GrassmannCalculus`
TargetProductElementValue  |
|
| | ||||
Details and Options
Examples
(1)
Basic Examples
(1)
In[1]:=
<<GrassmannCalculus`
The following is a 3-vector in 5-space with its expanded canonical 3-vector.
In[2]:=
 | ★ℬ |
5
e
1
3
e
4
8
e
5
2
e
2
3
e
4
8
e
5
14
e
3
e
5
7
| FastExteriorExpand |
Out[2]=
10++⋀++⋀-
e
1
3
e
4
8
e
5
2
e
2
3
e
4
8
e
5
14
e
3
e
5
7
Out[2]=
10⋀⋀-⋀⋀-⋀⋀-⋀⋀-⋀⋀+⋀⋀+5⋀⋀+⋀⋀-⋀⋀
e
1
e
2
e
3
10
7
e
1
e
2
e
5
15
4
e
1
e
3
e
4
5
7
e
1
e
3
e
5
15
28
e
1
e
4
e
5
15
4
e
2
e
3
e
4
e
2
e
3
e
5
15
28
e
2
e
4
e
5
45
28
e
3
e
4
e
5
Zero the coefficient of in the first factor using the third factor.
e
5
In[3]:=
mProduct2=mProduct//
[{3,},1]canonicalMVector2=
[mProduct2]canonicalMVector2canonicalMVector
 | TargetProductElementValue |
e
5
| FastExteriorExpand |
Out[3]=
10++⋀++⋀-
e
1
7
e
3
2
3
e
4
8
e
2
3
e
4
8
e
5
14
e
3
e
5
7
Out[3]=
10⋀⋀-⋀⋀-⋀⋀-⋀⋀-⋀⋀+⋀⋀+5⋀⋀+⋀⋀-⋀⋀
e
1
e
2
e
3
10
7
e
1
e
2
e
5
15
4
e
1
e
3
e
4
5
7
e
1
e
3
e
5
15
28
e
1
e
4
e
5
15
4
e
2
e
3
e
4
e
2
e
3
e
5
15
28
e
2
e
4
e
5
45
28
e
3
e
4
e
5
Out[3]=
True
Set the coefficient of in the first factor to 6 using the third factor.
e
5
In[4]:=
mProduct2=mProduct//
[{3,},1,6]canonicalMVector2=
[mProduct2]canonicalMVector2canonicalMVector
| TargetProductElementValue |
e
5
| FastExteriorExpand |
Out[4]=
10-++6⋀++⋀-
e
1
77
e
3
2
3
e
4
8
e
5
e
2
3
e
4
8
e
5
14
e
3
e
5
7
Out[4]=
10⋀⋀-⋀⋀-⋀⋀-⋀⋀-⋀⋀+⋀⋀+5⋀⋀+⋀⋀-⋀⋀
e
1
e
2
e
3
10
7
e
1
e
2
e
5
15
4
e
1
e
3
e
4
5
7
e
1
e
3
e
5
15
28
e
1
e
4
e
5
15
4
e
2
e
3
e
4
e
2
e
3
e
5
15
28
e
2
e
4
e
5
45
28
e
3
e
4
e
5
Out[4]=
True
And it works with some other products.
In[5]:=
mProduct/.WedgeCircleDot%//
[{3,},1,6]
| TargetProductElementValue |
e
5
Out[5]=
10++⊙++⊙-
e
1
3
e
4
8
e
5
2
e
2
3
e
4
8
e
5
14
e
3
e
5
7
Out[5]=
10-++6⊙++⊙-
e
1
77
e
3
2
3
e
4
8
e
5
e
2
3
e
4
8
e
5
14
e
3
e
5
7
 |
|
""