Opened 4 years ago

Last modified 3 years ago

#26105 closed enhancement

Support base_morphism for hom(im_gens) — at Version 2

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 (last modified by saraedum)

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.

See #26103 for a followup.

Change History (2)

comment:1 Changed 4 years ago by saraedum

roed, caruso: I am curious to hear what you think about this. I have been stumbling upon this several times during the past years.

comment:2 Changed 4 years ago by saraedum

  • Description modified (diff)
Note: See TracTickets for help on using tickets.