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

extrasForTheKernel :: artinianReduction

artinianReduction -- compute an artinian quotient of an Cohen-Macaulay ideal

Synopsis

Usage:
(T,J)=artinianReduction(I)
Inputs:
- I, an ideal, a homogeneous ideal in a polynomial ring R
Outputs:
- T, a polynomial ring
- J, an ideal

Description

Computes the artinian quotient T/J of R/I in case the last dim I variables form a regular sequence mod I.

i1 : R=ZZ/101[x_0..x_3];

i2 : I=minors(2,matrix{{x_3,x_0,x_1},{x_0,x_1,x_2}})

               2                           2
o2 = ideal (- x  + x x , - x x  + x x , - x  + x x )
               0    1 3     0 1    2 3     1    0 2

o2 : Ideal of R

i3 : artinianReduction(I)

       ZZ                   2           2
o3 = (---[x , x ], ideal (-x , -x x , -x ))
      101  0   1            0    0 1    1

o3 : Sequence

Ways to use `artinianReduction` :

artinianReduction(Ideal)