This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
documentation:ref:diracsimplify [2015/11/20 20:00] poslavskysv [See also] |
documentation:ref:diracsimplify [2015/11/21 12:33] (current) |
||
|---|---|---|---|
| Line 10: | Line 10: | ||
| * One can directly set trace of identity matrix (e.g. for dimensional regularisation): ''%%DiracSimplify[[Dimension: D, TraceOfOne: 4]]%%'' | * One can directly set trace of identity matrix (e.g. for dimensional regularisation): ''%%DiracSimplify[[Dimension: D, TraceOfOne: 4]]%%'' | ||
| - | * By default ''DiracSimplify'' uses notation ''G_m'' for $\gamma_m$ and ''G5'' for $\gamma_5$. ''%%DiracSimplify[G, G5]%%'' or ''%%DiracTrace[[Gamma: G, Gamma5: G5]]%%'' specifies the notation for $\gamma_m$ and $\gamma_5$. | + | * By default ''DiracSimplify'' uses notation ''G_m'' for $\gamma_m$ and ''G5'' for $\gamma_5$. ''%%DiracSimplify[G, G5]%%'' or ''%% DiracSimplify[[Gamma: G, Gamma5: G5]]%%'' specifies the notation for $\gamma_m$ and $\gamma_5$. |
| - | * ''%%DiracTrace[[Simplifications: rules]]%%'' will apply additional simplification ''rules'' to each processed trace | + | * ''%% DiracSimplify[[Simplifications: rules]]%%'' will apply additional simplification ''rules'' to each processed product of gammas |
| ====Examples==== | ====Examples==== | ||
| ---- | ---- | ||
| - | Calculate trace of $\gamma$-matrices: | + | Simplify different expressions: |
| - | <sxh groovy; gutter: false> | + | <sxh groovy; gutter: true> |
| defineMatrices 'G_a', 'G5', Matrix1.matrix | defineMatrices 'G_a', 'G5', Matrix1.matrix | ||
| - | println DiracTrace >> 'Tr[G_a*G_b]'.t | + | def dSimplify = DiracSimplify |
| + | println dSimplify >> 'G_a*G^a'.t | ||
| </sxh> | </sxh> | ||
| <sxh plain; gutter: false> | <sxh plain; gutter: false> | ||
| - | > 4*g_ab | + | > 4 |
| + | </sxh> | ||
| + | <sxh groovy; gutter: true; first-line: 4> | ||
| + | println dSimplify >> 'G_a*G_b*G^a'.t | ||
| + | </sxh> | ||
| + | <sxh plain; gutter: false> | ||
| + | > -2*G_{b} | ||
| + | </sxh> | ||
| + | <sxh groovy; gutter: true; first-line: 5> | ||
| + | println dSimplify >> 'G_a*G_b*G^a*G^b'.t | ||
| + | </sxh> | ||
| + | <sxh plain; gutter: false> | ||
| + | > -8 | ||
| + | </sxh> | ||
| + | <sxh groovy; gutter: true; first-line: 6> | ||
| + | println dSimplify >> 'G5*G_a*G_b*G^a*G^b*G5*G5'.t | ||
| + | </sxh> | ||
| + | <sxh plain; gutter: false> | ||
| + | > -8*G5 | ||
| + | </sxh> | ||
| + | <sxh groovy; gutter: true; first-line: 7> | ||
| + | println dSimplify >> 'G5*G_a*G_b*G^a*G5*G5'.t | ||
| + | </sxh> | ||
| + | <sxh plain; gutter: false> | ||
| + | > 2*G_{b} | ||
| </sxh> | </sxh> | ||
| + | ---- | ||
| + | Simplify in different dimensions: | ||
| + | <sxh groovy; gutter: true> | ||
| + | defineMatrices 'G_a', 'G5', Matrix1.matrix | ||
| + | def dSimplify = DiracSimplify[[Dimension: 'D']] | ||
| + | println dSimplify >> 'G_a*G^a'.t | ||
| + | </sxh> | ||
| + | <sxh plain; gutter: false> | ||
| + | > D | ||
| + | </sxh> | ||
| + | <sxh groovy; gutter: true; first-line: 4> | ||
| + | println dSimplify >> 'G_a*G_b*G^a'.t | ||
| + | </sxh> | ||
| + | <sxh plain; gutter: false> | ||
| + | > -(-2+D)*G_{b} | ||
| + | </sxh> | ||
| + | ---- | ||
| + | Specify additional simplifications: | ||
| + | <sxh groovy; gutter: true> | ||
| + | defineMatrices 'G_a', 'G5', Matrix1.matrix | ||
| + | def dSimplify = DiracSimplify[[Simplifications: 'p_a*k^a = s'.t]] | ||
| + | println dSimplify >> 'p^b*k^c*G_a*G_b*G_c*G^a'.t | ||
| + | </sxh> | ||
| + | <sxh plain; gutter: false> | ||
| + | > 4*s | ||
| + | </sxh> | ||
| ====See also==== | ====See also==== | ||
| * Related guides: [[documentation:guide:applying_and_manipulating_transformations]], [[documentation:guide:Setting up matrix objects]], [[documentation:guide:list_of_transformations]] | * Related guides: [[documentation:guide:applying_and_manipulating_transformations]], [[documentation:guide:Setting up matrix objects]], [[documentation:guide:list_of_transformations]] | ||
| * Related tutorials: [[documentation:tutorials:Compton scattering in QED]] | * Related tutorials: [[documentation:tutorials:Compton scattering in QED]] | ||
| - | * Related transformations: [[documentation:ref:DiracTrace]], [[documentation:ref:DiracOrder]], [[documentation:ref:LeviCivitaSimplify]], [[documentation:ref:UnitaryTrace]] | + | * Related transformations: [[documentation:ref:DiracTrace]], [[documentation:ref:spinorssimplify]], [[documentation:ref:DiracOrder]], [[documentation:ref:LeviCivitaSimplify]], [[documentation:ref:UnitarySimplify]], [[documentation:ref:UnitaryTrace]] |
| - | * JavaDocs: [[http://api.redberry.cc/redberry/1.1.8/java-api//cc/redberry/physics/feyncalc/DiracSimplifyTransformation.html| DiracSimplifyTransformation]] | + | * JavaDocs: [[http://api.redberry.cc/redberry/1.1.9/java-api//cc/redberry/physics/feyncalc/DiracSimplifyTransformation.html| DiracSimplifyTransformation]] |
| * Source code: [[https://bitbucket.org/redberry/redberry/src/tip/physics/src/main/java/cc/redberry/physics/feyncalc/DiracSimplifyTransformation.java|DiracSimplifyTransformation.java]] | * Source code: [[https://bitbucket.org/redberry/redberry/src/tip/physics/src/main/java/cc/redberry/physics/feyncalc/DiracSimplifyTransformation.java|DiracSimplifyTransformation.java]] | ||
| + | |||