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