Opened 5 years ago
Last modified 2 years ago
#23189 new enhancement
The integers embed into their extensions
Reported by: | saraedum | Owned by: | |
---|---|---|---|
Priority: | minor | Milestone: | sage-8.0 |
Component: | commutative algebra | Keywords: | sd86.5 |
Cc: | Merged in: | ||
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | #23184 | Stopgaps: |
Description (last modified by )
Currently this does not work:
sage: CyclotomicField(5).maximal_order().coerce_map_from(ZZ).is_injective() NotImplementedError
This probably works if we switch over a DefaultCoerceMap_unique
to have the right category set, i.e., with #23184.
Change History (2)
comment:1 Changed 5 years ago by
- Dependencies set to #23184
- Description modified (diff)
comment:2 Changed 2 years ago by
Note: See
TracTickets for help on using
tickets.
Is this still relevant?