Opened 4 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:

Status badges

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 3 years ago by saraedum

  • Authors set to Julian Rüth
  • Milestone changed from sage-8.0 to sage-duplicate/invalid/wontfix
  • Reviewers set to Julian Rüth
  • Status changed from new to needs_review

works in Sage 8.4.

comment:2 Changed 3 years ago by saraedum

  • Status changed from needs_review to positive_review

comment:3 Changed 3 years ago by embray

  • 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.