arguments: R:ring f:ringelem >> g:ringelem
Promote f to an element g of R. If S is the base ring of f, then S ---> R should be one of the following extensions: (1) R ---> R (in which case f is returned without change), (2) S ---> R=S/I, (3) S ---> R=S[x1..xn], (4) S ---> R=frac S, (5) S=Z/p[x]/(F(x)) ---> GF(p,n). An error indication is returned if the ring extension is not one of these.
Go to main index.
Go to concepts index.