Opened 12 years ago
Closed 12 years ago
#314 closed bug (fixed)
inconsistent outputs with version 3-1-2 Oct 2010
Reported by: | 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 )
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
Component: | dontKnow → singular-kernel |
---|---|
Description: | modified (diff) |
Keywords: | minor jet std added |
Owner: | changed from somebody to seelisch |
comment:2 Changed 12 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
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 !)