linbox
|
NO DOC. More...
#include <givaro-extension.h>
Public Member Functions | |
Hom (const Source &S, const Target &T) | |
Constructor. | |
Elt & | image (Elt &t, const SrcElt &s) const |
Image. | |
SrcElt & | preimage (SrcElt &s, const Elt &t) const |
Preimage. |
NO DOC.
Constructor.
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.
|
inline |
Image.
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.
|
inline |
Preimage.
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.