1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
::PostDefaultRules(@@prodsort!(%), @@rename_dummies!(%), @@canonicalise!(%), @@collect_terms!(%) ).
{ a,b,c,d,e }::Indices(vector).
\bar{#}::DiracBar.
{ \partial{#}, \ppartial{#} }::PartialDerivative.
{ A_{a}, f_{a b} }::Depends(\partial, \ppartial).
{ \epsilon, \gamma_{#} }::Depends(\bar).
\lambda::Depends(\bar, \partial).
{ \lambda, \gamma_{#} }::NonCommuting.
{ \lambda, \epsilon }::Spinor(dimension=4, type=Majorana).
{ \epsilon, \lambda }::SortOrder.
{ \epsilon, \lambda }::AntiCommuting.
\gamma_{#}::GammaMatrix(metric=\delta).
\delta{#}::Accent.
f_{a b}::AntiSymmetric.
\delta_{a b}::KroneckerDelta.
susy:= { \delta{A_{a}} = \bar{\epsilon} \gamma_{a} \lambda,
\delta{\lambda} = -(1/2) \gamma_{a b} \epsilon f_{a b} };
S:= -(1/4) f_{a b} f_{a b}
- (1/2) \bar{\lambda} \gamma_{a} \partial_{a}{\lambda};
@vary(%)( f_{a b} -> \partial_{a}{\delta{A_{b}}} - \partial_{b}{\delta{A_{a}}},
\lambda -> \delta{\lambda} );
@distribute!(%);
@substitute!(%)( @(susy) ): @prodrule!(%): @distribute!(%): @unwrap!(%);
@rewrite_diracbar!(%);
@substitute!(%)( \partial_{c}{f_{a b}} -> \ppartial_{c}{f_{a b}} );
@pintegrate!(%){\ppartial}:
@rename!(%){"\ppartial"}{"\partial"}:
@prodrule!(%): @unwrap!(%);
@join!(%){expand};
@distribute!(%);
@eliminate_kr!(%);
@substitute!(%)( \partial_{a}{\bar{\lambda}} -> \bar{\partial_{a}{\lambda}} );
@spinorsort!(%);
tst:= 1/2 \bar{\epsilon} * \gamma_{a b c} * \partial_{a}{\lambda} * f_{b c}
+ @(S);
@assert(tst);
#\bar{\partial_{a}{\lambda}} \gamma_{a b c} \epsilon f_{b c} ;
#@canonicalise!(%);
|
