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
/
doc
/
Macaulay2
/
Core
/
tests
/
View File Name :
pdim.m2
assert( (pdim image matrix {{1,1}}) === 0 ); assert( (pdim image matrix {{0}}) === 0 ); assert( (pdim image matrix {{1,1},{0,0}}) === 0 ); assert( (pdim image matrix {{4,4},{4,4}}) === 0 ); assert( (pdim image matrix {{4,4},{4,4}}) === 0 ); assert( (pdim image matrix {{4,3,3},{5,4,4}}) === 0 ); R = QQ[x,y] assert( (pdim image matrix {{1_R,1}}) === 0 ); assert( (pdim image matrix {{0_R}}) === 0 ); assert( (pdim image matrix {{1_R,1},{0,0}}) === 0 ); S = ZZ/101[x] assert( pdim coker map(S^1,S^1,1) === 0 )