Looks good, what are the timings like for the two methods? I would expect an improvement through partitioning as it has simpler indices but perhaps not.
You mean filtering vs partitioning? Partitioning is faster, I believe between 10% and 30%. Drawback being that we need a more complex equality comparison or we switch to storing coordinates in the grid (here I finally understood your rationale for doing that in the main branch).
You mean filtering vs partitioning? Partitioning is faster, I believe between 10% and 30%. Drawback being that we need a more complex equality comparison or we switch to storing coordinates in the grid (here I finally understood your rationale for doing that in the main branch).