-- -*- M2-comint -*- hash: 16051118864645173755

i1 : loadPackage "RandomIdeals"

o1 = RandomIdeals

o1 : Package

i2 : kk = ZZ/101;

i3 : R = kk[x_0..x_7];

i4 : T = random(R^1,R^{-1,-1,-1});

             1      3
o4 : Matrix R  <-- R

i5 : I = ideal(T);

o5 : Ideal of R

i6 : J = randomElementsFromIdeal({2,2,2},I);

o6 : Ideal of R

i7 : X=J:I;

o7 : Ideal of R

i8 : SS=X+I;

o8 : Ideal of R

i9 : SingSS= radical ideal singularLocus saturate SS;

o9 : Ideal of R

i10 : degree SingSS

o10 = 6

i11 : dim SingSS

o11 = 1

i12 : JJ = randomElementsFromIdeal({3},SS);

o12 : Ideal of R

i13 : IDD=X+JJ;

o13 : Ideal of R

i14 : PP=IDD:SS;

o14 : Ideal of R

i15 : BB= randomElementsFromIdeal({5},PP);

o15 : Ideal of R

i16 : BU=BB+X;

o16 : Ideal of R

i17 : BT=BU:PP;

o17 : Ideal of R

i18 : degree BT

o18 = 17

i19 : minors(4,(map(R/(decompose SingSS)_0,R)) (jacobian BT))

o19 = ideal ()

                                                    R
o19 : Ideal of ---------------------------------------------------------------------------
               (x  + 4x , x  + 24x , x  + 10x , x  + 5x , x  + 44x , x  - 37x , x  + 38x )
                 6     7   5      7   4      7   3     7   2      7   1      7   0      7

i20 : 
