One Hat Cyber Team
Your IP :
216.73.216.216
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
/
Edit File:
bertiniUserHomotopy.tst.m2
loadPackage("Bertini",Reload=>true) --- R=QQ[t0,x,y,T] --We have a system of two equations. aUserHomotopy={(t0)^2*(x^2-1)+(1-t0)^2*(x^2-9),y-1} --the start points for the homotopy are for t=1 and below: startPoints={point{{1,1}}, point {{-1,1}}} --the input for bertiniTrackHomotopy is ---1) path variable ---2) start system ---3) start points --the output for bertiniTrackHomotopy is a list of points. targetPoints=bertiniUserHomotopy( T,{t0=>T}, aUserHomotopy,startPoints,TopDirectory=>storeBM2Files) assert(areEqual(sortSolutions targetPoints, {point {{-3, 1}}, point {{3, 1}}})) ---The variables of your ring consist of parameters, then unknowns. R=QQ[t0,x,y] --We have a system of two equations. aUserHomotopy={(t0)^2*(x^2-1)+(1-t0)^2*(x^2-9),y-1} --the start points for the homotopy are for t=1 and below: startPoints={point({{1,1}}), point({{-1,1}})} --the input for bertiniTrackHomotopy is ---1) path variable ---2) start system ---3) start points --the output for bertiniTrackHomotopy is a list of points. targetPoints=bertiniUserHomotopy( T,{t0=>T}, aUserHomotopy,startPoints,TopDirectory=>storeBM2Files) assert(areEqual(sortSolutions targetPoints, {point {{-3, 1}}, point {{3, 1}}})) ---Track homotopy tst R=QQ[t0,x,y] --We have a system of two equations. aUserHomotopy={(t0)^2*(x^2-1)+(1-t0)^2*(x^2-9),y-1} --the start points for the homotopy are for t=1 and below: startPoints={point({{1,1}}), point({{-1,1}})} assert(areEqual(sortSolutions targetPoints, {point {{-3, 1}}, point {{3, 1}}})) H = { "(x^2-y^2)*a +(2*x^2-3*x*y-5*y^2)*(1-a)"} s=bertiniUserHomotopy(t, {a=>t},H, {point{{1,1}}, point{{ -1,1}}},HomVariableGroup=>{x,y} ) assert(#s==2)
Simpan