First time here? Check out the FAQ!

Ask Your Question
2

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 3 years ago

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).

Preview: (hide)

2 Answers

Sort by » oldest newest most voted
2

answered 3 years ago

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 https://sagemanifolds.obspm.fr/contri... and https://trac.sagemath.org/ticket/30525.

Preview: (hide)
link

Comments

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 ( 3 years ago )
1

answered 3 years ago

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.

Preview: (hide)
link

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

Stats

Asked: 3 years ago

Seen: 478 times

Last updated: Aug 14 '21