|
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
|
|