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

goodInitialPair -- a good (conjectured by Shub and Smale) initial pair

Synopsis

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 = {{{-.393135+.0745232*ii, .382237+.0465677*ii, .824162-.111241*ii},
     ------------------------------------------------------------------------
     #steps => 15, status  => REGULAR, last t => 1, cond#^{-1} => .658786}}

o3 : List

Ways to use goodInitialPair :