setupGeneralMatrices -- compute the general set-up for the construction

Synopsis

• Usage:

  (d1',d2) = setupGeneralMatrices(D,A,B)

• Inputs:
  • D, a chain complex, the minimal free resolution modulo $x_0,x_1$ from the procedure complexModuloRegularSequence
  • A, a matrix, (part of) the first syzygy matrix with the variables from the procedure globalVariables
  • B, a matrix, the second syzygy matrix with the variables from the procedure globalVariables
• Outputs:
  • d1', a matrix,
  • d2, a matrix,

Description

i1 : kk = ZZ/197;

i2 : s = "22";

i3 : (A,B,subs0) = globalVariables(kk,s);

i4 : SR = ring(A);

i5 : D = complexModuloRegularSequence(SR,s);

i6 : (d1',d2) = setupGeneralMatrices(D,A,B);

i7 : (betti d1',betti d2)

             0  1          0  1
o7 = (total: 7 26, total: 26 26)
          4: 4  .      6:  6  .
          5: 3  6      7: 12  .
          6: . 12      8:  8  8
          7: .  8      9:  . 12
                      10:  .  6

o7 : Sequence