Opened 9 years ago

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

Reported by: Owned by: lorenzin@… anne minor 3-1-6 and higher dontKnow 4-0-1

### 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";

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;

[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

### comment:1 Changed 9 years ago by Oleksandr

Owner: changed from somebody to anne
Note: See TracTickets for help on using tickets.