Home Online Manual
Top
Back: hasCommutativeVars
Forward: hasMixedOrdering
FastBack:
FastForward:
Up: ring_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.2.12.19 hasGlobalOrdering

Procedure from library ring.lib (see ring_lib).

Usage:
hasGlobalOrdering ( rng );

Return:
1 if rng has a global monomial ordering, 0 otherwise.

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