Why does MetricInBasis not define its own inverse rules

[Andrew Kovachik]

Considering the following minimal example:

DefManifold[M, 4, IndexRange[a, q]]

DefMetric[-1, met[-a, -b], CD, PrintAs -> "g"]

DefChart[cartesian, M, {0, 1, 2, 3}, {t[], x[], y[], z[]},
 FormatBasis -> {"Partials", "Differentials"}, ChartColor -> Red]

flatmetriccart =
  CTensor[DiagonalMatrix[{-1, 1, 1, 1}], {-cartesian, -cartesian}, 0];

MetricInBasis[met, -cartesian, flatmetriccart]

I get a set of rules that define the lowered basis, but it does not infer what the inverse metric would be, which I think it should given that the raised metric should be its own inverse?

Cheers,

Anndrew

[Jose]

Hi again,

This post is essentially equivalent to

https://groups.google.com/g/xAct/c/zDHXAdP9Bp4?hl=en

and was addressed there.

Cheers,

Jose.