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:

Status badges

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.

Change History (0)

Note: See TracTickets for help on using tickets.