compare the rank of two differential polynomials
greater (p, q, R)
differential polynomials in R
differential polynomial ring
Important: The diffalg package has been deprecated. Use the superseding package DifferentialAlgebra instead.
The function greater returns true if the rank of p is greater than the one of q. Otherwise, false is returned.
p has greater rank than q if
(a) q belongs to the ground field of R and p does not,
(b) the leader of p is greater than the leader of q with respect to the ranking of R, or
(c) p and q have the same leader and the degree, in this common leader, of p is greater than the one of q.
The function greater provides only a pre-order on R.
The command with(diffalg,greater) allows the use of the abbreviated form of this command.
R ≔ differential_ring⁡derivations=x,y,ranking=lexu
R ≔ PDE_ring
Download Help Document
What kind of issue would you like to report? (Optional)
Thank you for submitting feedback on this help document. Your feedback will be used
to improve Maple's help in the future.