liesymm - Maple Programming 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}{}\left({d}{}\left({y}\right)\right){&^}\left({d}{}\left({z}\right)\right){-}{b}{}\left({d}{}\left({y}\right)\right){&^}\left({d}{}\left({z}\right)\right)$ (1)
 > $\mathrm{getform}\left(a\left(d\left(x\right)\right)&^\left(d\left(y\right)\right)\right)$
 $\left({d}{}\left({x}\right)\right){&^}\left({d}{}\left({y}\right)\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)