|
7.7.16.0. allDoubleExt
Procedure from library purityfiltration.lib (see purityfiltration_lib).
- Usage:
- allDoubleExt(R), R matrix representing the left Module M=D^p/D^q(R^t) over a ring D
- Return:
- list T, double indexed, which include all double-ext modules
- Purpose:
- computes all double ext-modules
T[i][j] gives a representation matrix of ext^(j-1)(ext(i-1)(M,D))
Example:
|