MonodromySolver : Table of Contents

• MonodromySolver -- solve polynomial systems via homotopy continuation and monodromy
• appendPoint -- append a point at the end of a PointArray
• appendPoints -- append a list of points at the end of a PointArray
• completeGraphAugment -- augment graph with the complete graph structure
• completeGraphInit -- initialize the topology of a complete graph
• computeMixedVolume -- compute mixed volume via Gfan
• createSeedPair -- create initial seed for the homotopy continuation
• dynamicFlowerSolve -- a naive dynamic strategy
• flowerGraphAugment -- augment graph with the flower graph structure
• flowerGraphInit -- solve via monodromy by using flower shaped graph
• getTrackTime -- elapsed time taken by solver
• HomotopyGraph
• homotopyGraph -- HomotopyGraph Constructor
• HomotopyNode
• indices(PointArray) -- returns indices of a PointArray
• length(PointArray) -- number of items stored in a PointArray
• makeBatchPotential -- batch sensitive potentialE
• member(Point,PointArray) -- test Point membership in a PointArray
• monodromyGroup -- compute the group of permutations implicitly defined by a homotopy graph
• monodromySolve -- the main function of the MonodromySolver package
• monodromySolve(System) -- the main function of the MonodromySolver package
• monodromySolve(System,Point,List) -- the main function of the MonodromySolver package
• MonodromySolverOptions
• net(PointArray) -- pretty printing
• PointArray -- a container for solutions
• pointArray -- constructor for PointArray
• potentialE -- the "expected" potential of an edge
• potentialLowerBound -- the potential which is equal to the minimal number of new points guaranteed to be discovered
• selectBestEdgeAndDirection -- selects edge and direction based on highest potential for obtaining new information
• selectRandomEdgeAndDirection -- random selection of edge and direction for homotopy
• solveFamily -- a solver for parametric families with simple output
• sparseMonodromySolve -- an "out of the box" polynomial system solver
• specializeSystem -- specialize parametric system at a point in the parameter space.