Opened 8 years ago

Closed 8 years ago

#772 closed bug (fixed)

Gröbner walk changes ideal, returns no Gröbner Basis

Reported by: ren Owned by: Christian Eder
Priority: minor Milestone: 4-1-0 and higher
Component: dontKnow Version: 4-0-3
Keywords: Cc:

Description (last modified by ren)

The following problem arose when Tommy and I tried to compute a point on the tropical Grassmannian (the complete script is attached):

                     SINGULAR                                 /  Development
 A Computer Algebra System for Polynomial Computations       /   version 4.0.3
 by: W. Decker, G.-M. Greuel, G. Pfister, H. Schoenemann     \   Jan 2016
FB Mathematik der Universitaet, D-67653 Kaiserslautern        \
> LIB "rwalk.lib";
> intvec w = [...];          // strictly positive weight vector
> ring r = 0,(...),(a(w),lp);
> ideal I = [...];           // homogeneous ideal
> int radius = 1;            // not sure what these two parameters are for
> int perturb_deg = 2;       // documentation claims they are optional, they are not
> ideal stdI = rwalk(I,radius,perturb_deg); 
> reduce(I,stdI);            // not 0
> ideal stdstdI = std(stdI); // does not terminate

Attachments (1)

grass27Bug.sing (15.7 KB) - added by ren 8 years ago.

Download all attachments as: .zip

Change History (4)

Changed 8 years ago by ren

Attachment: grass27Bug.sing added

comment:1 Changed 8 years ago by ren

Description: modified (diff)

comment:2 Changed 8 years ago by Christian Eder

Owner: changed from somebody to Christian Eder

comment:3 Changed 8 years ago by Christian Eder

Resolution: fixed
Status: newclosed

Bug is fixed with git commit 5c2efd6c794c0238c981879360698bbba3d9b2d7

Note: See TracTickets for help on using tickets.