indets - Maple Programming Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Differential Equations : Lie Symmetry Method : Commands for PDEs (and ODEs) : LieAlgebrasOfVectorFields : Distribution : LieAlgebrasOfVectorFields/Distribution/Builtins

indets

indeterminates in a Distribution object

has

test a Distribution object for a subexpression

hastype

test a Distribution object for presence of a specified type

type

type checking for a Distribution object

convert

type conversion for a Distribution object

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

indets( dist, typename )

has( dist, x)

hastype(dist, t)

type(dist, t)

convert(dist, 'LAVF', infnames)

Parameters

dist

-

a Distribution object

typename

-

(optional) a Maple type

x

-

expression, list or set of expressions

t

-

a Maple type

infnames

-

list of names of infinitesimals for use in the LAVF object

Description

• 

These commands extend the functionality of the Maple builtins of the same name so that they work on Distribution objects. Their calling sequences and return values agree with the Maple builtin. See the help pages for the Maple builtins indets, has, hastype, type, convert for details.  Only information relevant to operation on a Distribution object is described on this page.

• 

The indets of a Distribution object consist of: the coordinates of the space where the Distribution lives (see GetSpace), and any other indets occurring in the vector fields that span the Distribution.

• 

has(dist, x) will test true if the vector fields spanning dist have x, or if the space coordinates of dist have x.

• 

hastype(dist, t) will test true if the vector fields spanning dist contain the type t or if the space coordinates of dist do.  Thus hastype(dist, 'name') will always test true, because every Distribution exists on a space, whose coordinates are of type 'name'.

• 

type(dist, t) will test true for the following types: 'anything', 'object'.  The types dependent(x) and freeof(x) are also understood. A Distribution object is dependent on x if any of its spanning vector fields is dependent on x, or if its space (coordinates) is dependent on x. A Distribution object is free of x if all its vector fields are free of x and its space (coordinates) is free of x. See type/dependent, type/freeof.

• 

The only type conversion understood so far is conversion of a Distribution object to an LAVF object. For this, one must specify the names of the infinitesimals to be used in the LAVF.

Examples

withLieAlgebrasOfVectorFields:

Build vector fields...

V1VectorFieldDx+a2+b2Dz,space=x,y,z

V1x+a2+b2z

(1)

V2VectorFieldDy+tDz,space=x,y,z

V2y+tz

(2)

Construct the associated distribution...

ΣDistributionV1,V2

Σtxa2b2+y,xa2b2+z

(3)

indetsΣ

a,b,t,x,y,z

(4)

hasΣ,x,w

true

(5)

hasΣ,w

false

(6)

hastypeΣ,name

true

(7)

hastypeΣ,trig

false

(8)

typeΣ,object

true

(9)

typeΣ,dependentx,y,z

true

(10)

typeΣ,freeoft

false

(11)

convertΣ,LAVF,ξ,η,zeta

ξx,y,zx+ηx,y,zy+ζx,y,zz&whereξx,y,z=ηx,y,ztζx,y,za2b2

(12)

Compatibility

• 

The indets, has, hastype, type and convert commands were introduced in Maple 2020.

• 

For more information on Maple 2020 changes, see Updates in Maple 2020.

See Also

Distribution (Object overview)

LieAlgebrasOfVectorFields[Distribution]

VectorField (Object overview)

LieAlgebrasOfVectorFields[VectorField]

LieAlgebrasOfVectorFields (Package overview)