|
diffalg[greater] - compare the rank of two differential polynomials
|
|
Calling Sequence
|
|
greater (p, q, R)
|
|
|
Parameters
|
|
|
p, q
|
-
|
differential polynomials in R
|
|
R
|
-
|
differential polynomial ring
|
|
|
|
|
|
Description
|
|
|
•
|
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
|
|
|
(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.
|
|
|
Download Help Document
Was this information helpful?
