Results
solve_monodromy returns a MonodromyResult by default. It stores the mutated vertices and edges, success/status metadata, iteration counts, and optional diagnostics.
result = solve_monodromy(compiled, vertices; max_roots=4)
result.success
result.status
result.iterations
result.stagnant_iterations
length(result.vertices)
length(result.edges)Edges store discovered correspondences in both directions.
e = result.edges[1]
e.correspondence12
e.correspondence21The result also behaves like its edges vector for indexing and iteration.
length(result)
first(result)CertifiedHomotopyTracking.MonodromyResult — Type
MonodromyResultReturn object from solve_monodromy.
Fields:
vertices,edges: mutated graph containing discovered solutions and correspondences.success: whether every edge reachedmax_rootscorrespondences.status::success,:stagnant,:interrupted, or:partial.iterations,stagnant_iterations: solve-loop counters.max_roots: target number of roots per edge.diagnostics: optional a posteriori path diagnostics.
MonodromyResult behaves like its edges vector for indexing and iteration.