Ask Your Question

Revision history [back]

Integrating differential forms

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?