Last week Kevin and Jan continued the ongoing integration work. An initial version of support for plotting of enclosures was implemented. Kevin also implemented support for starting and halting the enclosure solver from within the Acumen IDE, as well as displaying the enclosure solver's progress reports in the IDE console. Jan extended the syntax supported by the enclosure semantics to include higher derivatives. Adam also helped in discussions about how to change the architecture of the Acumen environment to provide common infrastructure for the different semantics.
In the coming week Kevin and Jan will focus the integration work on completing a minimal set of features needed to provide a demonstration version of the Acumen IDE using the enclosure semantics. In particular, they will implement a trace view for enclosure values at time-segment endpoints, plotting of the so-far computed enclosures when halting mid-computation and support for setting of solver parameters. In the longer term the main aim is to relax the restrictions on control structures currently supported by the enclosure semantics.
In the coming week Kevin and Jan will focus the integration work on completing a minimal set of features needed to provide a demonstration version of the Acumen IDE using the enclosure semantics. In particular, they will implement a trace view for enclosure values at time-segment endpoints, plotting of the so-far computed enclosures when halting mid-computation and support for setting of solver parameters. In the longer term the main aim is to relax the restrictions on control structures currently supported by the enclosure semantics.
