setupGodeaux -- summarize the single steps for the general set-up of the construction

Synopsis

• Usage:

  (relLin,relPfaf,d1',d2,Ms) = setupGodeaux(kk,s)

• Inputs:
  • kk, a ring, the base field over which the computations are performed
  • s, a string, describing the configuration of the 4 base points of the bicanonical system
• Outputs:
  • relLin, a matrix, row matrix containing the relations which are linear in the unknown $o$- and $c$-variables
  • relPfaf, a matrix, row matrix containing the relations which are quadratic in the unknown $a$-variables
  • d1', a matrix, the normal form of the first syzygy matrix with the first row omitted
  • d2, a matrix, the normal form of the second syzygy matrix
  • Ms, a sequence, three or four skew-symmetric matrices of size 4 whose entries are $a$-variables

Description

i1 : kk = ZZ/197;

i2 : s = "1111";

i3 : (relLin,relPfaf,d1',d2,Ms) = setupGodeaux(kk,s);

See also

• globalVariables -- introduce the main variables for the construction
• complexModuloRegularSequence -- set-up for minimal free resolution modulo x0,x1
• setupGeneralMatrices -- compute the general set-up for the construction
• getRelationsAndNormalForm -- compute a minimal set of the relations and a normal form for d1' and d2