check if a LHPDEs system is in rif-reduced form
check if a LHPDEs system is rif-reduced with respect to a total degree ranking
a LHPDE object
The IsRifReduced method returns true if a LHPDE object is in rif-reduced form, false otherwise. It returns FAIL if the status is unknown.
Let S be a LHPDE object. The IsTotalDegreeRanking method checks if S is rif-reduced with respect to a total degree ranking (see ranking for more detail). It returns FAIL if S is not in rif-reduced form.
For setting a LHPDEs system as being in a rif-reduced form, see LieAlgebrasOfVectorFields[LHPDE]. And, to rif-reduce a LHPDE object, see the RifReduce method.
These methods are associated with the LHPDE object. For more detail, see Overview of the LHPDE object.
S ≔ LHPDE⁡∂2∂y2⁢ξ⁡x,y=0,∂∂x⁢η⁡x,y+∂∂y⁢ξ⁡x,y=0,∂∂y⁢η⁡x,y=0,∂∂x⁢ξ⁡x,y=0,∂2∂x2⁢η⁡x,y=0,indep=x,y,dep=ξ,η
S ≔ RifReduce⁡S
The status of S1 for being a rif-reduced form is not known:
S1 ≔ LHPDE⁡∂∂x⁢ξ⁡x,y=0,η⁡x,y=0,indep=x,y,dep=ξ,η
Therefore, information will not be available..
The IsRifReduced and IsTotalDegreeRanking commands were introduced in Maple 2020.
For more information on Maple 2020 changes, see Updates in Maple 2020.
LHPDE (Object overview)
Download Help Document
What kind of issue would you like to report? (Optional)