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
/
View File Name :
diff.m2
-- check the documentation of diff(Matrix,Matrix) R = ZZ[a..d] m = matrix {{a,b},{c,d}} n = matrix {{a*b*c*d, a+b+c+d}, {a^2+b^2+c^2+d^2, a^3+b^3+c^3+d^3}} h = diff(m,n) F = target m P = source m G = target n Q = source n f = rank F p = rank P g = rank G q = rank Q scan(f, i -> scan(g, j -> scan(p, k -> scan(q, l -> ( -- << "diff(m_(i,k),n_(j,l)) = " << diff(m_(i,k),n_(j,l)) << endl; -- << "h_(g*i+j,q*k+l) = " << h_(g*i+j,q*k+l) << endl; assert( diff(m_(i,k),n_(j,l)) == h_(g*i+j,q*k+l) ) ))))) R = ZZ/101[x] m = matrix{{x}} source m end -- Local Variables: -- compile-command: "make -C $M2BUILDDIR/Macaulay2/packages/Macaulay2Doc/test diff.out" -- End: