i1 : R = CC[x,t]; -- include the path variable in the ring |
i2 : H = { (x^2-1)*t + (x^2-2)*(1-t)}; |
i3 : sol1 = point {{1}}; |
i4 : sol2 = point {{-1}}; |
i5 : S1= { sol1, sol2 };--solutions to H when t=1 |
i6 : S0 = bertiniTrackHomotopy (t, H, S1) --solutions to H when t=0 Temporary directory for input and output files:/var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-66083-0/0 The version of Bertini you have installed on your computer was used for this run. Bertini is under ongoing development by D. Bates, J. Hauenstein, A. Sommese, and C. Wampler. o6 = {{1.41421}, {-1.41421}} o6 : List |
i7 : peek S0_0 o7 = Point{ConditionNumber => 1 } Coordinates => {1.41421} CycleNumber => 1 FunctionResidual => 4.44089e-16 LastT => .0015625 MaximumPrecision => 52 Multiplicity => 1 NewtonResidual => 0 SolutionNumber => 1 SolutionStatus => Regular |
i8 : R=CC[x,y,t]; -- include the path variable in the ring |
i9 : f1=(x^2-y^2); |
i10 : f2=(2*x^2-3*x*y+5*y^2); |
i11 : H = { f1*t + f2*(1-t)}; --H is a list of polynomials in x,y,t |
i12 : sol1= point{{1,1}}--{{x,y}} coordinates o12 = sol1 o12 : Point |
i13 : sol2= point{{ -1,1}} o13 = sol2 o13 : Point |
i14 : S1={sol1,sol2}--solutions to H when t=1 o14 = {sol1, sol2} o14 : List |
i15 : S0=bertiniTrackHomotopy(t, H, S1, ISPROJECTIVE=>1) --solutions to H when t=0 Temporary directory for input and output files:/var/folders/46/9b86vqxj4hjcngvy7kd7sb140000gn/T/M2-66083-0/1 The version of Bertini you have installed on your computer was used for this run. Bertini is under ongoing development by D. Bates, J. Hauenstein, A. Sommese, and C. Wampler. o15 = {{-.576205+.431264*ii, -.412979-.191438*ii}, {-1.91533+.687752*ii, ----------------------------------------------------------------------- -.191676+1.27274*ii}} o15 : List |