next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
MonodromySolver :: MonodromySolverOptions

MonodromySolverOptions

Description

Here are some options for the solvers. The current defaults for a given solver may be accessed like so:

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 => 4
                 NumberOfNodes => 2
                 NumberOfRepeats => 10
                 Potential => null
                 Randomizer => null
                 SelectEdgeAndDirection => selectRandomEdgeAndDirection
                 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
  • 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
  • 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
  • SelectEdgeAndDirection: currently accepts either selectBestEdgeAndDirection or selectRandomEdgeAndDirection. Note that the former also requires setting
  • StoppingCriterion: eg. stop if no progress has been made
  • TargetSolutionCount: expected/desired number of solutions (overrides StoppingCriterion)
  • Verbose: reports progress in each iteration

For the programmer

The object MonodromySolverOptions is a symbol.