Opened 4 years ago
Last modified 3 years ago
#26105 closed enhancement
Support base_morphism for hom(im_gens) — at Initial Version
Reported by: | saraedum | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.0 |
Component: | coercion | Keywords: | padicBordeaux |
Cc: | roed, caruso, swewers | Merged in: | |
Authors: | Julian Rüth | Reviewers: | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
Currently, the method .hom(im_gens)
on parents allows you to define the images of the generators of a structure. This is assuming that the coefficients of these generators can be sent to the codomain with some canonical coercion.
This is often insufficient, e.g., in the case of polynomial rings where you would also like to define a map that translate the ring of coefficients non-canonically. Note that function fields already have a specialized .hom()
implementation that supports this feature.
Note: See
TracTickets for help on using
tickets.