I am running Maple 2023 - yes I should update - and I found a weird "bug" if you could call it that. For different versions of the Physics package I am getting different answers on the same problem.
This is what I was getting when I run Version 1410:

|
(1) |
> |
Setup(mathematicalnotation=true):
|

|
(2) |
> |
LG :=(g_[~mu,~nu]*Ricci[mu,nu])*sqrt(-%g_[determinant]);
|
![Physics:-g_[`~mu`, `~nu`]*Physics:-Ricci[mu, nu]*(-%g_[determinant])^(1/2)](/view.aspx?sf=238290_question/18c15a583abd0c37579a08a5c58ee02a.gif)
|
(3) |
![Int(Int(Int(Int(Physics:-g_[`~mu`, `~nu`]*Physics:-Ricci[mu, nu]*(-%g_[determinant])^(1/2), x1 = -infinity .. infinity), x2 = -infinity .. infinity), x3 = -infinity .. infinity), x4 = -infinity .. infinity)](/view.aspx?sf=238290_question/1edc2059add7aa72f8205335b46864b3.gif)
|
(4) |
> |
EQ:=Fundiff(SG,%g_[~delta,~gamma])/sqrt(-%g_[determinant])
|
![((1/2)*%g_[`~mu`, `~nu`]*Physics:-Ricci[mu, nu]*%g_[delta, gamma]*%g_[determinant]/(-%g_[determinant])^(1/2)+Physics:-Ricci[mu, nu]*(-%g_[determinant])^(1/2)*%g_[delta, `~mu`]*%g_[gamma, `~nu`])/(-%g_[determinant])^(1/2)](/view.aspx?sf=238290_question/ebccf44d41cefa5a727d1e664e38a021.gif)
|
(5) |
> |
Simplify(subs(%g_=g_,EQ))
|
![-(1/2)*Physics:-g_[delta, gamma]*Physics:-Ricci[nu, `~nu`]+Physics:-Ricci[delta, gamma]](/view.aspx?sf=238290_question/6cb628a91d5f002c8d166024c0da520a.gif)
|
(6) |
|
And this is what I get if I used the latet update for 2023, Version 1683:
Strange right? I bring this up because it makes me wonder about potential errors in other computations...
The answer - equation 6 - in 1410 is the correct answer. This is simply a derivation of the Einstein Tensor.