fix random order of adding points and refine the same interval
This MR:
- fixes bug @anton-akhmerov's leaf finding algorithm
- fixes that learners with the same points have identical integral (and error) no matter in which order the points are added
- brings
adaptive
's code in sync with cwg/python-cquad @ 493f8810 - adds tests that add points in random order and skip a point
- moves the code comparing
learner.ivals
toivals
returned byalgorithm_4
to the tests. - renames
not_done_points
topending_points
- renames
_update_ival
toadd_ival
- changes the datatype of
learner.ivals
from aSortedSet
to a normalset
- sets a heuristic error of the interval that is split (1/2 of the parent's error if known, otherwise (1/2)^2 of the parent's parent (if known), otherwise (1/2)^N where N is the number of levels till the first known parent)
Edited by Bas Nijholt