For termination of linear loop programs proposed by Tiwari,the proof that the non linear programs of cycle conditions is the homogeneous polynomial and can not be terminated was put forward.Then the program termination was transformed as the solution of a system of semi algebra.A powerful algebraic symbols tool DISCOVERER was used to solve the approximate error caused by floating point calculations, and accurately determinate that such programs can not be terminated. Finally, by the computation algebra theory,the cycle conditions was extended to non homogeneous polynomial.Through theoretical and experimental proof, for a kind of cycle programs that cycle condition is non linear,these solutions is efficient and reasonable.
