|
4.12.4 map related functions
fetch
- the identity map between rings (see fetch)
imap
- a convenient map procedure for inclusions and projections of rings (see imap)
preimage
- preimage under a ring map (see preimage)
subst
- substitution of a ring variable (see subst)
See also the libraries algebra_lib and ring_lib, which contain more
functions, related to maps.
|