Opened 5 years ago
Last modified 5 years ago
#23190 closed enhancement
Improve is_injective()/in_surjective() for coercions of quotient rings — at Initial Version
| Reported by: | saraedum | Owned by: | |
|---|---|---|---|
| Priority: | minor | Milestone: | sage-8.1 |
| Component: | commutative algebra | Keywords: | sd86.5, sd87, beginner |
| Cc: | Merged in: | ||
| Authors: | Reviewers: | ||
| Report Upstream: | N/A | Work issues: | |
| Branch: | Commit: | ||
| Dependencies: | Stopgaps: |
Status badges
Description
This should return True
sage: R.<x> = ZZ[] sage: S.<x> = QQ[] sage: S.quo(x^2 + 1).coerce_map_from(R.quo(x^2 + 1)).is_injective()
Generally, if R→S is injective/surjective then the quotient is.
Note: See
TracTickets for help on using
tickets.
