X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=doc%2Ftutorial%2Fginac.texi;h=50e95ae9ce78d277541f5fb95b05fa55cb554414;hp=9c4d15ee358bc63991650f005654ed9c9d3722d8;hb=09f0415b7442714ea9adae30872d151452185962;hpb=b60d73e12181182b5afd3d37363d99151628b92b;ds=sidebyside diff --git a/doc/tutorial/ginac.texi b/doc/tutorial/ginac.texi index 9c4d15ee..50e95ae9 100644 --- a/doc/tutorial/ginac.texi +++ b/doc/tutorial/ginac.texi @@ -3002,20 +3002,25 @@ for example @cindex @code{dirac_trace()} To calculate the trace of an expression containing strings of Dirac gammas -you use the function +you use one of the functions @example +ex dirac_trace(const ex & e, const std::set & rls, const ex & trONE = 4); +ex dirac_trace(const ex & e, const lst & rll, const ex & trONE = 4); ex dirac_trace(const ex & e, unsigned char rl = 0, const ex & trONE = 4); @end example -This function takes the trace of all gammas with the specified representation -label; gammas with other labels are left standing. The last argument to +These functions take the trace over all gammas in the specified set @code{rls} +or list @code{rll} of representation labels, or the single label @code{rl}; +gammas with other labels are left standing. The last argument to @code{dirac_trace()} is the value to be returned for the trace of the unity -element, which defaults to 4. The @code{dirac_trace()} function is a linear -functional that is equal to the usual trace only in @math{D = 4} dimensions. -In particular, the functional is not cyclic in @math{D != 4} dimensions when -acting on expressions containing @samp{gamma5}, so it's not a proper trace. -This @samp{gamma5} scheme is described in greater detail in +element, which defaults to 4. + +The @code{dirac_trace()} function is a linear functional that is equal to the +ordinary matrix trace only in @math{D = 4} dimensions. In particular, the +functional is not cyclic in @math{D != 4} dimensions when acting on +expressions containing @samp{gamma5}, so it's not a proper trace. This +@samp{gamma5} scheme is described in greater detail in @cite{The Role of gamma5 in Dimensional Regularization}. The value of the trace itself is also usually different in 4 and in @@ -3177,16 +3182,19 @@ expressions containing color objects: @end example @cindex @code{color_trace()} -To calculate the trace of an expression containing color objects you use the -function +To calculate the trace of an expression containing color objects you use one +of the functions @example +ex color_trace(const ex & e, const std::set & rls); +ex color_trace(const ex & e, const lst & rll); ex color_trace(const ex & e, unsigned char rl = 0); @end example -This function takes the trace of all color @samp{T} objects with the -specified representation label; @samp{T}s with other labels are left -standing. For example: +These functions take the trace over all color @samp{T} objects in the +specified set @code{rls} or list @code{rll} of representation labels, or the +single label @code{rl}; @samp{T}s with other labels are left standing. For +example: @example ...