Níckolas de Aguiar Alves
unread,May 2, 2026, 2:40:09 PM (5 days ago) May 2Sign in to reply to author
Sign in to forward
You do not have permission to delete messages in this group
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to xAct Tensor Computer Algebra
Hi there!
I'm working with antisymmetric tensors. Let us call it F_ab for now. In the middle of my computation, I evaluate it in components. I noticed that F_00, for example, is simplified to zero when I call ToCanonical, as I would expect. However, this does not happen with \partial_1 F_00. I suppose this simplification is not trivial in the sense that e_1^a e_0^b e_0^c \partial_a F_bc is generally different from e_1^a \partial_a (e_0^b e_0^c F_bc), and perhaps \partial_1 F_00 denotes the first instead of the second?
What precisely is going on in this case? How can I handle it?
I am attaching a minimal working example.
Thanks in advance!