Closed rprebet closed 3 months ago
I added a function, and an attribute to the ideal, to get the isolating intervals that are outputted by msolve. This is necessary in many applications, including ones I'm developing (connectivity computations).
This also addresses issue #9 and probably #10 .
I added a function, and an attribute to the ideal, to get the isolating intervals that are outputted by msolve. This is necessary in many applications, including ones I'm developing (connectivity computations).
This also addresses issue #9 and probably #10 .