liesymm
wsubs
replace part of a wedge product
Calling Sequence
Parameters
Description
Examples
wsubs(eqn, expr)
wsubs(lst, expr)
expr

expression involving wedgeproducts
eqn
expression of the form wedgeprod = expression
lst
list or set of expressions like eqn
This routine is part of the liesymm package and is loaded via with(liesymm) .
The routine wsubs() is analogous to powsubs() but is for wedge products. One or more equations specify replacements that are to be made.
The replacements occur even if only a subset of the $\&\^$ arguments match.
If two or more substitutions are specified, they are completed in the order specified, even if they are given as a set. Simultaneous substitution (as in subs()) has not been implemented.
$\mathrm{with}\left(\mathrm{liesymm}\right)\:$$\mathrm{setup}\left(x\,y\,z\,t\right)\:$
$\mathrm{wsubs}\left(d\left(x\right)=d\left(z\right)\,ad\left(x\right)\phantom{\rule[0.0ex]{0.3em}{0.0ex}}\&\u02c6\phantom{\rule[0.0ex]{0.3em}{0.0ex}}d\left(y\right)+bd\left(x\right)\phantom{\rule[0.0ex]{0.3em}{0.0ex}}\&\u02c6\phantom{\rule[0.0ex]{0.3em}{0.0ex}}d\left(y\right)\right)$
${}{a}{}{d}{}\left({y}\right)\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{\&\u02c6}\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{d}{}\left({z}\right){}{b}{}{d}{}\left({y}\right)\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{\&\u02c6}\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{d}{}\left({z}\right)$
$\mathrm{getform}\left(ad\left(x\right)\phantom{\rule[0.0ex]{0.3em}{0.0ex}}\&\u02c6\phantom{\rule[0.0ex]{0.3em}{0.0ex}}d\left(y\right)\right)$
${d}{}\left({y}\right)\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{\&\u02c6}\phantom{\rule[0.0ex]{0.3em}{0.0ex}}{d}{}\left({x}\right)$
$\mathrm{wsubs}\left(=d\left(x\right)\phantom{\rule[0.0ex]{0.3em}{0.0ex}}\&\u02c6\phantom{\rule[0.0ex]{0.3em}{0.0ex}}d\left(t\right)\,\left(d\left(x\right)\phantom{\rule[0.0ex]{0.3em}{0.0ex}}\&\u02c6\phantom{\rule[0.0ex]{0.3em}{0.0ex}}d\left(y\right)\right)\phantom{\rule[0.0ex]{0.3em}{0.0ex}}\&\u02c6\phantom{\rule[0.0ex]{0.3em}{0.0ex}}d\left(z\right)\right)$
${}{\mathrm{\&^}}{}\left({d}{}\left({z}\right){\,}{d}{}\left({t}\right){\,}{d}{}\left({x}\right)\right)$
See Also
liesymm[&^]
liesymm[&mod]
liesymm[d]
liesymm[Lie]
liesymm[setup]
powsubs
with
Download Help Document
What kind of issue would you like to report? (Optional)