#include <hom.h>
Public Types | |
typedef Source::Element | SrcElt |
typedef Target::Element | Elt |
Public Methods | |
Hom (const Source &S, const Target &T) | |
Elt & | image (Elt &t, const SrcElt &s) |
SrcElt & | preimage (SrcElt &s, const Elt &t) |
const Source & | source () |
const Target & | target () |
|
|
|
|
|
Construct a homomorphism from a specific source ring S and target field T with Hom(S, T). The default behaviour is error. Specializations define all actual homomorphisms. |
|
image(t, s) implements the homomorphism, assigning the t the value of the image of s under the mapping. The default behaviour is a no-op. |
|
If possible, preimage(s,t) assigns a value to s such that the image of s is t. Otherwise behaviour is unspecified. An error may be thrown, a conventional value may be set, or an arb value set. The default behaviour is a no-op. |
|
|
|
|