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:
atomic.m2
x = new AtomicInt assert Equation(new ZZ from x, 0) x = new AtomicInt from 1 assert Equation(new ZZ from x, 1) store(x, 2) assert Equation(new ZZ from x, 2) assert Equation(x += 1, 2) assert Equation(new ZZ from x, 3) assert Equation(x -= 1, 3) assert Equation(new ZZ from x, 2) store(x, 0b1100) assert Equation(x &= 0b1010, 0b1100) assert Equation(new ZZ from x, 0b1000) store(x, 0b1100) assert Equation(x |= 0b1010, 0b1100) assert Equation(new ZZ from x, 0b1110) store(x, 0b1100) assert Equation(x ^^= 0b1010, 0b1100) assert Equation(new ZZ from x, 0b0110) assert Equation(exchange(x, 5), 6) assert Equation(new ZZ from x, 5) assert not compareExchange(x, 7, 8) assert Equation(new ZZ from x, 5) assert compareExchange(x, 5, 9) assert Equation(new ZZ from x, 9)
Simpan