Ask Your Question
1

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

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

perfectly_odd gravatar image

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.

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
0

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

eric_g gravatar image

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 more

Comments

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

perfectly_odd gravatar imageperfectly_odd ( 2021-04-09 01:31:39 +0200 )edit

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

eric_g gravatar imageeric_g ( 2021-04-12 11:03:54 +0200 )edit

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: 2021-04-07 19:59:42 +0200

Seen: 23 times

Last updated: Apr 08