Top
Back: is_surjective
Forward: noetherNormal
FastBack: absfact_lib
FastForward: assprimeszerodim_lib
Up: algebra_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.2.8 is_bijective

Procedure from library algebra.lib (see algebra_lib).

Usage:
is_bijective(phi,pr); phi map to basering, pr preimage ring

Return:
an integer, 1 if phi is bijective, 0 if not

Note:
The algorithm checks first injectivity and then surjectivity. To interprete this for local/mixed orderings, or for quotient rings type help is_surjective; and help is_injective;

Display:
A comment if printlevel >= voice-1 (default)

Example:
 


Top Back: is_surjective Forward: noetherNormal FastBack: absfact_lib FastForward: assprimeszerodim_lib Up: algebra_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.