Thank you very much for your comment , my problem solved for your note. but i have other problem in the last part as : for deriving induced Ricci Scalar i can not derive the correct result . may you help me?
In[129]:= inducedRicciScalar[] = % /. LapseRule // Expand
Out[129]=
ExtrinsicKmetrich[-a, -b] ExtrinsicKmetrich[a, b] +
ExtrinsicKmetrich[a, -a] ExtrinsicKmetrich[
b, -b] + RicciScalarcd[] - RicciScalarCD[] +
metrich[a, b] metrich[c, d] RiemannCD[-a, -c, -b, -d] - (2 (
cd[-a][
cd[a][
lapse[]]]))/lapse[] - 2 metrich[b, c] n[a] (
CD[-a][
ExtrinsicKmetrich[-b, -c]])