next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
DiffAlg :: DiffAlgField _ DiffAlgForm

DiffAlgField _ DiffAlgForm -- contraction of a differential form with respect to a vector field

Synopsis

Description

Given a vector field X and a differential form w, this function returns the contraction of w with respect to X. The function can be called as X _ w or as w _ X.


In this example we compute the contraction of a simple differential form and a vector field.

i1 : w = newForm("dx_0 * dx_1")

o1 = dx dx
       0  1

o1 : DiffAlgForm
i2 : Y = newField("ax_0")

o2 = ax
       0

o2 : DiffAlgField
i3 : Y _ w

o3 = dx
       1

o3 : DiffAlgForm