wsubs - Maple Help

liesymm

 wsubs
 replace part of a wedge product

 Calling Sequence wsubs(eqn, expr) wsubs(lst, expr)

Parameters

 expr - expression involving wedgeproducts eqn - expression of the form wedgeprod = expression lst - list or set of expressions like eqn

Description

 • 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.

Examples

 > $\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}}&ˆ\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)$
 ${-}{a}{}{d}{}\left({y}\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{&ˆ}\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}}{&ˆ}\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}{d}{}\left({z}\right)$ (1)
 > $\mathrm{getform}\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)\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)
 > $\mathrm{wsubs}\left(=d\left(x\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&ˆ\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}}&ˆ\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}d\left(y\right)\right)\phantom{\rule[-0.0ex]{0.3em}{0.0ex}}&ˆ\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)$ (3)