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

D.2.8.21 hasFieldCoefficient

Procedure from library ring.lib (see ring_lib).

hasFieldCoefficient ( rng );

1 if the coeffcients form a field, 0 otherwise.

LIB "ring.lib";
ring rng = integer,x,dp;
hasFieldCoefficient(rng); //no
==> 0
// if a certain method supports only rings with integer coefficients,
// then a parameter test could be performed:
ring rng2 = 0, x, dp;
hasFieldCoefficient(rng2);  // yes
==> 1