Ask Your Question

Sagemanifold - Connection components from a tensor (not a metric)

asked 2018-12-04 02:18:37 -0500

Dox gravatar image

Dear community.

This might sound dump, but I'm trying to determine whether a tensor satisfy the properties of a metric (under certain conditions). Of course it is a (0,2)-symmetric tensor, call it $S$, but I cannot (to my understanding) calculate the (Levi-Civita-like) connection components that would be associated to $S$... unless I declare it as a metric.

The way it is implemented makes sense... and it's solid!

What I did...?

I defined like a metric and calculate the associated connection (and curvatures)

Why should I do something else?

In the file src/sage/manifolds/differentiable/ the metric is defined (as it should) to be symmetric, but it does not allow to consider extensions of General Relativity like say Einstein--Strauss model. Thus, I need an instance to calculate the derived quantities of a tensor that is a generalization of a metric.


Is this possible?

edit retag flag offensive close merge delete


This is not my field so I'm not sure: what generalization do you need exactly? What do you want to do (in code) that you can't? A code sample (e.g. of how you wish it would work) would help.

rburing gravatar imagerburing ( 2018-12-04 03:58:55 -0500 )edit

1 answer

Sort by ┬╗ oldest newest most voted

answered 2018-12-04 06:32:22 -0500

eric_g gravatar image

If you consider a non-symmetric "metric", you should probably define a function with a code similar to that of the method LeviCivitaConnection.coef() (starting at line 388 of src/sage/manifolds/differentiable/ in SageMath 8.4), by replacing each instance of self._metric by your object.

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2018-12-04 02:18:37 -0500

Seen: 57 times

Last updated: Dec 04 '18