Opened 7 years ago
Last modified 7 years ago
#799 new bug
minres() does not minimize first module
Reported by: | steenpass | Owned by: | decker |
---|---|---|---|
Priority: | minor | Milestone: | 4-2-0 and higher |
Component: | singular-kernel | Version: | 4-1-0 |
Keywords: | minres | Cc: |
Description
Consider the following example:
> ring r = 0, (x,y), dp; > module m = x*gen(1)+gen(2), y*gen(2); > resolution s = res(m, 0); > print(betti(s, 0), "betti"); 0 1 ------------------ 0: 1 1 1: 1 1 ------------------ total: 2 2 > print(betti(s, 1), "betti"); 0 1 ------------------ 0: 1 - 1: - 1 ------------------ total: 1 1 > resolution s_min = minres(s); > print(betti(s_min, 0), "betti"); 0 1 ------------------ 0: 1 1 1: 1 1 ------------------ total: 2 2 >
I would expect the last betti table to be the same as the second to last one.
Note: See
TracTickets for help on using
tickets.