Top
Back: D.4.1.9 noetherNormal
Forward: D.4.1.11 finitenessTest
FastBack: Appendix D SINGULAR libraries
FastForward: E Release Notes
Up: D.4.1 algebra_lib
Top: 1 Preface
Contents: Table of Contents
Index: F Index
About: About This Document

D.4.1.10 mapIsFinite

Procedure from library algebra.lib (see section 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: D.4.1.9 noetherNormal Forward: D.4.1.11 finitenessTest FastBack: Appendix D SINGULAR libraries FastForward: E Release Notes Up: D.4.1 algebra_lib Top: 1 Preface Contents: Table of Contents Index: F Index About: About This Document
            User manual for Singular version 2-0-4, October 2002, generated by texinfo.