|
7.7.16.0. purityFiltration
Procedure from library purityfiltration.lib (see purityfiltration_lib).
- Usage:
- purityFiltration(S), S matrix with entries of an Auslander regular ring D
- Return:
- a list T of two lists, purity filtration of the module M=D^q/D^p(S^t)
- Purpose:
- the first list T[1] gives a filtration {M_i} of M,
where the i-th entry of T[1] gives the representation matrix of M_(i-1).
the second list T[2] gives representations of the factor Modules,
i.e. T[2][i] gives the repr. matrix for M_(i-1)/M_i
Example:
|