EFFECTIVENESS NON-EFFECTIVENESS IN SEMIALGEBRAIC AND PL GEOMETRY