next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
IntegralClosure :: idealizer

idealizer -- compute Hom(I,I) as a quotient ring

Synopsis

Description

This is a key subroutine used in the computation of integral closures.

i1 : R = QQ[x,y]/(y^3-x^7)

o1 = R

o1 : QuotientRing
i2 : I = ideal(x^2,y^2)

             2   2
o2 = ideal (x , y )

o2 : Ideal of R
i3 : (F,G) = idealizer(I,x^2);
i4 : target F

                 QQ[w   , x, y]
                     0,0
o4 = -------------------------------------
               5       2    2   2      3
     (w   y - x , w   x  - y , w    - x y)
       0,0         0,0          0,0

o4 : QuotientRing
i5 : first entries G.matrix

       2
      y
o5 = {--, x, y}
       2
      x

o5 : List

See also

Ways to use idealizer :