dynamicFlowerSolve -- a naive dynamic strategy

Synopsis

• Usage:

  (L, npaths) = dynamicFlowerSolve(M,p0,L)

• Inputs:
  • M, a matrix, defining polynomial system
  • p0, a point, associated to a specialized system
  • L, a list, containing partial solutions associated to p0
• Optional inputs:
  • RandomPointFunction (missing documentation) => ..., default value null,
  • StoppingCriterion => ..., default value FunctionClosure[../MonodromySolver/solveViaMonodromy.m2:110:110-110:120],
  • TargetSolutionCount (missing documentation) => ..., default value null,
• Outputs:
  • L, a list,
  • npaths, an integer,

Description

i1 : R = CC[a,b,c,d][x,y];

i2 : polys = polySystem {a*x+b*y^2,c*x*y+d};

i3 : (p0, x0) = createSeedPair polys;

i4 : (L, npaths) = dynamicFlowerSolve(polys.PolyMap,p0,{x0})
 -- .00300562s elapsed
 -- .00296429s elapsed
 -- .000324239s elapsed
 -- .00285355s elapsed
 -- .0333777s elapsed
 -- .00033569s elapsed
 -- .00577895s elapsed
 -- .00995768s elapsed
 -- .00027157s elapsed
 -- .00319099s elapsed
 -- .0027685s elapsed
 -- .0002679s elapsed
--backup directory created: /tmp/M2-92938-0/1
  H01: 1
  H10: 1
number of paths tracked: 2
found 1 points in the fiber so far
  H01: 1
  H10: 1
number of paths tracked: 4
found 1 points in the fiber so far
  H01: 1
  H10: 1
number of paths tracked: 6
found 1 points in the fiber so far
  H01: 1
  H10: 1
number of paths tracked: 8
found 1 points in the fiber so far

o4 = ({{.892712+.673395*ii, .29398+.632944*ii}}, 8)

o4 : Sequence