bug in min_ass_prim_charsets1?

[kroeker@…]

Input:

echo = 2;
TRACE = 1;
printlevel = 10;


LIB("primdec.lib");

proc min_ass_prim_charsets1_wrapper(ideal I)
{
   return(Primdec::min_ass_prim_charsets1(I));
}

ring rng = 0,xv,dp;
ideal I = 1,-3*xv-1 ;

min_ass_prim_charsets1_wrapper(I);

Output:

STDIN  16> 
. min_ass_prim_charsets1_wrapper(I);
STDIN  17. min_ass_prim_charsets1_wrapper(I);
entering min_ass_prim_charsets1_wrapper (level 0)
::min_ass_prim_charsets1_wrapper   0. parameter ideal I; 
::min_ass_prim_charsets1_wrapper   1> 
::min_ass_prim_charsets1_wrapper   2.    return(Primdec::min_ass_prim_charsets1(I));
entering   min_ass_prim_charsets1 (level 1)
// ** char_series returns 0 x 0 matrix from 3 input polys (0)
I[1,1]=1
I[1,2]=-3*xv-1   ? wrong range[2] in ideal/module(1)
   ? error occurred in or before primdec.lib::min_ass_prim_charsets1 line 4251: `    I=I[2..ncols(I)];`
   ? leaving primdec.lib::min_ass_prim_charsets1
leaving    min_ass_prim_charsets1 (level 1)
leaving  min_ass_prim_charsets1_wrapper (level 0)
empty list