the wedge product
a &^ b
`&^`(a, b, c)
a, b, c
expression involving differential forms relative to specific coordinates
This routine is part of the liesymm package and is loaded via with(liesymm) .
It computes the wedge product of differential forms relative to the coordinates defined by setup().
All 1-forms are generated by applying d() to the coordinates.
All wedge products are automatically simplified to a wedge product of n 1-forms by extracting coefficients of wedge degree 0.
All results of a wedge product are reported using an address ordering of the 1-forms to facilitate simplifications. Thus d⁡y&ˆd⁡x may simplify to −d⁡x&ˆd⁡y and if so will do so consistently within a given session.
The ordering used for simplifications of the products of 1-forms is available as wedgeset⁡1.
d⁡t &^ d⁡x
d⁡x &^ d⁡y
5⁢d⁡x &^ d⁡y &^ 3⁢d⁡z
Download Help Document