next | previous | forward | backward | up | index | toc

# monodromySolve(System) -- the main function of the MonodromySolver package

## Description

This blackbox solver is similar in usage to sparseMonodromySolve, but with "technical" output.

 i1 : R = CC[a,b,c,d][A,B] o1 = R o1 : PolynomialRing i2 : polys = polySystem {A^2*a+B^2*b,A*B*c+d} o2 = polys o2 : PolySystem i3 : setRandomSeed 0; i4 : (V,npaths) = monodromySolve(polys, NumberOfNodes => 3); i5 : peek V o5 = HomotopyNode{BasePoint => {-.78761-.616174*ii, .976163-.21704*ii, -.416188-.909278*ii, .85817-.513365*ii} } Edges => MutableList{...8...} Graph => HomotopyGraph{...12...} PartialSolBins => {PointArray( 4 points: 3 0 2 1 ), {.48801-.872838*ii, .814076-.580758*ii}, {-.872838-.48801*ii, .580758+.814076*ii}, {-.48801+.872838*ii, -.814076+.580758*ii}, {.872838+.48801*ii, -.580758-.814076*ii}} PartialSols => {PointArray( 4 points: 0 1 3 2 ), {.48801-.872838*ii, .814076-.580758*ii}, {-.872838-.48801*ii, .580758+.814076*ii}, {-.48801+.872838*ii, -.814076+.580758*ii}, {.872838+.48801*ii, -.580758-.814076*ii}} Position => 2 2 2 SpecializedSystem => {(- .78761 - .616174*ii)A + (.976163 - .21704*ii)B , (- .416188 - .909278*ii)A*B + .85817 - .513365*ii}