One Hat Cyber Team
Your IP :
216.73.216.80
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
/
View File Name :
ext3.m2
-- this code from Hal Schenck crashes, or it used to. Now it works R = ZZ/11[a..d, Degrees=>{{1,0},{ -2,1},{1,0},{0,1}},Heft=>{1,4}] M = coker matrix{{c,b*c}} C = res M E = Ext^1(M,M) S = ZZ/11[a..d, Degrees=>{{1,0},{ -2,1},{1,0},{0,1}}] M = coker matrix{{c,b*c}} C' = res M E' = Ext^1(M,M) f = map(R,S) assert( C_0 == tensor(f,C'_0) ) assert( C_1 == tensor(f,C'_1) ) assert( E == tensor(f,E') )