A new efficient algorithm for computing Gr öbner bases without reduction to zero ( F 5 ) ( 15 / 6 / 2004 )