IsLieAlgebra - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.
Our website is currently undergoing maintenance, which may result in occasional errors while browsing. We apologize for any inconvenience this may cause and are working swiftly to restore full functionality. Thank you for your patience.

Online Help

All Products    Maple    MapleSim


IsLieAlgebra

check if a LAVF object is a Lie algebra

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

IsLieAlgebra( obj)

Parameters

obj

-

a LAVF object.

Description

• 

The method IsLieAlgebra checks if a LAVF object is a Lie algebra. In other words, let L be a LAVF object, then the method returns true if L,LL, false otherwise.

• 

IsLieAlgebra(L) is equivalent to AreCommuting(L,L,L). See AreCommuting for more detail.

• 

This method is associated with the LAVF object. For more detail, see Overview of the LAVF object.

Examples

withLieAlgebrasOfVectorFields:

Typesetting:-Settingsuserep=true:

Typesetting:-Suppressξx,y,ηx,y:

VVectorFieldξx,yDx+ηx,yDy,space=x,y

Vξⅆⅆx+ηⅆⅆy

(1)

E2LHPDEdiffξx,y,y,y=0,diffηx,y,x=diffξx,y,y,diffηx,y,y=0,diffξx,y,x=0,indep=x,y,dep=ξ,η

E2ξy,y=0,ηx=ξy,ηy=0,ξx=0,indep=x,y,dep=ξ,η

(2)

We first construct a LAVF object for E(2).

LLAVFV,E2

Lξⅆⅆx+ηⅆⅆy&whereξy,y=0,ξx=0,ηx=ξy,ηy=0

(3)

These vector fields in fact form a Lie algebra.

IsLieAlgebraL

true

(4)

Compatibility

• 

The IsLieAlgebra command was introduced in Maple 2020.

• 

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

See Also

LieAlgebrasOfVectorFields (Package overview)

LAVF (Object overview)

LieAlgebrasOfVectorFields[VectorField]

LieAlgebrasOfVectorFields[LHPDE]

LieAlgebrasOfVectorFields[LAVF]

AreCommuting