This routine is part of the liesymm package and is loaded via with(liesymm).

The expression is rewritten in a sum of products form with each distinct wedge product or 1-form occurring exactly once. As the arguments to a wedge product are sorted into ``address'' order and coefficients are automatically extracted,   is recognized as being the same as .