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

NumericalAlgebraicGeometry :: goodInitialPair

goodInitialPair -- make an intial pair conjectured to be good by Shub and Smale

Synopsis

Usage:
(S,sol) = goodInitialPair T
Inputs:
- T, a list of polynomials
Optional inputs:
- GeneralPosition => default value false, make a random unitary change of coordinates
Outputs:
- S, list of polynomials
- sol, a list containing (one) solution of S

Description

Generates a start system S that is conjectured to have good complexity when used in linear homotopy with target system T leading to one solution.

i1 : T = randomSd {2,3};

i2 : (S,solsS) = goodInitialPair T

                                 2
o2 = ({1.41421x1*x3, 1.73205x2*x3 }, {{0, 0, 1}})

o2 : Sequence

i3 : M = track(S,T,solsS,gamma=>0.6+0.8*ii,Software=>M2)

o3 = {{.428743+.815761*ii, -.0771014+.0306734*ii, .241067-.292771*ii}}

o3 : List

Ways to use `goodInitialPair` :

goodInitialPair(List)