LawrenceMat -- Lawrence lifting of a matrix |
Syntax |
LawrenceMat(M: MATRIX): MAT |
Description |
| 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]]) |