Procedure from library ring.lib (see section ring_lib).
ring.lib
ord_test(r); r ring
int 1 (resp. -1, resp. 0) if ordering of r is global (resp. local, resp. mixed)
Example:
LIB "ring.lib"; ring R = 0,(x,y),dp; ring S = 0,(u,v),ls; ord_test(R); → 1 ord_test(S); → -1 ord_test(R+S); → 0