|
7.7.16.0. allExtOfRight
Procedure from library purityfiltration.lib (see purityfiltration_lib).
- Usage:
- allExtOfRight(R), R matrix representing the right Module M=D^q/RD^p over a ring D
M module with finite right projective dimension n
- Return:
- list, entries are ext-modules
- Purpose:
- computes a list T, which entries are representations of the left modules ext^i(M,D)
T[i] gives the repr. matrix of ext^(i-1)(M,D), i=1,..,n+1
Example:
|