Question: Contravariant metric

If you are are given a contravariant metric, is there a system in maple similar to that to enter a covariant metric ?

As an example, in Maple you can enter a given arbitrary covariant metric by e.g.

ds := exp(2*psi(rho, z))*dt^2 - exp(-2*psi(rho, z))*(exp(2*sigma(rho, z))*(drho^2 + dz^2) + rho^2*dphi^2)

Coordinates(X = (rho, z, phi, t))

Then

Setup(metric = ds)

This then enters the metric into maple and from there on you can calculate all necessary tensors related the covariant metric 

My Question is;

Is there a similar structure you can enter a given CONTRAvariant metric into maple by a similar structure as above without having to resort to first manually transforming the contravariant metric to covariant in order to enter into maple ?

Please Wait...