next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
MultiplierIdeals :: jumpingNumbers(..., Interval => ...)

jumpingNumbers(..., Interval => ...) -- interval for jumping numbers

Description

Specify the interval in which to search for jumping numbers.

i1 : R = QQ[x,y];
i2 : I = monomialIdeal(y^2,x^3);

o2 : MonomialIdeal of R
i3 : jumpingNumbers(I) -- default: interval [5/6, 2]

       5  7  4  3  5  11                                2           2      
o3 = {{-, -, -, -, -, --, 2}, {ideal (y, x), ideal (y, x ), ideal (y , x*y,
       6  6  3  2  3   6
     ------------------------------------------------------------------------
      2           2        3           2   2    3           3     2   2  
     x ), ideal (y , x*y, x ), ideal (y , x y, x ), ideal (y , x*y , x y,
     ------------------------------------------------------------------------
      4           3     2   3    4
     x ), ideal (y , x*y , x y, x )}}

o3 : List
i4 : jumpingNumbers(I,Interval=>{1,3/2}) -- [1,3/2]

       7  4  3               2           2        2           2        3
o4 = {{-, -, -}, {ideal (y, x ), ideal (y , x*y, x ), ideal (y , x*y, x )}}
       6  3  2

o4 : List
i5 : jumpingNumbers(I,IntervalType=>"Open") -- (5/6,2)

       7  4  3  5  11               2           2        2           2      
o5 = {{-, -, -, -, --}, {ideal (y, x ), ideal (y , x*y, x ), ideal (y , x*y,
       6  3  2  3   6
     ------------------------------------------------------------------------
      3           2   2    3           3     2   2    4
     x ), ideal (y , x y, x ), ideal (y , x*y , x y, x )}}

o5 : List
i6 : jumpingNumbers(I,Interval=>{1,3/2},IntervalType=>"ClosedOpen") -- [1,3/2)

       7  4               2           2        2
o6 = {{-, -}, {ideal (y, x ), ideal (y , x*y, x )}}
       6  3

o6 : List

Further information