Opened 5 years ago
Closed 3 years ago
#23187 closed enhancement (invalid)
is_injective()/is_surjective() for coercions of polynomial rings
Reported by: | saraedum | Owned by: | |
---|---|---|---|
Priority: | minor | Milestone: | sage-duplicate/invalid/wontfix |
Component: | commutative algebra | Keywords: | sd86.5 |
Cc: | Merged in: | ||
Authors: | Julian Rüth | Reviewers: | Julian Rüth |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
A coercion of polynomial rings that is induced by a morphism on the base rings is injective/surjective iff the underlying morphism is. However this is currently not the case:
sage: QQ['x'].coerce_map_from(ZZ['x']).is_injective() NotImplementedError sage: GF(2)['x'].coerce_map_from(ZZ['x']).is_surjective() NotImplementedError
Change History (3)
comment:1 Changed 4 years ago by
- Milestone changed from sage-8.0 to sage-duplicate/invalid/wontfix
- Reviewers set to Julian Rüth
- Status changed from new to needs_review
comment:2 Changed 4 years ago by
- Status changed from needs_review to positive_review
comment:3 Changed 3 years ago by
- Resolution set to invalid
- Status changed from positive_review to closed
Presuming these are all correctly reviewed as either duplicate, invalid, or wontfix.
Note: See
TracTickets for help on using
tickets.
works in Sage 8.4.