Procedure from library algebra.lib (see algebra_lib).
algebra.lib
mapIsFinite(phi,R[,J]); R a ring, phi: R —> basering a map J an ideal in the basering, J = 0 if not given
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