Top
Back: nselect
Forward: select
FastBack: cisimplicial_lib
FastForward: grwalk_lib
Up: elim_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.5.7 sat

Procedure from library elim.lib (see elim_lib).

Usage:
sat(id,j); id=ideal/module, j=ideal

Return:
list of an ideal/module [1] and an integer [2]:
[1] = saturation of id with respect to j (= union_(k=1...) of id:j^k) [2] = saturation exponent (= min( k | id:j^k = id:j^(k+1) ))

Note:
[1] is a standard basis in the basering

Display:
saturation exponent during computation if printlevel >=1

Example:
 


Top Back: nselect Forward: select FastBack: cisimplicial_lib FastForward: grwalk_lib Up: elim_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.