Defined in File cwrapper.cpp
basic_solve_poly
Solves polynomial equation f if the set of solutions is finite.