A fraction-free unit-circle zero location test for a polynomial with any singularity profile

This paper presents a fraction-free (FF) version of the Bistritz test to determine the zero location (ZL) of a polynomial with respect to the unit circle. The test has the property that when it is invoked on a polynomial with Gaussian or real integer coefficients, it is an efficient integer algorithm completed without fractions over the respective integral domain. The test is not restricted to integers but remains integer preserving (IP) in all possible encounters of abnormalities and singularities. We define a symmetric subresultant polynomial sequence (SSPS) for the Sylvester matrix of two symmetric polynomials. We then show that the sequence of polynomials produced by the FF test coincides with the SSPS of its first two polynomials when the test is normal and the SSPS is strongly nonsingular, or else its polynomials match the non-singular subresultant polynomial and pass over intermediate gaps of singular subresultants in an IP and efficient manner. This relationship (interesting in its own right) is used to show that the test is IP and normally attains integers of minimal size.