Failure of Deriving a CovD from a Metric

13 views

Skip to first unread message

灯夏璃

unread,

Nov 28, 2025, 4:27:29 AM (yesterday) Nov 28

to xAct Tensor Computer Algebra

Hi! All

I am a freshmen to use the `xAct` (the version I use is 1.2.0). I have some trouble setting up a CovD, namely `ECD`, from the metric `g`, although I have used the option `FromMetric`. Besides, I also found that `ECD` was not in the list of `CovDOfMetric[g]`, and the rule `ChristoffelToMetric` doesn't work as well. I have attached my notebook. May you help me fix the problem?