How can I define a submanifold-with-boundary of a Euclidean space in Sage?

asked 2021-04-07 19:59:42 +0100

Reasons for asking: I'd like to integrate a differential form over, say, a finite cylinder, and then extract the boundary of the cylinder for further computations.

answered 2021-04-08 09:51:19 +0100

eric_g
8424 ●10 ●62 ●166 https://luth.obspm.fr/...

Sorry, manifolds with boundary are not implemented yet. If you would like to implement them in SageMath, please visit https://sagemanifolds.obspm.fr/contri... and https://trac.sagemath.org/ticket/30525.

edit flag offensive delete link

Comments

Thanks. I thought this might be the case, but wanted to make sure I wasn't missing something obvious.

perfectly_odd ( 2021-04-09 01:31:39 +0100 )edit

There is already a ticket for manifolds with boundaries: Trac 30080, so they might be implemented soon.

eric_g ( 2021-04-12 11:03:54 +0100 )edit

add a comment

Your Answer

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

How can I define a submanifold-with-boundary of a Euclidean space in Sage?

1 Answer

Comments

Your Answer

Question Tools

Stats

How can I define a submanifold-with-boundary of a Euclidean space in Sage? edit

1 Answer

Comments

Your Answer

Question Tools

Stats

How can I define a submanifold-with-boundary of a Euclidean space in Sage?