LHPDO Object Overloaded Builtins
overview of overloaded builtins for LHPDO object.
Description
Examples
Compatibility
The functionalities of some Maple builtin commands are extended for use on LHPDO object.
The following builtins have been overloaded for this purpose: normal, expand, simplify, indets, has, type, hastype
The normal, expand, simplify builtin commands accept a LHPDO object and apply their methods onto the coefficients of the differential operator. They return an LHPDO object with the new coefficients.
Let Delta be a LHPDO object.
(i) The call type(Delta, t) returns true if t is any of the following types: module, object, anything, appliable and LHPDO. See examples below.
(ii) The calls type(Delta, dependent(x)) and type(Delta, freeof(x)) respectively return true if the differential operator or the independent variables of Delta contain (respectively don't contain) x. See example below.
The indets, has, hastype builtin commands accept a LHPDO object and apply their methods onto the differential operator and the independent variables of the object.
These overloaded builtins are associated with the LHPDO object. For more detail, see Overview of the LHPDO object.
with⁡LieAlgebrasOfVectorFields:
Construct an LHPDO object from some differential expressions...
Δ≔LHPDO⁡x⁢x−1⁢diff⁡u⁡x,t,x−x2⁢diff⁡u⁡x,t,x−diff⁡v⁡x,t,t,cos⁡a2+sin⁡a2⁢diff⁡u⁡x,t,t+diff⁡v⁡x,t,x
Δ≔u,v→−∂∂t⁢v+x⁢x−1−x2⁢∂∂x⁢u,cos⁡a2+sin⁡a2⁢∂∂t⁢u+∂∂x⁢v
normal, expand, simplify
normal⁡Δ
u,v→−x⁢∂∂x⁢u−∂∂t⁢v,cos⁡a2⁢∂∂t⁢u+sin⁡a2⁢∂∂t⁢u+∂∂x⁢v
expand⁡Δ
simplify⁡Δ,trig
u,v→−x⁢∂∂x⁢u−∂∂t⁢v,∂∂x⁢v+∂∂t⁢u
type
type⁡Δ,LHPDO,type⁡Δ,object,type⁡Δ,`module`,type⁡Δ,appliable
true,true,true,true
The LHPDO object contains x
type⁡Δ,dependent⁡x
true
type⁡Δ,freeof⁡x
false
But the object does not contain the dummy "dependent variable" names...
type⁡Δ,dependent⁡u,v
indets, has, hastype
indets⁡Δ
a,t,x,cos⁡a,sin⁡a
has⁡Δ,v
hastype⁡Δ,scalar
hastype⁡Δ,float
The LHPDO Object Overloaded Builtins command was introduced in Maple 2020.
For more information on Maple 2020 changes, see Updates in Maple 2020.
See Also
LHPDO (Object overview)
LieAlgebrasOfVectorFields[LHPDO]
Download Help Document