22 views

Skip to first unread message

Sep 6, 2024, 9:52:49 AMSep 6

to xAct Tensor Computer Algebra

Hi everybody,

I implement it in a contrived 2-step process:

1. Contract the tensor with the flat background metric.

2. Set the partial derivatives of this metric to 0 since it's flat.

Is there a more efficient and straightforward way to achieve the same goal?

Regards,

Sashwat Tanay

Sep 7, 2024, 10:49:18 PMSep 7

to xAct Tensor Computer Algebra

Hi,

xAct assumes by default that the metric is not flat. There is an option of DefCovD and DefMetric called FlatMetric, with default value False. If your metric is flat then you should use DefMetric[..., FlatMetric -> True]. This makes the associated curvature tensors to be zero, simplifying many computations.

But this does not yet make PD[-a][g[-b, -c]] give zero. This is a coordinate condition that must be set separately with something like the upvalue

PD[_][_g] ^:= 0

Then you will be able to contract the metric just using ContractMetric, with no additional rules needed.

Cheers,

Jose.

Reply all

Reply to author

Forward

0 new messages

Search

Clear search

Close search

Google apps

Main menu