Skip to content

M3 (Async plotting of box enclosure)

Closed Jun 30, 2020 100% complete

After pressing a "Compute Robust Plot" button, user can see a box-based enclosure of graph of 1/(1+10000*x^2).
User sees the enclosure appear in batches when the enclosure takes a noticeable time to compute. (We may need to slow down the computation artificially for testing purposes.)
User can pause/resume the computation.
On pan or zoom the enclosure is …

After pressing a "Compute Robust Plot" button, user can see a box-based enclosure of graph of 1/(1+10000*x^2).
User sees the enclosure appear in batches when the enclosure takes a noticeable time to compute. (We may need to slow down the computation artificially for testing purposes.)
User can pause/resume the computation.
On pan or zoom the enclosure is discarded. (This will change in future iterations.)

This milestone is closed.

No open issues remain. View closed issues or see open milestones in this repository.