Opened 8 years ago
Last modified 8 years ago
#692 new bug
Computation of a resolution that seems incorrect:, ideal C=z^5-x*y*(x^4-y^7);
| Reported by: | Owned by: | anne | |
|---|---|---|---|
| Priority: | minor | Milestone: | 3-1-6 and higher |
| Component: | dontKnow | Version: | 4-0-1 |
| Keywords: | Cc: |
Description
This is the script that I tried to run
LIB"resolve.lib"; LIB"reszeta.lib"; ring R=0,(x,y,z),dp; ideal C=z5-x*y*(x4-y7); list CC=resolve(C); list CCC=intersectionDiv(CC); CCC;
I expected the intersection matrix to have a determinant a power of 5. This intersection matrix has I believe determinant 63
SINGULAR /
A Computer Algebra System for Polynomial Computations / version 3-1-6
0<
by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann \ Dec 2012
FB Mathematik der Universitaet, D-67653 Kaiserslautern \
LIB"resolve.lib";
loaded /usr/share/Singular/LIB/resolve.lib (13499,2010-10-15) loaded /usr/share/Singular/LIB/sing.lib (14840,2012-04-20) loaded /usr/share/Singular/LIB/random.lib (14661,2012-03-05) loaded /usr/share/Singular/LIB/matrix.lib (13658,2010-11-16) loaded /usr/share/Singular/LIB/nctools.lib (14246,2011-05-26) loaded /usr/share/Singular/LIB/poly.lib (14852,2012-04-30) loaded /usr/share/Singular/LIB/ring.lib (15322,2012-10-12) loaded /usr/share/Singular/LIB/general.lib (14191,2011-05-04) loaded /usr/share/Singular/LIB/inout.lib (13499,2010-10-15) loaded /usr/share/Singular/LIB/linalg.lib (13733,2010-12-06) loaded /usr/share/Singular/LIB/presolve.lib (14203,2011-05-05) loaded /usr/share/Singular/LIB/primdec.lib (14732,2012-03-30) loaded /usr/share/Singular/LIB/absfact.lib (14191,2011-05-04) loaded /usr/share/Singular/LIB/triang.lib (13499,2010-10-15) loaded /usr/share/Singular/LIB/elim.lib (14661,2012-03-05)
LIB"reszeta.lib";
loaded /usr/share/Singular/LIB/reszeta.lib (14203,2011-05-05) loaded /usr/share/Singular/LIB/normal.lib (15094,2012-07-10) loaded /usr/share/Singular/LIB/algebra.lib (14661,2012-03-05) loaded /usr/share/Singular/LIB/reesclos.lib (14005,2011-03-17) loaded /usr/share/Singular/LIB/hnoether.lib (14196,2011-05-04) loaded /usr/share/Singular/LIB/primitiv.lib (13499,2010-10-15) loaded /usr/share/Singular/LIB/solve.lib (13733,2010-12-06)
ring R=0,(x,y,z),dp; ideal C=z5-x*y*(x4-y7); list CC=resolve(C); list CCC=intersectionDiv(CC); CCC;
[1]:
-2,0,0,1,0,0,1,0,0,0,0, 0,-14,1,0,0,0,0,0,0,0,1, 0,1,-2,0,0,0,0,0,0,0,1, 1,0,0,-2,1,0,0,0,0,0,0, 0,0,0,1,-2,1,0,0,0,0,0, 0,0,0,0,1,-3,0,0,0,0,1, 1,0,0,0,0,0,-2,0,0,1,0, 0,0,0,0,0,0,0,-2,1,0,0, 0,0,0,0,0,0,0,1,-2,1,0, 0,0,0,0,0,0,1,0,1,-2,0, 0,1,1,0,0,1,0,0,0,0,-1
[2]:
0,0,0,0,0,0,0,0,0,0,0
[3]:
[1]:
[1]:
11,1,1
[2]:
6,1,1
[2]:
[1]:
5,2,1
[2]:
9,2,1
[3]:
21,2,1
[4]:
36,2,1
[5]:
38,2,1
[3]:
[1]:
9,3,1
[2]:
38,3,1
[4]:
[1]:
11,3,1
[2]:
19,3,1
[5]:
[1]:
19,4,1
[2]:
21,4,1
[6]:
[1]:
21,4,2
[2]:
36,4,1
[7]:
[1]:
6,2,1
[2]:
15,2,1
[8]:
[1]:
8,2,1
[2]:
14,2,1
[9]:
[1]:
14,3,1
[2]:
16,3,1
[10]:
[1]:
15,3,1
[2]:
16,3,2
[11]:
[1]:
36,5,1
[2]:
38,5,1
[4]:
1,1,1,1,1,1,1,1,1,1,1
