使いかたhttp://pubman.mpdl.mpg.de/pubman/item/escidoc:150722:1/component/escidoc:150721/cadabra.pdf A brief introduction to Cadabra: a tool for tensor computations in General Relativity https://arxiv.org/pdf/0903.2085.pdfhttps://suppiya.fi…