SectionalMatrix -- sectional matrix |
Syntax |
SectionalMatrix(I: IDEAL): type MAT SectionalMatrix(PmodI: RING): type MAT SectionalMatrix(I: IDEAL, bound: INT): type MAT SectionalMatrix(PmodI: RING, bound: INT): type MAT |
Description |
Example |
/**/ use P ::= QQ[x,y,z]; /**/ I := ideal(x^4 -x*y^3, x*y -z^2, x*z^2 -y^3); /**/ SectionalMatrix(I); matrix(ZZ, [[0, 0, 1, 1, 1, 1, 1, 1], [0, 0, 1, 3, 5, 6, 7, 8], [0, 0, 1, 4, 10, 18, 26, 34]]) /**/ SectionalMatrix(P/I); matrix(ZZ, [[1, 1, 0, 0, 0, 0, 0, 0], [1, 2, 2, 1, 0, 0, 0, 0], [1, 3, 5, 6, 5, 3, 2, 2]]) /**/ SectionalMatrix(P/I, 10); matrix(ZZ, [[1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0], [1, 2, 2, 1, 0, 0, 0, 0, 0, 0, 0], [1, 3, 5, 6, 5, 3, 2, 2, 2, 2, 2]]) |