User Portlet

In my original formulation, each $K[i]$ contains the result of a `CylindricalDecomposition` call with variables $\{x,y,z\}$. Thus, the problem with my `RegionPlot` above is that fixing $z=i$ passes two variables ($x$ and $y$) and a constant...