Permit Inexact kernel #2
Description
The simplification algorithms rely on Exact arithmetic, otherwise, it starts hallucinating about intersections and restrict operations unnecessarily
{{ message }}
The simplification algorithms rely on Exact arithmetic, otherwise, it starts hallucinating about intersections and restrict operations unnecessarily