Top
Back: noetherNormal
Forward: finitenessTest
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.10 mapIsFinite

Procedure from library algebra.lib (see algebra_lib).

Usage:
mapIsFinite(phi,R[,J]); R the preimage ring of the map phi: R ---> basering
J an ideal in the basering, J = 0 if not given

Return:
1 if R ---> basering/J is finite and 0 else

Note:
R may be a quotient ring (this will be ignored since a map R/I-->S/J is finite if and only if the induced map R-->S/J is finite).

Example:
 
See also: finitenessTest.


Top Back: noetherNormal Forward: finitenessTest 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.