Opened 12 years ago

Closed 12 years ago

#314 closed bug (fixed)

inconsistent outputs with version 3-1-2 Oct 2010

Reported by: vainsencher@… Owned by: seelisch
Priority: minor Milestone: 3-1-3 and higher
Component: singular-kernel Version: 3-1-2
Keywords: minor, jet, std Cc:

Description (last modified by Oleksandr )

I'm running Linux 2.6.32-28-generic \#55-Ubuntu SMP Mon Jan 10 21:21:01 UTC 2011 i686 GNU/Linux on a laptop sony vaio.

the SAME code repeated, distinct answers: version 3-1-2 Oct 2010

ring r1=0,(x(1..10)),dp;
matrix m[3][35]=
0,0,0,0,0,x(7),0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,x(9),0,0,1,0,0,0,0,0,0,0,0,0,0,
0,0,x(7),0,0,x(6),0,0,-x(4)+x(8),0,0,0,0,0,0,0,0,0,-x(3)+x(10),0,0,0,0,0,-x(2),0,0,0,0,-x(5),0,0,0,-x(1),0,
0,0,x(4),0,0,1,0,0,x(3),0,0,0,0,0,0,x(5),0,0,x(1),0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0;

def j=simplify(jet(minor(m,3),1),2);j;
j[1]=x(7)
j[2]=x(4)-x(8)
j[3]=x(3)-x(10)
j[4]=-x(5)
j[5]=-x(1)

def j=simplify(jet(minor(m,3),1),2);j;
j[1]=x(7)
j[2]=x(4)-x(8)
j[3]=x(3)-x(10)
j[4]=-x(5)


std(jet(minor(m,3),1));

_[1]=x(7)
_[2]=x(5)
_[3]=x(4)-x(8)
_[4]=x(3)-x(10)
_[5]=x(1)

std(jet(minor(m,3),1));
_[1]=x(7)
_[2]=x(5)
_[3]=x(4)-x(8)
_[4]=x(3)-x(10)


int a,b;
for(int i=1;i<=111;i++){if(
size(std(jet(minor(m,3),1)))==4){a++;}else{b++;}
;}

a,b;
69 42

I could not replicate it on a different computer. I've tried a fresh aptitude reinstall singular-core. problem persists.

Change History (2)

comment:1 Changed 12 years ago by Oleksandr

Component: dontKnowsingular-kernel
Description: modified (diff)
Keywords: minor jet std added
Owner: changed from somebody to seelisch

please, post the output of 'Singular --version'.

I could not reproduce this behaviour on two 64 bit Linuxes and size was always 4, i.e. no x(1) at the end.

But with Singular32 (on snork) it does happen! (through the ratio was different: a,b; => 60 51)

the problem seems to be in minor (sizes: 45 / 59 !)

Last edited 12 years ago by Oleksandr (previous) (diff)

comment:2 Changed 12 years ago by seelisch

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.