The command evalDG provides a simple and efficient way for creating vector files, differential forms and tensors for subsequent calculations with the DifferentialGeometry package.

Note that Maple may perform simplifications before passing the arguments to evalDG, and these simplifications may result in an incorrect parsing of the input to evalDG.  In particular, if, for example, X is a vector field, then evalDG(0*X) will return the scalar 0 and not the zero vector.  To define a zero object, use 0 &mult evalDG(X) or the Tools command DGzero.

This command is part of the DifferentialGeometry package, and so can be used in the form evalDG(...) only after executing the command with(DifferentialGeometry).  It can always be used in the long form DifferentialGeometry:-evalDG.

$\mathrm{with}\left(\mathrm{DifferentialGeometry}\right)\:$

$\mathrm{DGsetup}\left(\left[x\,y\,z\,w\right]\,M\right)\:$

$\mathrm{evalDG}\left(2\mathrm{D\_x}-y\mathrm{D\_z}+x^2\mathrm{D\_w}\right)$

$2\mathrm{D\_x}-y\mathrm{D\_z}+x^2\mathrm{D\_w}$

$\mathrm{evalDG}\left(\frac{1}{2}\mathrm{D\_x}-\frac{1}{y}\mathrm{D\_z}+\frac{1}{x^2}\mathrm{D\_w}\right)$

$\frac{\mathrm{D\_x}}{2}-\frac{\mathrm{D\_z}}{y}+\frac{\mathrm{D\_w}}{x^2}$

$\mathrm{evalDG}\left(\mathrm{dx}\&w\mathrm{dy}+\left(x^2+y^2\right)\mathrm{dz}\&w\mathrm{dw}\right)$

$\mathrm{dx}\bigwedge \mathrm{dy}+\left(x^2+y^2\right)\mathrm{dz}\bigwedge \mathrm{dw}$

$\mathrm{evalDG}\left(\mathrm{dx}\&t\mathrm{dy}+\left(x^2+y^2\right)\mathrm{dz}\&t\mathrm{dw}\right)$

$\mathrm{dx}\mathrm{dy}+\left(x^2+y^2\right)\mathrm{dz}\mathrm{dw}$

$\mathrm{evalDG}\left(\mathrm{dx}\&s\mathrm{dy}+\mathrm{dz}\&t\mathrm{dw}\right)$

$\frac{\mathrm{dx}}{2}\mathrm{dy}+\frac{\mathrm{dy}}{2}\mathrm{dx}+\mathrm{dz}\mathrm{dw}$

$\mathrm{evalDG}\left(0\mathrm{D\_x}\right)$

$0$

$\mathrm{eval}\left(\mathrm{evalDG}\left(a\mathrm{D\_x}\right)\,a=0\right)$

$0\mathrm{D\_x}$

$\mathrm{Tools}:-\mathrm{DGzero}\left(''vector''\right)$

$0\mathrm{D\_x}$