Opened 6 years ago

Closed 6 years ago

#788 closed bug (fixed)

fix for #778 is invalid

Reported by: jakobkroeker.academic@… Owned by: somebody
Priority: critical Milestone: 4-1-0 and higher
Component: singular-kernel Version: 4-0-3
Keywords: Cc: jukka.tuomela@…

Description

replacing 'p' by '@p' is not gonna work in general. This was already discussed in
www.singular.uni-kl.de:8005/trac/ticket/677
and
www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=2482

new failing example

LIB("primdec.lib");
ring rv = (0,@p),(c1,s4,s3,s2,s1),dp;
minpoly=@p^2-2;

poly p1=s1;
poly p2=c1^2-2*c1;
poly p3=s2*c1+(-4*@p-4)*s3+(-2*@p-4)*s2;
poly p4=s3*c1+(2*@p+2)*s3+(@p+2)*s2;
poly p5=s2^2;
poly p6=s3*s2;
poly p7=s3^2;
poly p8=s4+(-@p-3)*s3+(-@p)*s2;

ideal i0=p1,p2,p3,p4,p5,p6,p7,p8;

    ideal i0g=groebner(i0);size(i0g);dim(i0g);

vdim(i0g);

radical(i0g);
dim(std(radical(i0g))); // -1 !

Arguing that usage of '@' is only allowed in libs does not fix the issue: the general problem will still reside in library code.

I'm not amused.

Change History (1)

comment:1 Changed 6 years ago by hannes

Resolution: fixed
Status: newclosed

will produce an error

Note: See TracTickets for help on using tickets.