Opened 5 years ago
Last modified 5 years ago
#23185 closed defect
A polynomial ring embeds into its fraction field — at Version 6
Reported by: | saraedum | Owned by: | |
---|---|---|---|
Priority: | minor | Milestone: | sage-8.0 |
Component: | commutative algebra | Keywords: | sd86.5, sd87 |
Cc: | Merged in: | ||
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | #23167 | Stopgaps: |
Description (last modified by )
Currently, this fails:
sage: R.<x> = QQ[] sage: K.<x> = FunctionField(QQ) sage: R.is_subring(K) NotImplementedError sage: R.is_subring(R.fraction_field()) NotImplementedError
but it should return True
.
Change History (6)
comment:1 Changed 5 years ago by
- Description modified (diff)
comment:2 Changed 5 years ago by
- Description modified (diff)
comment:3 Changed 5 years ago by
- Dependencies set to #23167
comment:4 Changed 5 years ago by
comment:5 Changed 5 years ago by
- Keywords sd86.5 added
comment:6 Changed 5 years ago by
- Description modified (diff)
Note: See
TracTickets for help on using
tickets.
Most likely, we need to patch
_coerce_map_from_
of function fields to return an injective homomorphism.