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:
ringmap7.m2
needsPackage "WeylAlgebras" needsPackage "AssociativeAlgebras" D = ZZ/101[x,dx, WeylAlgebra => {x => dx}] R = ZZ/101<|dy,y|>/(dy*y - 1 - y*dy) S = ZZ/101<|z,dz|>/(dz*z - 1 - z*dz) f = map(R, D, {y,dy}) g = map(D, R, {dx,x}) h = map(S, R, {dz,z}) assert(f(dx*x) == y*dy+1) assert(f(x*dx) == y*dy) assert(f(dx*x^2) == y^2*dy+2*y) assert(f(x^2*dx) == y^2*dy) assert(g(dy*y) == x*dx+1) assert(g(y*dy) == x*dx) assert(g(dy*y^2) == x^2*dx+2*x) assert(g(y^2*dy) == x^2*dx) assert(h(dy*y) == z*dz+1) assert(h(y*dy) == z*dz) assert(h(dy*y^2) == z^2*dz+2*z) assert(h(y^2*dy) == z^2*dz)
Simpan