PaVeReduce

Description

PaVeReduce[expr] reduces all Passarino-Veltman integrals (i.e. all PaVe's) in expr down to scalar A0, B0, C0 and D0.

[Graphics:Images/index_gr_1.gif]
[Graphics:Images/index_gr_2.gif]
[Graphics:Images/index_gr_3.gif]
[Graphics:Images/index_gr_4.gif]

See also: FRH, PaVeOrder.

Examples
[Graphics:Images/index_gr_5.gif]
[Graphics:Images/index_gr_6.gif]
[Graphics:Images/index_gr_7.gif]
[Graphics:Images/index_gr_8.gif]
[Graphics:Images/index_gr_9.gif]
[Graphics:Images/index_gr_10.gif]
[Graphics:Images/index_gr_11.gif]
[Graphics:Images/index_gr_12.gif]
[Graphics:Images/index_gr_13.gif]
( 2/(mw2 - t) + B0[0, mw2, mw2]/(mw2 - t) -
  B0[t, mw2, SmallVariable[me2]]/(mw2 - t)
  )
[Graphics:Images/index_gr_14.gif]
[Graphics:Images/index_gr_15.gif]
[Graphics:Images/index_gr_16.gif]
[Graphics:Images/index_gr_17.gif]
[Graphics:Images/index_gr_18.gif]
[Graphics:Images/index_gr_19.gif]
        d122res = -(MW2 + S)/(2D0*(4*MW2 - T)*(MW2**2 - S*U)) -
     &  ((4*MW2**5 - 5*MW2**4*S - 16*MW2**3*S**2 +
     &       4*MW2**2*S**3 + 4*MW2*S**4 - MW2**4*U -
     &       4*MW2**2*S**2*U + 8*MW2*S**3*U +
     &       4*MW2**2*S*U**2 + S**3*U**2 + S**2*U**3)*
     &     B0(MW2,ME2,Null))/
     &   (2D0*(MW2 - S)*(4*MW2 - T)**2*(MW2**2 - S*U)**2) +
     &  (S*(MW2**2 - 4*MW2*S + 2*S**2 + S*U)*B0(S,Null,Null))/
     &   (2D0*(MW2 - S)*(MW2**2 - S*U)**2) +
     &  ((MW2 + S)*(4*MW2**3 - 9*MW2**2*S + 2*S**3 -
     &       MW2**2*U - 4*MW2*S*U + 5*S**2*U + 3*S*U**2)*
     &     B0(T,ME2,ME2))/
     &   (2D0*(4*MW2 - T)**2*(MW2**2 - S*U)**2) -
     &  ((MW2 + S)*(2*MW2**6 - 8*MW2**5*S + 12*MW2**4*S**2 -
     &       8*MW2**3*S**3 + 2*MW2**2*S**4 - 2*MW2**5*T +
     &       20*MW2**4*S*T - 36*MW2**3*S**2*T +
     &       20*MW2**2*S**3*T - 2*MW2*S**4*T -
     &       6*MW2**3*S*T**2 + 6*MW2**2*S**2*T**2 -
     &       6*MW2*S**3*T**2 + 4*MW2*S**2*T**3 - S**2*T**4)*
     &     C0(MW2,MW2,T,ME2,Null,ME2))/
     &   (2D0*(4*MW2 - T)**2*(MW2**2 - S*U)**3) +
     &  ((MW2 - S)**2*S**2*T*C0(MW2,S,ME2,ME2,Null,Null))/
     &   (MW2**2 - S*U)**3 -
     &  ((MW2 - S)*S**2*T**2*C0(T,ME2,ME2,ME2,ME2,Null))/
     &   (2D0*(MW2**2 - S*U)**3) +
     &  ((MW2 - S)*S**3*T**2*
     &     D0(MW2,MW2,ME2,ME2,T,S,ME2,Null,ME2,Null))/
     &   (2D0*(MW2**2 - S*U)**3)
[Graphics:Images/index_gr_20.gif]


The FeynCalc Book   previousPaVeOrder   nextPlusDistribution

Converted from the Mathematica notebook PaVeReduce.nb