$LoadPhi = True ; $LoadFeynArts = True ;

Needs["HighEnergyPhysics`FeynCalc`"] ;

FeynCalc 4.2.0
For help, type ?FeynCalc,
use the built-in help system
or visit www.feyncalc.org

Loading PHI

Loading FeynArts

FeynArts 3.1

by Hagen Eck, Sepp Kueblbeck, and Thomas Hahn

last revised 12 Feb 03

patched for use with FeynCalc by Frederik Orellana

•UTrace

UTrace[expression,opts] tries different simplification rules according to opts.  A subexpression of expression that cannot be traced is returned as UTrace1[subexpression].

UTrace1 is the function that "knows" the reduction rules, but it works only on fully expanded expressions.  UTrace gets the trace right also for complicated expressions.

•Example

UQuarkMassMatrix[SUNN -> 3, QuarkToMesonMasses -> True, DiagonalToU -> True, RemoveIntegerIndices -> True]

-(((m _ π^(ó  ))^2 - (m _ K^+^(ó  ))^2 - (m _ K^0^(ó  ))^2) (÷¬öé/3 - σ^8/3^(1/2)))/(2 !, _ 0^( )) - ((-(m _ π^(ó  ))^2 + (m _ K^+^(ó  ))^2 - (m _ K^0^(ó  ))^2) (÷¬öé/3 - σ^3/2 + σ^8/(2 3^(1/2))))/(2 !, _ 0^( )) - ((-(m _ π^(ó  ))^2 - (m _ K^+^(ó  ))^2 + (m _ K^0^(ó  ))^2) (÷¬öé/3 + σ^3/2 + σ^8/(2 3^(1/2))))/(2 !, _ 0^( ))

UTrace[%] // Simplify

((m _ π^(ó  ))^2 + (m _ K^+^(ó  ))^2 + (m _ K^0^(ó  ))^2)/(2 !, _ 0^( ))

UTrace[test]

< test >

Converted by Mathematica  (July 10, 2003)