本文使用的主要工具是笛卡尔符号法则的推论和多项式完全判别系统相关结论等。
The main tools in the paper are Descartes sign method and complete discrimination system for polynomials .