RifReduce
reduce a LHPDEs system to a rif-reduced form
Calling Sequence
Parameters
Description
Examples
Compatibility
RifReduce( obj, vars, opts)
obj
-
a LHPDE object
vars
(optional) list (or list of lists) of main dependent variables
opts
(optional) sequence of options to control the behaviour of DEtools[rifsimp]
The RifReduce method rif-reduces a LHPDE object. It returns a LHPDE object in a rif-reduced from with respect to a given ranking.
This is a front-end to the existing Maple command DEtools[rifsimp].
The optional arguments will be passed down to DEtools[rifsimp]. In other words, If S is a LHPDE object then RifReduce(S, vars, opts) is equivalent to DEtools[rifsimp](GetSystem(S), vars, opts).
The method is associated with the LHPDE object. For more detail, see Overview of the LHPDE object.
withLieAlgebrasOfVectorFields:
Typesetting:-Settingsuserep=true:
Typesetting:-Suppressξx,y,ηx,y
S≔LHPDEdiffξx,y,x=0,diffηx,y,y=0,diffξx,y,y+diffηx,y,x=0,diffξx,y,y,y=0,diffηx,y,x,x=0
S≔ξx=0,ηy=0,ξy+ηx=0,ξy,y=0,ηx,x=0,indep=x,y,dep=η,ξ
Rif-reduce S with respect to a default ranking: ordered list of dependent variables
Sred≔RifReduceS
Sred≔ξy,y=0,ηx=−ξy,ξx=0,ηy=0,indep=x,y,dep=η,ξ
GetRankingSred
η,ξ
Rif-reduce S with respect to a given ranking
Sred1≔RifReduceS,ξ,η
Sred1≔ξx=0,ξy=−ηx,ηx,x=0,ηy=0,indep=x,y,dep=η,ξ
GetRankingSred1
ξ,η
The RifReduce command was introduced in Maple 2020.
For more information on Maple 2020 changes, see Updates in Maple 2020.
See Also
LHPDE (Object overview)
LieAlgebrasOfVectorFields[LHPDE]
DEtools[rifsimp]
GetRanking
Download Help Document