Next: Bibliography Up: On strategies and implementations Previous: 3.4 The algorithm of

# 4. Suggestions for the algorithms

Here I would like to propose a variant of the algorithm for global (quasi-)homomogeneous ideals or modules realizing the ideas of the Sections 3.2 and 3.3. The main question is, whether the usage of Hilbert functions yields better restrictions to the pair sets than the regularity does. This will (hopefully) be answered in the near future by programming it in SINGULAR.

INPUT: generators of the given ideal,
OUTPUT: the resolution of F,

(F',SyzF)=computeFirstSyzygies(F)
S'=resolve(In(F'))
hilb.=computeHilbertFunctions(S')
L=buildPairs(SyzF)
i=1
WHILE ( )
h=0 //the Hilbert function of the actual module Si
deg=degmin
WHILE ( isNotComplete(h,hilbi))
G=reduce(L',deg,hilbi,h)
L'=buildPairs(G)
h=computeHilbertFunction(G)
WHILE ( isNotComplete(h,hilbi,deg))
h=computeHilbertFunction(G)
checkForDirectReductions(L,Si-1,deg,hilbi)
deletePairs(L,deg)
deg=deg+1
Si=G
L=L'
i=i+1