User Manual

In solving a polynomial system, we first decide whether we care only about the isolated solutions, or whether we want to know all solutions, which includes not only the isolated solutions, but also all positive dimensional solutions.