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: lorenzin@… 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

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.