Top
Back: noetherNormal
Forward: finitenessTest
FastBack: Commutative algebra
FastForward: elim_lib
Up: algebra_lib
Top: Singular 2-0-4 Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.1.10 mapIsFinite

Procedure from library algebra.lib (see algebra_lib).

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

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

Example:
 
LIB "algebra.lib";
ring r = 0,(a,b,c),dp;
ring s = 0,(x,y,z),dp;
ideal i= xy;
map phi= r,(xy)^3+x2+z,y2-1,z3;
mapIsFinite(phi,r,i);
==> 1


Top Back: noetherNormal Forward: finitenessTest FastBack: Commutative algebra FastForward: elim_lib Up: algebra_lib Top: Singular 2-0-4 Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-0-4, May 2003, generated by texi2html.