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₀,x₁ 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

The procedure puts the matrices with the unknown entries from the procedure globalVariables and the matrices with the known entries from the procedure complexModuloRegularSequence together to the general set-up for the construction.

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

Ways to use `setupGeneralMatrices` :

setupGeneralMatrices(ChainComplex,Matrix,Matrix)

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

Synopsis

Description

Ways to use setupGeneralMatrices :

Ways to use `setupGeneralMatrices` :