globalVariables4 -- introduce the main variables in the case of a fat base point
Synopsis
-
- Usage:
globalVariables4(kk)
-
Inputs:
-
kk, a ring, the base field over which the construction will is performed
-
Outputs:
-
A, a matrix, represents the first (unknown) syzygy matrix
-
B, a matrix, represents the second (unknown) syzygy matrix
-
subs0, a matrix, row matrix containing all unknown variables