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

D.2.12.20 hasMixedOrdering

Procedure from library ring.lib (see ring_lib).

Usage:
hasMixedOrdering();

Return:
1 if ordering of basering is mixed, 0 else

Example:
 
LIB "ring.lib";
ring R1 = 0,(x,y,z),dp;
hasMixedOrdering();
==> 0
ring R2 = 31,(x(1..4),y(1..3)),(ds(4),lp(3));
hasMixedOrdering();
==> 1
ring R3 = 181,x(1..9),(dp(5),lp(4));
hasMixedOrdering();
==> 0