Home Online Manual
Top
Back: allExtOfRight
Forward: allDoubleExt
FastBack:
FastForward:
Up: purityfiltration_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.5.17.0. doubleExt
Procedure from library purityfiltration.lib (see purityfiltration_lib).

Usage:
doubleExt(R,i), R matrix representing the left Module M=D^p/D^q(R^t) over a ring D
int i, less or equal the left projective dimension of M

Return:
matrix P, representing the double ext module

Purpose:
computes a matrix P, which represents the left module ext^i(ext^i(M,D))

Example:
 
LIB "purityfiltration.lib";
ring D = 0,(x,y,z),dp;
matrix R[7][3]=
0 ,0,1,
1 ,-4*x+z,-z,
-1,8*x-2*z,z,
1 ,0  ,0,
0 ,x-y,0,
0 ,x-y,y,
0 ,0  ,x;
// coker(R) is 2-pure, so all doubleExt are zero
print(doubleExt(transpose(R),0));
==> 1
print(doubleExt(transpose(R),1));
==> 1,0,0,
==> 0,1,0,
==> 0,0,1 
print(doubleExt(transpose(R),3));
==> 1
// except of the second
print(doubleExt(transpose(R),2));
==> 4y-z,4x-z