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})
 -- .00728927s elapsed
 -- .00777444s elapsed
 -- .00087746s elapsed
 -- .00771996s elapsed
 -- .0784678s elapsed
 -- .00078792s elapsed
 -- .00752075s elapsed
 -- .0183388s elapsed
 -- .00488515s elapsed
 -- .016371s elapsed
 -- .0112128s elapsed
 -- .00491419s elapsed
--backup directory created: /tmp/M2-1715977-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