Opened 9 years ago

Closed 8 years ago

#571 closed bug (fixed)

assume violation in

Reported by: kroeker@… Owned by: hannes
Priority: minor Milestone: 4-1-0 and higher
Component: singular-kernel Version: 4-0-0
Keywords: assume violation kstdfac Cc:



the following example causes an assume violation in (Singular compiled in debug mode without optimization)

ring rng = 0,(x,y,z),lp;
ideal I = -2*x*y^2+6*y*z, 4*x*z-3*y^2;
def rI = radical(I);

error output:

// ***dError: T[2] pLength error: has 1, specified to have 2
// ***dError: assume violation at kernel/ condition: kTest_TS(strat)

Remark: this example demonstrates that conservative programming helps to discover bugs.

Change History (2)

comment:1 Changed 9 years ago by Oleksandr

Component: dontKnowsingular-kernel
Owner: changed from somebody to hannes

it happens often in the GB engine... maybe a wrong test..?

comment:2 Changed 8 years ago by hannes

Resolution: fixed
Status: newclosed

This has no influence on whatever, but to make everybody happy and avoiding nasty messages in full debug mode: f6c77e9ab2989b1ac3dec6f7b697bc0d1c6c3ee6

Note: See TracTickets for help on using tickets.