i1 : R = CC[x,y]; |
i2 : I = ideal{x^2,x*y} 2 o2 = ideal (x , x*y) o2 : Ideal of R |
i3 : d = localHilbertRegularity(origin R, I) -- warning: experimental computation over inexact field begun -- results not reliable (one warning given per session) -- at degree 0: dim 1, new corners {} -- at degree 1: dim 3, new corners {} 2 -- at degree 2: dim 4, new corners {x*y, x } -- at degree 3: dim 5, new corners {} o3 = 2 |
i4 : D = truncatedDual(origin R, I, 3) o4 = | 1 x y y2 y3 | o4 : DualSpace |
i5 : L = hilbertFunction({0,1,2,3}, D) o5 = {1, 2, 1, 1} o5 : List |