assume violation in kstdfac.cc:546

[kroeker@…]

Hello,

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

LIB("primdec.lib");
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/kstdfac.cc:546 condition: kTest_TS(strat)

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

[Oleksandr]

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

[hannes]

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