Opened 14 years ago

Last modified 13 years ago

#155 new proposed feature

SINGULAR procedure for computing the generic initial ideal

Reported by: seelisch Owned by: decker@…
Priority: minor Milestone: 3-1-1
Component: dontKnow Version: 3-1-0
Keywords: generic initial ideal Cc:

Description

to be discussed; can currently be computed, e.g. like that (proposed by Victor):

LIB "random.lib"; LIB "poly.lib"; proc gin(ideal I) { matrix M = randommat(1,nvars(basering), maxideal(1), 1000); the random coeffs will be in range [-1000,1000] ideal m = ideal(M); map F = basering, m; ideal J = F(I); J = groebner(J); J = normalize(lead(J)); return(J); }

...then call, e.g. for reverse lex ordering: ring r = 0,(a,b,c,d),dp; ideal I = a3+c2*d, b3-a*d2; gin(I);

Change History (1)

comment:1 Changed 13 years ago by seelisch

Owner: changed from somebody to decker@…
Note: See TracTickets for help on using tickets.