Opened 13 years ago

Closed 12 years ago

# PLURAL::nres seems to miss some syzygies

Reported by: Owned by: Mohamed Barakat Oleksandr major 3-1-1 singular-kernel 3-1-0 PLURAL, res, syz Oleksandr

### Description

reorted on Oct 18, 2009, by: name=Mohamed Barakat email=barakat@… type=computational version=3-0-4, 3-1-0 platform=Mac OS X, Linux request=

Plural's nres misses some syzygies in the below example: compare var_7 and var_8

Best regards,

Mohamed

/ begin / option(noredefine);option(redSB);LIB "matrix.lib";LIB "control.lib";LIB "ring.lib";LIB "involut.lib";LIB "nctools.lib";LIB "poly.lib";LIB "finvar.lib";

ring var_3 = 0,(x,y,z,Dx,Dy,Dz),dp; def var_4 = Weyl(); setring var_4; option(redTail);short=0;

matrix var_6[1][3] = 3*Dy-Dz,2*x,3*Dx+3*Dz; matrix var_7 = syz(var_6); matrix var_8 = nres(var_6,2)[2];

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

Cc: Oleksandr added changed from somebody to levandov minor → major

### comment:2 Changed 13 years ago by levandov

1. Alex set me the owner without even asking myself; my time constraints are tough during next 4 weeks, though I will try to figure the things out.
2. The problem is correctly stated: some syzygies got lost on the way.

Computing e.g.

``` resolution R3 = nres(var_6,3); print(std(R3[2]));
```

gives the same as

```print(std(var_7));
```

Hence computing 3 steps of the resolution is ok, while 2 is not enough.

1. I suspect that the problem is in treating homogeneous generators in a G-algebra with non-homogeneous relations as one does the homogeneous case over commutative polynomial ring (which has homogeneous relations by definition). In the code for syResolvente isHomog is again taken without taking into account non-comm situation.

Justification: modify one of the generators, making it non-homogeneous, then everything must be fine. In the following I replace the second entry in the matrix var_6, what is 2x, by 2x+1 - and the results are coherent.

```option(noredefine);option(redSB);
LIB "matrix.lib";LIB "control.lib";LIB "ring.lib";LIB "involut.lib";
LIB "nctools.lib";LIB "poly.lib";LIB "finvar.lib";

ring var_3 = 0,(x,y,z,Dx,Dy,Dz),dp; def var_4 = Weyl(); setring var_4; option(redTail);short=0;

matrix var_6[1][3] = 3*Dy-Dz,2*x+1,3*Dx+3*Dz; matrix var_7 = syz(var_6);
matrix var_8 = nres(var_6,2)[2];
```

Now,

```print(std(var_7));
print(std(var_8));
```

1. Suggestion: Alex Motsak dealt a lot with the homogeneous case and he is much better expert in these things, he recently worked with resolutions over sca algebras. Are there ints from this area? Is there a procedure, determining, if a G-algebra is given by homogeneous relations? This might be an important invariant, easy to analyze during the setup of the algebra.

### comment:3 Changed 13 years ago by Oleksandr

the problem occures after/within the resolution minimization

### comment:4 Changed 13 years ago by levandov

As I have written before, this bug has been fixed by myself 11.March.2010. Funny enough I cannot see my message in the trac system... The only thing why it was left open is "Alex Motsak muss mal schauen ob SCA Ringe richtig damit behoben werden.".
Besides, the answers of var_7 and var_8 are though looking different, they have the same Groebner basis, so the world is ok with this example.

### comment:5 Changed 13 years ago by levandov

Owner: changed from levandov to Oleksandr

My work is done, so I reassign the remaining (SCA issues) to Alex Motsak.

### comment:6 Changed 12 years ago by Oleksandr

Keywords: res syz added; syzygies removed → invalid new → closed bug → proposed feature

As Viktor noted: "though looking different, they have the same Groebner basis" i don't see any problem with this example.

### comment:7 Changed 12 years ago by Oleksandr

Last edited 12 years ago by Oleksandr (previous) (diff)

### comment:8 Changed 12 years ago by Oleksandr

Last edited 12 years ago by Oleksandr (previous) (diff)
Note: See TracTickets for help on using tickets.