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:

Status badges

Description (last modified by saraedum)

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 saraedum

  • Dependencies set to #23184
  • Description modified (diff)

comment:2 Changed 2 years ago by edgarcosta

Is this still relevant?

sage: CyclotomicField(5).maximal_order().coerce_map_from(ZZ).is_injective()
True
Note: See TracTickets for help on using tickets.