ring.lib
LIB "ring.lib"; ring rng = integer,x,dp; hasGlobalOrdering(rng); //yes ==> 1 ring rng2 = 0, x, ds; hasGlobalOrdering(rng2); // no ==> 0