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 black hole or any other kinds of spacetime problem ,I have to rewrite the expressions on GRTensorII. Is there any other software or pactage that can do all the things? I'm not particularly familiar with Mathematica and Maxima, they can both achieve abstract tensor analysis and write out of explicit components?