constructing a OneForm object
OneForm( components = compList, space = varList)
OneForm( dExpr, space = varList)
OneForm( listOfPairs, space = varList )
OneForm( 0, space = varList)
a list of scalar expressions [theta1, theta2,...,thetan] the components of the 1-form.
a list of names [x1, x2, ... ,xn], the coordinates of space
expression of the form theta1*d[x1] + theta2*d[x2] + ... + thetan*d[xn]
a list of ordered pairs [[theta1,x1], [theta2,x2], ..., [thetan,xn]] of component values and corresponding space coordinate
The command OneForm(...) is a constructor method for creating a OneForm object. Once a valid OneForm object has been created, it has access to various methods which allow it to be manipulated and its contents queried. see Overview of OneForm object for more detail.
A 1-form ω is an expression of the form ω=∑i=0nθi⋅dxi living on a space with coordinates x1,x2,…,xn. The θi are referred to as components, and x1,x2,…,xn are referred to as (coordinates of) space.
The OneForm command first validates the user input arguments and then constructs a 1-form object named OneForm. A valid OneForm object consists of two data attributes: components θ1,θ2,…,θn and space variables x1,x2,…,xn.
In the first calling sequence, both arguments components = compList, space=varList are required. These two lists must be of the same length.
The second calling sequence is a textual representation of the usual appearance of a 1-form. The space = varList argument is optional; if present, its specification of the space [x1, x2,..., xn] implied by dExpr.
In the third calling sequence, the space =varList argument is optional; if present, its specification of the space overrides the space [x1, x2,..., xn] implied by listOfPairs.
The fourth calling sequence is a special constructor for the zero 1-form on the specified space; the space = varList argument is required.
This command is part of the VectorField package. For more detail, see Overview of the LieAlgebrasOfVectorFields package.
This command can be used in the form OneForm(...) only after executing the command with(LieAlgebrasOfVectorFields), but can always be used by executing LieAlgebrasOfVectorFields:-OneForm(...).
First calling sequence:
ω ≔ OneForm⁡components=x2,x⁢y,space=x,y
Second calling sequence:
ω ≔ OneForm⁡x2⁢dx+x⁢y⁢dy
Third calling sequence, 1-form specified by ordered pairs:
ω ≔ OneForm⁡x2,x,x⁢y,y
Fourth calling sequence:
zeta ≔ OneForm⁡0,space=x,y
The second calling sequence is especially useful as a sparse form entry, where only a few components are nonzero:
φ ≔ OneForm⁡dx,space=x,y,z
Although the coordinates y,z are not visible in the printed form of this 1-form, they are present in the OneForm object:
OneForm (Object overview)
Download Help Document