logcf is a tool that computes exact real root isolation of a univariate polynomial. The algorithm is described in the paper logcf: An efficient tool for real root isolation . The used algorithm is based on continued factions ( Vincent’s theorem ). Notice: under linux platform, gcc and g++ need version 4.6 or later versions. logcf uses computer algebra system Singular for simplifying polynomial and uses GMP library for arbitrary precision arithmetic (these all contain in Zip package).