Opened 13 years ago

Last modified 13 years ago

#185 new proposed feature

detailed PLURAL wishlist: Hilbert-driven Buchberger

Reported by: Levandovskyy Owned by: Oleksandr
Priority: minor Milestone: 3-1-1
Component: dontKnow Version: 3-1-0
Keywords: PLURAL Hilbert-driven std Cc:


steps (in case of ideals):

check whether ideal is homogeneous, check whether factor (i.e., I in case of R/I) is homogeneous, check whether non-comm. relations (e.g. Weyl) are homogeneous, in Buchberger: if preconditions hold, throw away all spolys with current degree whenever total number of necessary polynomials has been reached

all yet to be done

Change History (2)

comment:1 Changed 13 years ago by seelisch

Reporter: changed from seelisch to Levandovskyy
Type: defectenhancement

comment:2 Changed 13 years ago by seelisch

Owner: changed from somebody to Oleksandr
Note: See TracTickets for help on using tickets.