potentially change back IntegratorLearner.ivals from a set to a SortedSet

[basnijholt]

(original issue on GitLab)

opened by Bas Nijholt (@basnijholt) at 2018-01-02T12:30:21.790Z

In d357a64 we change IntegratorLearner.ivals from a SortedSet (sorted by err) to a normal set because the SortedSet was not always actually sorted, bugs (4bed59d), and it was easier to implement.

We should benchmark the IntegratorLearner and see whether it is worth it to change the set back to a SortedSet.