Ask Your Question

Is there a way to define a submanifold of a Euclidean space by providing a list of implicit constraints, instead of by declaring a separate manifold and explicitly defining the embedding?

asked 2021-04-07 20:09:41 +0200

perfectly_odd gravatar image

Reasons for asking: My ultimate goal is to be able to integrate vector and form fields on surfaces defined by constraints in a 3D Euclidean space. A simple example would be the sphere (x^2 + y^2 + z^2 = R^2).

edit retag flag offensive close merge delete

2 Answers

Sort by ยป oldest newest most voted

answered 2021-04-08 10:03:23 +0200

eric_g gravatar image

This is not implemented yet. The current functionalities for submanifolds are described in [1], [2], [3], [4] and [5].

You are very welcome to contribute to SageMath by implementing the requested functionality; please visit and

edit flag offensive delete link more


Thanks, @eric_g---looks like you got to all three of my submanifold-related questions. Apologies for being repetitious; I just wanted to make sure I wasn't missing something obvious.

Also, those last two references (Jupyter notebooks for Kerr / Schwarzschild spacetimes) look pretty cool. Thanks for sharing!

perfectly_odd gravatar imageperfectly_odd ( 2021-04-09 01:36:30 +0200 )edit

answered 2021-08-14 12:45:22 +0200

mjungmath gravatar image

It might be of your interest that Matthias Koeppe is currently working on a refinement of the manifold's subset implementation. The full meta-ticket can be found in #31740.

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: 2021-04-07 20:09:41 +0200

Seen: 389 times

Last updated: Aug 14 '21