Name: V. Shtabovenko Date: 02/11/20-09:21:29 PM Z


Hi,

thanks for the bug report. ChangeDimension received some modification
during the addition of Cartesian tensors, but the checks indeed seem to
be to restrictive. It should only care about the special case (_Symbol

In general, for various reasons I would try to avoid having an explicit
Epsilon in the dimensions of Dirac matrices and tensors, but anyhow I
think that you know what you are doing.

Regarding PropagatorDenominator, its first argument is actually supposed
to be a linear combination of Momentum symbols. So the fact that

FeynAmpDenominator[PropagatorDenominator[a, b]] // FCI

used to work in the previous versions is rather undefined behavior than
something intentional, especially since PropagatorDenominator is an FCI
symbol that may appear
only inside FeynAmpDenominator.

It also was necessary to clean up the definitions of
PropagatorDenominator to make sure that new things like

DataType[z, FCVariable] = True;
FAD[l, {l + z p, m}] // FCI // StandardForm

(*FeynAmpDenominator[PropagatorDenominator[Momentum[l, D], 0],
  PropagatorDenominator[Momentum[l, D] + z Momentum[p, D], m]]*)

can work properly.

Cheers,
Vladyslav

Am 11.02.20 um 17:12 schrieb D. Azevedo:
> Hello,
>
> I am having problems running a notebook I have written in FC v9.2 (Mathematica 10) within a PC with FC v9.3 (Mathematica 12).
>
> I have generated tadpole diagrams using FeynArts and I want to have the amplitude expression in FeynCalc form, for that I use:
>
> amps = FCFAConvert[CreateFeynAmp[DiagTadpolesBigH],
> IncomingMomenta -> {p}, LoopMomenta -> {q},
> UndoChiralSplittings -> True, SMP -> True, DropSumOver -> True,
> ChangeDimension -> 4 - \[Epsilon]] /.
> PropagatorDenominator[x_, y_] :>
> FeynAmpDenominator[PropagatorDenominator[x, y]] /. paramsubs //
> Contract
>
> But it doesn’t accept the dimension change, it says
>
> ChangeDimension::failmsg: Error! ChangeDimension has encountered a fatal problem and must abort the computation. The problem reads: Unsupported choice of dimension!
>
> If I choose just \[Epsilon] then it doesn’t give me any error but it seems the dimention becomes undefined. Also I need to change
>
> PropagatorDenominator[x_, y_] :>
> FeynAmpDenominator[PropagatorDenominator[x, y]]
>
> to
>
> PropagatorDenominator[x_, y_] :>
> FeynAmpDenominator[PropagatorDenominator[Momentum[x,4-\[Epsilon]], y]]
>
> for the propagator to behave “normally”.
>
> Is there any change in this regard with the change of version of FC?
>
> Cheers,
> Duarte
>
>