The equation at the bottom should not have the last term using -ifri times itr.
It was shown few lines above from actual output, but having different dummy indices and ifrs are on the end and not the beginning. A sample of the correct text is here:
(%i7) ishow(ifb([a,b,c]))$
%3 %4
(%t7) (ifri - ifri ) ifr ifr
a %3,%4 a %4,%3 b c
This is the leading text before the wrong equation so it would be easier to find below.
This was copied from the manual.
The frame bracket itself is defined in terms of the frame field and frame metric. Two alternate methods of computation are used depending on the value of frame_bracket_form. If true (the default) or if the itorsion_flag is true:
This is in the gray box.
d e f
ifb = ifr ifr (ifri - ifri - ifri itr )
abc b c a d,e a e,d a f d e
Not a (documentation) bug. The example shows only the effect of iframe_flag. The text that follows gives the complete definition, including the term that is present only when itorsion_flag is also true.
The document is definitely wrong, because the frame bracket does not have torsion in its calculation. The text in the gray box should not have the third term.
the two descriptions of the two versions are not the same. The first document description has three terms with the itr included, which definitely is incorrect.
Last edit: Richard Gobeli 2021-10-16
Diff:
See attached.
Last edit: Viktor Toth 2021-10-18
Ok, I get it now. It is good.
I see the ctensor code has only one version of the frame_bracket. Does that make sense?
I have been trying to model teleparallel gravity with torsion and was trying to understand the torsion, frame bracket, curvature, and contorsion.
Well, it makes sense, but only because ctensor doesn't compute a torsion tensor in the first place. The only function that explicitly uses a torsion tensor is contortion(tr), which in turn expects the user to supply the tensor. I suppose we could add an optional tr parameter to frame_bracket() and then include a term like
-sum(tr[m%,e%,f%]*fri[a,m%],m%,1,dim)
in frame_bracket...