Cylindrical algebraic decomposition (esp. multivariate systems of linear inequalities)

[Colin Rowat]

What are the best (i. most powerful; ii. most user-friendly) tools for handling (linear) semialgebraic sets within Python?

I am working with eight objects in R^3, each defined by a set of linear equalities and inequalities.  Specifically, I want to:

1. prove that they partition R^3;

2. visualise them effectively.

(Somewhat cross-posted, with a lag, to https://math.stackexchange.com/questions/4203784/managing-and-visualising-sets-of-solutions-to-linear-inequalities )

Thanks,

Colin