| |
| | Images and Preimages (Site not responding. Last check: 2007-11-07) |
 | | Given a mapping f with domain A and codomain B, and a finite enumerated set, indexed set, or sequence S of elements belonging to A, return the image of S under f as an enumerated set, indexed set, or sequence of elements of B. C @ f : Structure, Map -> Structure |
 | | Given a homomorphism f with domain A and codomain B, and a substructure C of A, return the image of C under f as a substructure of B. y @@ f : Elt, Map -> Elt |
 | | Given a mapping f with domain A and codomain B, where f supports preimages, and an element y belonging to B, return the preimage of y under f as an element of A. If the mapping f is a homomorphism, then a single element is returned as the preimage of y. |
| www.math.lsu.edu /magma/text228.htm (365 words) |
|