Opened 9 years ago
Last modified 9 years ago
#693 new bug
Computation of a resolution that seems incorrect:, ideal C=z^7-x*y*(x^6-y^5);
Reported by: | Owned by: | anne | |
---|---|---|---|
Priority: | minor | Milestone: | 4-1-0 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=z7-x*y*(x6-y5); list CC=resolve(C); list CCC=intersectionDiv(CC); CCC;
I expected the intersection matrix to have a determinant a power of 7. This intersection matrix has I believe determinant 27.
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=z7-x*y*(x6-y5); list CC=resolve(C); list CCC=intersectionDiv(CC); CCC;
[1]:
-23,1,0,0,0,0,0,1, 1,-2,0,0,0,0,0,1, 0,0,-2,1,0,0,0,0, 0,0,1,-2,0,0,1,0, 0,0,0,0,-3,1,0,1, 0,0,0,0,1,-2,1,0, 0,0,0,1,0,1,-2,0, 1,1,0,0,1,0,0,-1
[2]:
0,0,0,0,0,0,0,0
[3]:
[1]:
[1]:
2,1,1
[2]:
4,1,1
[3]:
17,1,1
[4]:
19,1,1
[5]:
14,1,1
[6]:
16,1,1
[2]:
[1]:
4,2,1
[2]:
16,2,1
[3]:
[1]:
6,2,1
[2]:
9,2,1
[4]:
[1]:
9,3,1
[2]:
18,3,1
[5]:
[1]:
17,3,1
[2]:
14,3,1
[6]:
[1]:
17,4,1
[2]:
19,4,1
[7]:
[1]:
18,4,1
[2]:
19,4,2
[8]:
[1]:
14,4,1
[2]:
16,4,1
[4]:
1,1,1,1,1,1,1,1