MonodromySolverOptions

Description

i1 : options monodromySolve

o1 = OptionTable{AugmentEdgeCount => 0                                }
                 AugmentGraphFunction => null
                 AugmentNodeCount => 0
                 AugmentNumberOfRepeats => null
                 BatchSize => infinity
                 EdgesSaturated => false
                 Equivalencer => null
                 FilterCondition => null
                 GraphInitFunction => completeGraphInit
                 "new tracking routine" => true
                 NumberOfEdges => null
                 NumberOfNodes => null
                 NumberOfRepeats => 10
                 PointArrayTol => .0001
                 Potential => null
                 Randomizer => null
                 SelectEdgeAndDirection => selectFirstEdgeAndDirection
                 StoppingCriterion => null
                 TargetSolutionCount => null
                 Verbose => false

o1 : OptionTable

List of Options

• Augmentation Options (trigger dynamic strategies)
  • AugmentEdgeCount: number of edges added in augmentation step
  • AugmentGraphFunction: see flowerGraphAugment and completeGraphAugment
  • AugmentNodeCount: number of nodes in augmentation step (dynamic strategy triggered if >0)
  • AugmentNumberOfRepeats: max number of augmentation steps should be set to ensure termination
• BatchSize: maximum number of solutions tracked across an edge
• EdgesSaturated: fills correspondence tables after stopping criteria satisfied
• Equivalencer: a numeric function of solutions (default (x -> x) that divides partial solutions into equivalence classes
• FilterCondition: boolean function (default (p, x) -> false)) that evaluates true when we don't want to collect x (useful when x is an extraneous solution produced by path-jumping)
• GraphInitFunction: the underlying graph topology, see completeGraphInit and flowerGraphInit
• NumberOfEdges: number of edges in underlying graph
• NumberOfNodes: number of nodes in underlying graph
• NumberOfRepeats: argument for StoppingCriterion
• PointArrayTol: tolerance used for comparing elements contained inan instance of the type PointArray
• Potential: a function that assigns a number to each edge in each iteration, indicating its potential for producing new solutions. Current supported potential functions are potentialE and potentialLowerBound
• Randomizer: a function of the parameters that randomizes the homotopies' endpoints. Defaults to the
• gamma -- options for core functions of Numerical Algebraic Geometry
• trick when linear in parameters, otherwise no randomization (p -> p)
• SelectEdgeAndDirection: accepts either selectBestEdgeAndDirection or selectRandomEdgeAndDirection. The former also requires setting a potential. Default is an internal function that selects the first available edge.
• StoppingCriterion: eg. stop if no progress has been made
• TargetSolutionCount: expected/desired number of solutions (overrides StoppingCriterion)
• Verbose: reports progress in each iteration