One Hat Cyber Team
Your IP :
216.73.216.115
Server IP :
194.44.31.54
Server :
Linux zen.imath.kiev.ua 4.18.0-553.77.1.el8_10.x86_64 #1 SMP Fri Oct 3 14:30:23 UTC 2025 x86_64
Server Software :
Apache/2.4.37 (Rocky Linux) OpenSSL/1.1.1k
PHP Version :
5.6.40
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
usr
/
share
/
Macaulay2
/
Bertini
/
TST
/
View File Name :
bertiniTrackHomotopy.tst.m2
restart loadPackage("Bertini",Reload=>true) R = CC[x,t]; -- include the path variable in the ring H = { (x^2-1)*t + (x^2-2)*(1-t)}; sol1 = point {{1}}; sol2 = point {{-1}}; S1= { sol1, sol2 };--solutions to H when t=1 S0 = sortSolutions bertiniTrackHomotopy (t, H, S1) --solutions to H when t=0 assert((1.414213562373-abs first coordinates first S0) <1e-7) peek S0_0 R=CC[x,y,t]; -- include the path variable in the ring f1=(x^2-y^2); f2=(2*x^2-3*x*y+5*y^2); H = { f1*t + f2*(1-t)}; --H is a list of polynomials in x,y,t sol1= point{{1,1}}--{{x,y}} coordinates sol2= point{{ -1,1}} S1={sol1,sol2}--solutions to H when t=1 S0=sortSolutions bertiniTrackHomotopy(t, H, S1, IsProjective=>1) --solutions to H when t=0 --assert(#S0==2) --Not always passing. target1=coordinates first S0 target2=coordinates last S0 assert(instance(first S0,Point)) if #S0 ==2 then assert(abs(.6 -((last target1/first target1) + (last target2/first target2)))<1e-6) ---