|
7.7.16.0. allExtOfLeft
Procedure from library purityfiltration.lib (see purityfiltration_lib).
- Usage:
- allExtOfLeft(M),
- Return:
- list, entries are ext-modules
- Assume:
- M presents a left module of finite left projective dimension n
- Purpose:
- For a left module presented by M over the basering D,
compute a list T, whose entry T[i+1] is a matrix, presenting the right module Ext^i_D(M,D) for i=0..n
Example:
|