Opened 9 years ago

Closed 9 years ago

#607 closed bug (fixed)

bug in 'hasRingCoefficientRing()'

Reported by: kroeker@… Owned by: somebody
Priority: minor Milestone: 4-1-0 and higher
Component: singular-libs Version: 4-0-0
Keywords: Cc:



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

Here is a failing example:

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



Change History (1)

comment:1 Changed 9 years ago by hannes

Resolution: fixed
Status: newclosed

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.

Note: See TracTickets for help on using tickets.