Top
Back: iostruct
Forward: controlExample
FastBack: Control theory background
FastForward: jacobson_lib
Up: control_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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:
 


Top Back: iostruct Forward: controlExample FastBack: Control theory background FastForward: jacobson_lib Up: control_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.