One Hat Cyber Team
Your IP :
216.73.216.14
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
/
Msolve
/
EXA
/
Edit File:
quadrics.m2
-- longer tests, benchmarks, etc. -- (not loaded by the package) needsPackage "Msolve" quadricsExample = method() quadricsExample Ring := FF -> ( R := FF[a..o,x,y]; F := x^2 + a*x*y + b*y^2 + c*x + d*y + e; G := x^2 + f*x*y + g*y^2 + h*x + i*y + j; H := x^2 + k*x*y + l*y^2 + m*x + n*y + o; eMsolve := msolveEliminate({x,y}, ideal{F,G,H}); assert(numgens eMsolve == if char FF == 0 then 1 else 66); assert(size eMsolve_0 == 21894); ) -- measurements on Intel Core i7-8650U CPU @ 8x1.90GHz FF = ZZ/nextPrime 2^30 -- 33s via msolve vs 26s via eliminate FF = ZZ/nextPrime 2^20 -- 32s via msolve vs 25s via eliminate FF = QQ -- 43s via msolve vs 27s via eliminate elapsedTime quadricsExample FF end restart load "quadrics.m2"
Simpan