|  |  D.2.12.19 hasGlobalOrdering Procedure from libraryring.lib(see  ring_lib).
 
Example:Usage:
hasGlobalOrdering ( rng );
Return:
1 if rng has a global monomial ordering, 0 otherwise.
 |  | LIB "ring.lib";
ring rng = integer,x,dp;
hasGlobalOrdering(rng); //yes
==> 1
ring rng2 = 0, x, ds;
hasGlobalOrdering(rng2);  // no
==> 0
 | 
 
 |