LucaDorigo / webSapo

GUI for SAPO as a web app
MIT License
1 stars 0 forks source link

Polygons/Polyhedra over-approximation in plots #3

Closed albertocasagrande closed 2 years ago

albertocasagrande commented 2 years ago

83cb873a85530c8982e24056b3a6332767b7e4ca over-approximates polygons/polyhedra in plots as if some of the half-spaces defining them were missing. For instance, the set

correct

is depicted as

wrong

Use this SIL file to reproduce the issue.

albertocasagrande commented 2 years ago

The issue is due to a relatively high value (i.e., 0.01) for the tolerance in the function computeLinearSystemVertices. Unfortunately, we cannot get rid of the tolerance, but we can reduce it, for instance, to 1e-8.

albertocasagrande commented 2 years ago

Closed by e60d3d00f6c18352c51fc3943565155a27eef843