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
Download Help Document