Opened 3 years ago

Last modified 2 years ago

#23503 closed enhancement

Method denominator() for elements in CDVF — at Version 2

Reported by: caruso Owned by:
Priority: major Milestone: sage-8.1
Component: padics Keywords: sd87
Cc: roed, saraedum, TristanVaccon Merged in:
Authors: Xavier Caruso Reviewers:
Report Upstream: N/A Work issues:
Branch: u/caruso/cdvf_denominator (Commits) Commit: 1ede8f63e8604c33bfcb7e408ca6c19d955bea1d
Dependencies: Stopgaps:

Description (last modified by caruso)

Computing the intersection of two modules over a PID requires a method denominator(). This ticket implements this method for complete discrete valuation rings/fields. Here is an example showing how it works

    sage: K = Qp(5)
    sage: K(1/15).denominator()
    5 + 0(5^21)

Change History (2)

comment:1 Changed 3 years ago by caruso

  • Branch set to u/caruso/cdvf_denominator

comment:2 Changed 3 years ago by caruso

  • Authors set to Xavier Caruso
  • Commit set to 1ede8f63e8604c33bfcb7e408ca6c19d955bea1d
  • Description modified (diff)
  • Status changed from new to needs_review

New commits:

e0ef01aAdded a method denominator() to CDVF
34e5aacDefine denominator() for CDVR as well
1ede8f6Fix doctest
Note: See TracTickets for help on using tickets.