One Hat Cyber Team
Your IP :
216.73.216.14
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:
schenck-book-8.m2
end print generateAssertions /// needsPackage "NormalToricVarieties" rayList = {{1,0},{1,1},{0,1},{-1,0},{-1,-1},{0,-1}} coneList = {{0,1},{1,2},{2,3},{3,4},{4,5},{5,0}} BlP2= normalToricVariety(rayList,coneList) projEmb = (X,lst)->(Ddiv=toricDivisor(lst,X); if isAmple Ddiv then ( Ddeg =(weilToClass X)*(transpose matrix{lst}); Wdeg =flatten entries Ddeg; L=sheaf(X,(ring X)^{Wdeg}); d = rank HH^0(X, L); R=QQ[y_1..y_d]; kernel map(ring X, R, super basis(Wdeg, ring X))) else print "not ample") D={1,1,1,1,1,1} I = projEmb(BlP2,D); transpose gens I hilbertPolynomial(coker gens I, Projective=>false) ///
Simpan