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.