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  may simplify to  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 .