parent, f, [f_inverse=None]) |
The first argument f is a function or class with a call method (of one argument) that takes objects in domain and returns objects in codomain. The Map object, when called with argument x, tries to coerce it into the domain, if possible, and raises an error if it is not.
category,
codomain,
domain,
is_endomorphism,
parent
Instances of class Morphism also have the following special methods:
__add__,
__call__,
__cmp__,
__invert__,
__mul__,
__pow__,
__repr__,
__sub__,
_add_function,
_mul_function,
_sub_function
Further documentation:
other) |
The multiplication * operator is operator composition. Thus
if
and
are Hecke operators, then
.
Note that if the morphisms are defined using matrices, then this is the reverse of matrix multiplication, since matrices act from the right.
INPUT: self -- Morphism other -- Morphism OUTPUT: The morphism $x \mapsto self(other(x))$.