-- -*- M2-comint -*- {* hash: -633410520 *}

i1 : R = QQ[x,y,z];

i2 : M = matrix {{x,y,z}};

             1       3
o2 : Matrix R  <--- R

i3 : C = janetResolution M

      1      3      3      1
o3 = R  <-- R  <-- R  <-- R  <-- 0
                                  
     0      1      2      3      4

o3 : ChainComplex

i4 : janetBasis(C, 2)

     +----------+---------+
o4 = |{1} | -y ||{z, y, x}|
     |{1} | x  ||         |
     |{1} | 0  ||         |
     +----------+---------+
     |{1} | -z ||{z, y, x}|
     |{1} | 0  ||         |
     |{1} | x  ||         |
     +----------+---------+
     |{1} | 0  ||{z, y}   |
     |{1} | -z ||         |
     |{1} | y  ||         |
     +----------+---------+

o4 : InvolutiveBasis

i5 : multVar(C, 2)

o5 = {set {x, y, z}, set {x, y, z}, set {y, z}}

o5 : List

i6 : R = QQ[x,y,z];

i7 : I = ideal(x,y,z);

o7 : Ideal of R

i8 : res(I, Strategy => Involutive)

      1      3      3      1
o8 = R  <-- R  <-- R  <-- R  <-- 0
                                  
     0      1      2      3      4

o8 : ChainComplex

i9 :