D.2.8.20 hasMixedOrdering
Procedure from library
ring.lib
(see
ring_lib
).
Usage:
hasMixedOrdering();
Return:
1 if ordering of basering is mixed, 0 else
Example:
User manual for
Singular
version 3-1-7, Aug 2013, generated by
texi2html
.