SamplePublisher`GrassmannCalculus`
SymbolicFactoringAssociation  |
|
| | ||||
Details and Options
Examples
(1)
Basic Examples
(1)
In[1]:=
<<GrassmannCalculus`
A for factoring canonical (fully expanded) 2-vectors in 4-space is created as follows:
SymbolicFactoringAssociation
In[2]:=
 | ★ℬ |
4
| SymbolicFactoringAssociation |
Out[2]=
⋀
e
1
e
2
|
We can extract the data for ⋀ with:
e
1
e
2
In[3]:=
 | IconExtract |
e
1
e
2
Out[3]=
SymbolicMProduct(++)⋀(++),SymbolicMVector⋀+⋀+⋀-⋀-⋀+(-+)⋀,SymbolicCoefficients{,,,-,-,(-+)},SymbolicVariables{,,,,},EquationFunction(Thread[{,,,-,-,(-+)}##1]&)
c
0,0
e
1
e
3
c
1,3
e
4
c
1,4
e
2
e
3
c
2,3
e
4
c
2,4
c
0,0
e
1
e
2
c
0,0
c
2,3
e
1
e
3
c
0,0
c
2,4
e
1
e
4
c
0,0
c
1,3
e
2
e
3
c
0,0
c
1,4
e
2
e
4
c
0,0
c
1,4
c
2,3
c
1,3
c
2,4
e
3
e
4
c
0,0
c
0,0
c
2,3
c
0,0
c
2,4
c
0,0
c
1,3
c
0,0
c
1,4
c
0,0
c
1,4
c
2,3
c
1,3
c
2,4
c
0,0
c
1,3
c
1,4
c
2,3
c
2,4
c
0,0
c
0,0
c
2,3
c
0,0
c
2,4
c
0,0
c
1,3
c
0,0
c
1,4
c
0,0
c
1,4
c
2,3
c
1,3
c
2,4
We can extract a particular symbolic expression with:
In[4]:=
| IconExtract |
e
1
e
2
Out[4]=
c
0,0
e
1
e
3
c
1,3
e
4
c
1,4
e
2
e
3
c
2,3
e
4
c
2,4
 |
|
""