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
/
Macaulay2
/
BernsteinSato
/
EXA
/
View File Name :
Dresolution.exa.m2
restart load "Dloadfile.m2" Dtrace 4 ------------------------- EXAMPLES for Drestriction -------------------------------- -- Example 0: Resolution of the polynomial ring n = 5 W = QQ[z_1..z_n, Dz_1..Dz_n, WeylAlgebra => apply(toList(1..n), i -> z_i => Dz_i)] M = W^1/ideal(Dz_1..Dz_n) Dres(M) Dres(M, {-1,-2,-3,-4,-5,1,2,3,4,5}) -- Example 1: Resolution of an Appell F1 system I = AppellF1({1,2,3,4}, Vars => Local) W = ring I Dres(I) Dres(I, {-1,-1,1,1}) Dres(I, {-1,-1,1,1}, Strategy => Vhomogenize) Dres(I, {-1,-2,1,2}) Dres(I, {-1,-2,1,2}, Strategy => Vhomogenize) -- Example 2: Resolution of a GKZ system I = gkz(matrix{{1,1,1,1},{0,1,3,4}}, {5,2}) W = ring I Dres(I) Dres(I, {-1,-1,-1,-1,1,1,1,1})