Generalising rule to make it act on arbitrary scalar

[Sukruti]

Hello,

I have defined a rule via MakeRule separately for the Ricci scalar and a scalar field \[Phi] defined explicitly in the notebook (the rules named boxrule1 and boxrule2 in the attached notebook).

I am wondering if it is possible to generalise the rule and define it such that it can work for any arbitrary scalar, such as CD[-\[Alpha]]@CD[\[Alpha]]@\[Phi], and not just the Ricci scalar and \[Phi].

Is it possible?

Cheers

Sukruti

[Thomas Bäckdahl]

Hi!

Perhaps you can use your boxrule3 to construct a new rule. Try the following:
boxrule3 =  ReplacePart[#, 1 -> (#[[1]] /. \[Phi] -> \[Phi]_?ScalarQ)] & /@ (boxrule2 /. \[Phi][] -> \[Phi])

Regards
Thomas

--
You received this message because you are subscribed to the Google Groups "xAct Tensor Computer Algebra" group.
To unsubscribe from this group and stop receiving emails from it, send an email to xact+uns...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/xact/0fb092b5-c9ce-4fcf-97fe-576c84310622n%40googlegroups.com.

[Sukruti]

Great, thanks!

Cheers

Sukruti