SamplePublisher`GrassmannCalculus`DifferentialGeometry`
EvaluateContractorsMF  |
|
| | ||||
Details and Options
Examples
(1)
Basic Examples
(1)
In[1]:=
<<GrassmannCalculus`
In[2]:=
savePreferences=
;
 | AllPreferences |
In[3]:=
SetEuclideanNSpace[4,{w,x,y,z},"Form"]
[a,b,c,d]
 | ★★S |
Here we set a weighted diagonal metric.
In[4]:=
testMetric=
;
[testMetric]
a | b | 0 | 0 |
b | a | 0 | 0 |
0 | 0 | a | c |
0 | 0 | c | a |
| DeclareMetric |
Here the result with EvaluateContractors requires simplification.
In[5]:=
〈
dx⋀dy,e
x
e
y
〉
%// | EvaluateContractors |
Out[5]=
〈dx⋀dy,⋀〉
e
x
e
y
Out[5]=
4
a
(-)(-)
2
a
2
b
2
a
2
c
2
a
2
b
(-+)(-)
2
a
2
b
2
a
2
c
2
b
2
c
(-)(-)
2
a
2
b
2
a
2
c
2
a
2
c
(-)(-+)
2
a
2
b
2
a
2
c
Out[5]=
1
Evaluating metric free gives a direct result without involving any of the metric elements.
In[6]:=
〈
dx⋀dy,e
x
e
y
〉
%// | EvaluateContractorsMF |
Out[6]=
〈dx⋀dy,⋀〉
e
x
e
y
Out[6]=
1
In[7]:=
| RestorePreferences |
""