Opened 2 years ago
Closed 2 years ago
#23495 closed enhancement (fixed)
R[x]→S[x] is injective/surjective if R→S is
Reported by: | saraedum | Owned by: | |
---|---|---|---|
Priority: | minor | Milestone: | sage-8.1 |
Component: | commutative algebra | Keywords: | sd87, beginner |
Cc: | Merged in: | ||
Authors: | Julian Rüth | Reviewers: | Adele Bourgeois |
Report Upstream: | N/A | Work issues: | |
Branch: | 18169e4 (Commits) | Commit: | 18169e4708fe8a62e6f60785db16eabd5a4e9bb2 |
Dependencies: | #23483, #23204 | Stopgaps: |
Description
sage: R.<x> = ZZ[] sage: S.<x> = QQ[] sage: R.hom(S).is_injective() NotImplementedError
Change History (12)
comment:1 Changed 2 years ago by
- Branch set to u/saraedum/r_x__s_x__is_injective_surjective_if_r_s_is
comment:2 Changed 2 years ago by
- Commit set to 18169e4708fe8a62e6f60785db16eabd5a4e9bb2
- Dependencies set to #23483
comment:3 Changed 2 years ago by
- Status changed from new to needs_review
comment:4 Changed 2 years ago by
- Status changed from needs_review to needs_work
comment:5 Changed 2 years ago by
- Dependencies changed from #23483 to #23483, #23204
comment:6 Changed 2 years ago by
- Status changed from needs_work to needs_review
comment:7 Changed 2 years ago by
All doctests pass on src/sage/rings/polynomial/polynomial_ring_homomorphism.pyx. When testing doctests on src/sage/rings, I get the following output at the end:
---------------------------------------------------------------------- sage -t --warn-long 37.9 src/sage/rings/finite_rings/finite_field_prime_modn.py # 2 doctests failed sage -t --warn-long 37.9 src/sage/rings/morphism.pyx # 2 doctests failed ----------------------------------------------------------------------
I think that maybe the failures in morphism.pyx are related to #23485. However, I am not sure about finite_field_prime_modn.py.
comment:8 Changed 2 years ago by
- Reviewers set to Adele Bourgeois
comment:9 Changed 2 years ago by
Thanks for reporting these. The morphism.pyx
is fixed now. The other one comes from #23204. I am fixing it there.
comment:10 Changed 2 years ago by
Should work now.
comment:11 Changed 2 years ago by
- Status changed from needs_review to positive_review
Yup, all tests pass now!
comment:12 Changed 2 years ago by
- Branch changed from u/saraedum/r_x__s_x__is_injective_surjective_if_r_s_is to 18169e4708fe8a62e6f60785db16eabd5a4e9bb2
- Resolution set to fixed
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
New commits:
R[x]→S[x] is injective/surjective iff R→S is