|
7.7.16.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:
|