Real root insulating arithmetic to mechanism synthesis

• 机构综合的实根隔离算法研究