Simplifies our duplicate check by relying on the IntervalTrees package
Provides a new primitive DistinctCertifiedSolutions that allows for safe (and threaded) online certification. This struct we should easily put into monodromy_solve to only accept distinct certified solutions
Also adds the utility function distinct_certified_solutions:
Return a DistinctCertifiedSolutions struct containing distinct certified solutions obtained from a vector of solutions S of a system F.
Compared to certify this only keeps the distinct certified solutions and not all certificates. This in in particular
useful if you want to merge multiple large solution sets into one set of distinct certified solutions.
DistinctCertifiedSolutions
that allows for safe (and threaded) online certification. This struct we should easily put intomonodromy_solve
to only accept distinct certified solutionsdistinct_certified_solutions
:Return a
DistinctCertifiedSolutions
struct containing distinct certified solutions obtained from a vector of solutionsS
of a systemF
. Compared tocertify
this only keeps the distinct certified solutions and not all certificates. This in in particular useful if you want to merge multiple large solution sets into one set of distinct certified solutions.