On a computational test for the existence of polynomial zero