Semialgebraic_set loading ...