Opened 8 years ago

Last modified 8 years ago

#693 new bug

Computation of a resolution that seems incorrect:, ideal C=z^7-x*y*(x^6-y^5);

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 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

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.