One Hat Cyber Team
Your IP :
216.73.216.135
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
/
doc
/
Macaulay2
/
Core
/
tests
/
Edit File:
intersect.m2
R = ZZ/101[x,y] assert(intersect ideal (-1)_R === ideal 1_R) assert(intersect ideal"x2,y" === ideal"y,x2") assert(intersect{ideal"x2,y"} === ideal"y,x2") assert(intersect(ideal"x2,y", ideal"x,y2") === ideal"y2,xy,x2") assert(intersect{ideal"x2,y", ideal"x,y2"} === ideal"y2,xy,x2") assert(intersect(ideal"x2,y", ideal"x,y2", ideal"x,y3") === ideal"xy,x2,y3") assert(intersect{ideal"x2,y", ideal"x,y2", ideal"x,y3"} === ideal"xy,x2,y3") assert(intersect(monomialIdeal"x2,y", ideal"x,y2") === monomialIdeal"y2,xy,x2") assert(intersect(ideal"x2,y", monomialIdeal"x,y2") === ideal"y2,xy,x2") assert( intersect(image matrix {{1},{x}}, image matrix {{x}, {x^2}}) == image matrix {{x}, {x^2}} ) assert( intersect(image matrix {{1},{x}}, image matrix {{x}, {x^3}}) == 0 ) assert( intersect( ideal(x^2,y), ideal (x,y^2)) == ideal (y^2, x^2, x*y) ) -- R = ZZ/101[a..d] assert( intersect( subquotient(matrix {{a}},matrix {{d}}), subquotient(matrix {{b}},matrix{{d}}) ) == subquotient(matrix {{a*b}},matrix {{d}}) ) -- -- R = ZZ/101[a..d] -- M = coker random(R^{0,-1}, R^{-2,-3}) -- L = new SelfInitializingType of VisibleList -- t1 = first elapsedTiming intersect L(20:M) -- t2 = first elapsedTiming intersect (20:M) -- -- What is this testing? -- << "t1 = " << t1 << " and t2 = " << t2 << " t1-4*t2 = " << t1 - 4*t2 << endl; -- assert(t1 > 4 * t2)
Simpan