|
D.11.2.13 findTorsion
Procedure from library control.lib (see control_lib).
- Usage:
- findTorsion(R, I); R an ideal/matrix/module, I an ideal
- Return:
- module
- Purpose:
- computes the Groebner basis of the submodule of R, annihilated by I
- Note:
- especially helpful, when I is the annihilator of the t(R) - the torsion submodule of R. In this case, the result is the explicit presentation of t(R) as
the submodule of R
Example:
|