Top
Back: is_is
Forward: is_regs
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.7 is_reg

Procedure from library sing.lib (see sing_lib).

Usage:
is_reg(f,id); f poly, id ideal or module

Return:
1 if multiplication with f is injective modulo id, 0 otherwise

Note:
Let R be the basering and id a submodule of R^n. The procedure checks injectivity of multiplication with f on R^n/id. The basering may be a quotient ring.

Example:
 


Top Back: is_is Forward: is_regs 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.