wcollect - Maple Help

liesymm

 wcollect
 regroup the terms as a sum of products

 Calling Sequence wcollect(expr)

Parameters

 expr - expression involving wedge products

Description

 • 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,  $d\left(x\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&ˆ\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}d\left(t\right)$ is recognized as being the same as $-d\left(t\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&ˆ\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}d\left(x\right)$.

Examples

 > $\mathrm{with}\left(\mathrm{liesymm}\right):$$\mathrm{setup}\left(x,y,z\right):$
 > $\mathrm{wcollect}\left(ad\left(x\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&ˆ\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}d\left(y\right)+bd\left(x\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&ˆ\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}d\left(y\right)\right)$
 $\left({-}{a}{-}{b}\right){}{d}{}\left({y}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{&ˆ}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{d}{}\left({x}\right)$ (1)
 > $\mathrm{wcollect}\left(ad\left(x\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&ˆ\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}d\left(y\right)+bd\left(y\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&ˆ\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}d\left(x\right)\right)$
 $\left({-}{a}{+}{b}\right){}{d}{}\left({y}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{&ˆ}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{d}{}\left({x}\right)$ (2)