Singular/Sources — pull request #673 by jakobkroeker (2014-11-21 13:06:24+00:00)
Title: replace 'std(..,hilb,..)' calls by 'groebner()' calls in 'primdec.lib'

replace std(..,hilb,..) calls by groebner() calls in 'primdec.lib'

reason: additional a posteriori check (which?) is required, which is existant in groebner(),
but is usually missing in 'primdec.lib' code.

Symptoms:
bugs like http://www.singular.uni-kl.de:8002/trac/ticket/662