Opened 9 years ago
Last modified 9 years ago
#691 new bug
Computation of a resolution that seems incorrect:, ideal C=z^11-x*y*(x^10-y^3);
Reported by: | 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