Dear Dong-han,
I'm not very familiar with xCoba, so I'm not sure if what I'm writing
below is correct.
Maybe some expert on xCoba can correct me if I'm wrong.
In any case, the full xCoba documentation is here:
http://xact.es/documentation.html
What I understand happens in your notebook is the following: you use a
CTensor for the metric (with SetCMetric[GG, -cb];), but the xCoba
framework to set values for A.
I don't know how well one can mix the two, in any case I prefer CTensor
since it's much more intuitive.
To obtain a CTensor from your rules for A, I used AACTensor =
ToValues@ToCTensor[AA, {-cb, cart}];
Then Eq2[[1]] /. {AA -> AACTensor} gives me output with A substituted.
Of course you still have to define rules for the f tensor, and the
covariant derivative (i.e., the generalised Christoffel symbols).
Best, Markus
> --
> 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/11276219-e638-4a1a-9578-fc0117d60feen%40googlegroups.com
> [1].
>
>
> Links:
> ------
> [1]
>
https://groups.google.com/d/msgid/xact/11276219-e638-4a1a-9578-fc0117d60feen%40googlegroups.com?utm_medium=email&utm_source=footer