I have used GRTensorII and Cadabra for some time. And I think Cadabra have great potential for GR. But the current vision of Cadabra only deals with abstract tensor analysis, not with writing out of explicit components. So ,(eq :)when I try to check my final tensor expressions of solutions of...