Top
Back: is_reg
Forward: locstd
FastBack: qhmoduli_lib
FastForward: spcurve_lib
Up: sing_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.6.13.8 is_regs

Procedure from library sing.lib (see sing_lib).

Usage:
is_regs(i[,id]); i poly, id ideal or module (default: id=0)

Return:
1 if generators of i are a regular sequence modulo id, 0 otherwise

Note:
Let R be the basering and id a submodule of R^n. The procedure checks injectivity of multiplication with i[k] on R^n/id+i[1..k-1]. The basering may be a quotient ring.
printlevel >=0: display comments (default)
printlevel >=1: display comments during computation

Example:
 


Top Back: is_reg Forward: locstd FastBack: qhmoduli_lib FastForward: spcurve_lib Up: sing_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.