Opened 8 years ago

Last modified 8 years ago

#691 new bug

Computation of a resolution that seems incorrect:, ideal C=z^11-x*y*(x^10-y^3);

Reported by: lorenzin@… Owned by: anne
Priority: minor Milestone: 4-1-0 and higher
Component: dontKnow Version: 4-0-1
Keywords: Cc:

Description

This is what I tried to run on SAGE, using Singular:

LIB"resolve.lib"; LIB"reszeta.lib"; ring R=0,(x,y,z),dp; ideal C=z11-x*y*(x10-y3); list CC=resolve(C); list CCC=intersectionDiv(CC); CCC;

The output is an intersection matrix whose graph is not connected.

loaded /sagenb/sage_install/sage-5.11-boxen-x86_64-Linux/local/share/singular/resolve.lib (15103,2012-07-11) loaded /sagenb/sage_install/sage-5.11-boxen-x86_64-Linux/local/share/singular/sing.lib (15103,2012-07-11) loaded /sagenb/sage_install/sage-5.11-boxen-x86_64-Linux/local/share/singular/linalg.lib (15103,2012-07-11) loaded /sagenb/sage_install/sage-5.11-boxen-x86_64-Linux/local/share/singular/presolve.lib (15103,2012-07-11) loaded /sagenb/sage_install/sage-5.11-boxen-x86_64-Linux/local/share/singular/reszeta.lib (15103,2012-07-11) loaded /sagenb/sage_install/sage-5.11-boxen-x86_64-Linux/local/share/singular/normal.lib (15103,2012-07-11) loaded /sagenb/sage_install/sage-5.11-boxen-x86_64-Linux/local/share/singular/algebra.lib (15103,2012-07-11) loaded /sagenb/sage_install/sage-5.11-boxen-x86_64-Linux/local/share/singular/reesclos.lib (15103,2012-07-11) loaded /sagenb/sage_install/sage-5.11-boxen-x86_64-Linux/local/share/singular/hnoether.lib (15103,2012-07-11) loaded /sagenb/sage_install/sage-5.11-boxen-x86_64-Linux/local/share/singular/primitiv.lib (15103,2012-07-11) loaded /sagenb/sage_install/sage-5.11-boxen-x86_64-Linux/local/share/singular/solve.lib (15103,2012-07-11) ring R=0,(x,y,z),dp; ideal C=z11-x*y*(x10-y3); list CC=resolve(C); list CCC=intersectionDiv(CC); [1]:

-2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 1,-5,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,1,-1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,1,-7,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,-1,0,0,1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,-6,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,-3,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,1,0,0,-7,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,-8,1,0,0,0,0,0,0,1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,1,-5,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,1,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,1,0,0,0,0,0,0,-3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,1,-3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,1,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,1,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,-1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,-1,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,0,-3,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-3,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-3,0,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,-5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-3,0,0,1,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,-2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,-2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,-2,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0,0,0,0,-2,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,0,0,0,0,0,1,0,0,0,0,0,0, 0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-2,0,0,0,0,1,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,0,0,0,0,1,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-2,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-1,1,0,0,0,0,0,1,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,-2,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,-4,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,-4,0,1,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,-14,1,0,1, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1,-1,0,0, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,-4,1, 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,1,-1

[2]:

0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0

[3]:

[1]:

[1]:

3,1,1

[2]:

6,1,1

[2]:

[1]:

6,2,1

[2]:

7,2,2

[3]:

[1]:

7,2,1

[2]:

19,2,1

[4]:

[1]:

18,4,1

[2]:

19,4,1

[3]:

31,4,1

[5]:

[1]:

59,5,1

[2]:

62,5,1

[6]:

[1]:

43,5,1

[2]:

69,5,2

[3]:

70,5,1

[4]:

72,5,1

[5]:

73,5,2

[7]:

[1]:

69,5,1

[2]:

73,5,1

[8]:

[1]:

59,6,1

[2]:

60,6,1

[3]:

98,6,1

[9]:

[1]:

75,6,1

[2]:

77,6,1

[3]:

121,6,1

[4]:

122,6,2

[5]:

124,6,1

[6]:

125,6,2

[10]:

[1]:

122,6,1

[2]:

125,6,1

[11]:

[1]:

31,5,1

[2]:

87,5,1

[12]:

[1]:

62,6,1

[2]:

63,6,1

[13]:

[1]:

63,6,2

[2]:

349,6,1

[14]:

[1]:

69,6,1

[2]:

115,6,1

[15]:

[1]:

70,6,1

[2]:

177,6,1

[16]:

[1]:

98,7,1

[2]:

237,7,1

[17]:

[1]:

121,7,1

[2]:

278,7,1

[18]:

[1]:

122,7,1

[2]:

190,7,1

[19]:

[1]:

124,7,1

[2]:

125,7,1

[20]:

[1]:

124,7,2

[2]:

497,7,1

[21]:

[1]:

88,6,1

[2]:

238,8,1

[22]:

[1]:

115,7,1

[2]:

190,8,1

[23]:

[1]:

178,7,1

[2]:

279,8,1

[24]:

[1]:

86,7,1

[2]:

87,7,1

[25]:

[1]:

86,7,2

[2]:

88,7,1

[26]:

[1]:

176,8,1

[2]:

177,8,1

[3]:

178,8,1

[27]:

[1]:

236,9,1

[2]:

237,9,1

[28]:

[1]:

236,9,2

[2]:

238,9,1

[29]:

[1]:

277,9,1

[2]:

278,9,1

[3]:

279,9,1

[30]:

[1]:

72,6,1

[2]:

120,6,1

[31]:

[1]:

73,6,1

[2]:

119,6,1

[32]:

[1]:

347,9,1

[2]:

345,9,1

[33]:

[1]:

347,10,1

[2]:

348,10,1

[3]:

349,10,1

[34]:

[1]:

495,10,1

[2]:

493,10,1

[35]:

[1]:

495,11,1

[2]:

496,11,1

[3]:

497,11,1

[36]:

[1]:

29,4,1

[2]:

119,7,1

[3]:

120,7,1

[37]:

[1]:

30,4,1

[38]:

[1]:

245,9,1

[2]:

343,9,1

[3]:

344,9,1

[4]:

345,10,1

[5]:

346,10,1

[39]:

[1]:

250,9,1

[2]:

350,9,1

[3]:

351,9,1

[4]:

396,10,1

[5]:

498,10,1

[6]:

499,10,1

[40]:

[1]:

344,10,1

[2]:

351,10,1

[41]:

[1]:

391,10,1

[2]:

491,10,1

[3]:

492,10,1

[4]:

493,11,1

[5]:

494,11,1

[42]:

[1]:

492,11,1

[2]:

499,11,1

[4]:

1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1

Change History (1)

comment:1 Changed 8 years ago by Oleksandr

Owner: changed from somebody to anne
Note: See TracTickets for help on using tickets.