eePromote
eePromote(f,R)
-- promote a ring element
f
to the ring
R
.
Go to
main index
.
Go to
concepts index
.