bug in 'hasRingCoefficientRing()'

[kroeker@…]

Hello,

due to the documentation hasRingCoefficientRing checks if the coefficient ring is not a field

Here is a failing example:

LIB("ring.lib");
ring rng = (integer),x,dp;
hasRingCoefficientRing(rng); //=1, wrong (coefficient ring is a field)

Also the naming is unfortunate since a field is a ring, too.

Naming proposal: coefficientRingIsField or similar

Best,

Jakob

[hannes]

coefficients form always a commutative ring with 1. Made documentation more clear: return 0 if they form a field. By the way: integers are NOT a field.