Loading [MathJax]/jax/output/HTML-CSS/jax.js

First time here? Check out the FAQ!

Ask Your Question
1

Integrating differential forms

asked 3 years ago

ripple_carry gravatar image

I'd like to integrate dx /\ dy over the unit square. Naively, I would expect the following to work:

E.<x,y> = EuclideanSpace(2) 

phi = E.diff_form(2)
phi[1, 2] = 1

show(integrate(integrate(phi, x, 0, 1), y, 0, 1))

but it fails with:

TypeError: unable to convert 2-form on the Euclidean plane E^2 to a symbolic expression

and I can't find anything about integration in the DiffFormFreeModule documentation. What is the right way to do this?

Preview: (hide)

1 Answer

Sort by » oldest newest most voted
3

answered 3 years ago

eric_g gravatar image

Indeed, integration of differential forms is not implemented yet. Meanwhile, you can pass the symbolic expression representing the component ϕ12, which is returned by phi[1,2].expr(), to integrate: from your example, we get

sage: integrate(integrate(phi[1,2].expr(), x, 0, 1), y, 0, 1)                                       
1
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: 370 times

Last updated: May 02 '21