One Hat Cyber Team
Your IP :
216.73.216.115
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
/
Macaulay2
/
NCAlgebra
/
examples
/
Edit File:
_right__Kernel__Bergman.out
-- -*- M2-comint -*- hash: 2744731757524422527 i1 : B = threeDimSklyanin(QQ,{1,1,-1},{x,y,z}) --Calling Bergman for NCGB calculation. Complete! o1 = B o1 : NCQuotientRing i2 : A = ambient B o2 = A o2 : NCPolynomialRing i3 : g = -y^3-x*y*z+y*x*z+x^3 3 3 o3 = -y +yxz-xyz+x o3 : A i4 : C = A/(ideal B + ncIdeal g) --Calling Bergman for NCGB calculation. Complete! o4 = C o4 : NCQuotientRing i5 : M3 = ncMatrix {{x,y,z,0}, {-y*z-2*x^2,-y*x,z*x-x*z,x},{x*y-2*y*x,x*z,-x^2,y}, {-y^2-z*x,x^2,-x*y,z}} o5 = | x y z 0 | | -y*z-2*x^2 -y*x y^2-2*x*z x | | -2*y*x+x*y x*z -x^2 y | | -2*y^2+x*z x^2 -x*y z | o5 : NCMatrix i6 : assignDegrees(M3,{1,0,0,0},{2,2,2,1}) o6 = | x y z 0 | | -y*z-2*x^2 -y*x y^2-2*x*z x | | -2*y*x+x*y x*z -x^2 y | | -2*y^2+x*z x^2 -x*y z | o6 : NCMatrix i7 : ker1M3 = rightKernelBergman(M3) --Calling Bergman for NCGB calculation. Complete! --Calling Bergman for NCGB calculation. Complete! o7 = | -z -x y -y*z-x^2 | | y z x y^2 | | -x y -z 2*y*x-x*y | | -2*y^2 -2*x^2 -2*y*x+2*x*y -2*x*y*z | o7 : NCMatrix i8 : M3*ker1M3 == 0 o8 = true i9 : ker2M3 = rightKernelBergman(ker1M3) --Calling Bergman for NCGB calculation. Complete! --Calling Bergman for NCGB calculation. Complete! --Calling Bergman for NCGB calculation. Complete! --Calling Bergman for NCGB calculation. Complete! o9 = | -y x^2 -x*z -x*y | | x y^2 -y*x+2*x*y -y*z+2*x^2 | | z -x*y x^2 -x*z | | 0 -z -y -x | o9 : NCMatrix i10 : ker1M3*ker2M3 == 0 o10 = true i11 : ker3M3 = rightKernelBergman(ker2M3) --Calling Bergman for NCGB calculation. Complete! --Calling Bergman for NCGB calculation. Complete! o11 = | 0 -2*y*x -2*y^2+2*x*z -y*x*z+x^3 | | -y -z -x -x*y | | -z x y x*z | | x y -z 0 | o11 : NCMatrix i12 : ker2M3*ker3M3 == 0 o12 = true i13 :
Simpan