up previous next
LawrenceMat    --    Lawrence lifting of a matrix


Syntax 
LawrenceMat(M: MATRIX): MAT

Description
This function returns the Lawrence lifting of the matrix M, defined as follows: 
                | M 0 |
                | I I |


Example 
/**/  LawrenceMat(mat([[1,2,3],[4,5,6]]));
matrix(QQ,
 [[1, 2, 3, 0, 0, 0],
  [4, 5, 6, 0, 0, 0],
  [1, 0, 0, 1, 0, 0],
  [0, 1, 0, 0, 1, 0],
  [0, 0, 1, 0, 0, 1]])