Cadabra
a field theory motivated approach to computer algebra

eliminate_metric

Eliminate metrics by raising or lowering indices.
Eliminate metric and inverse metric objects by raising or lowering indices.
{m, n, p, q, r}::Indices(vector, position=fixed). {m, n, p, q, r}::Integer(0..9). g_{m n}::Metric. g^{m n}::InverseMetric. g_{m}^{n}::KroneckerDelta. g^{m}_{n}::KroneckerDelta. ex:=g_{m p} g^{p m}; eliminate_metric(_);
\(\displaystyle{}g_{m p} g^{p m}\)
\(\displaystyle{}g^{p}\,_{p}\)
eliminate_kronecker(_);
\(\displaystyle{}10\)
Related algorithms are eliminate_kronecker and eliminate_vielbein.
Copyright © 2001-2017 Kasper Peeters
Questions? info@cadabra.science