One Hat Cyber Team
Your IP :
216.73.216.216
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:
degree.m2
S = ZZ[t,Inverses=>true, MonomialOrder=>RevLex] h = 1-3*t^3+3*t^6-t^9 q = h//(1-t) r = h %(1-t) assert( h == q*(1-t)+r ) -- test disabled, algorithm under development -- assert( r == 0 ) (q',r') = quotientRemainder(h,1-t) assert( q == q' ) assert( r == r' ) S = ZZ[t,Degrees=>{{}}, Inverses=>true, MonomialOrder=>RevLex] h = 1-3*t^3+3*t^6-t^9 q = h//(1-t) r = h %(1-t) assert( h == q*(1-t)+r ) -- test disabled, algorithm under development -- assert( r == 0 ) R = QQ[x,y,z] M = coker matrix {{x^3,y^3,z^3}} assert( degree M == 27 ) R = ZZ[x] M = subquotient( matrix {{x^3}}, matrix {{x^7}} ) assert ( degrees M == {{3}} ) R = QQ[x,y,Degrees=>{2,3}] I = ideal(y^2-x^3); assert(isHomogeneous I) assert(degree I == 6)
Simpan