Opened 3 years ago

Closed 3 years ago

Last modified 3 years ago

#20283 closed enhancement (fixed)

Discrete valuation rings are Euclidean domains

Reported by: pbruin Owned by:
Priority: minor Milestone: sage-7.2
Component: algebra Keywords: dvr euclidean division, days71
Cc: Merged in:
Authors: Peter Bruin Reviewers: Aly Deines
Report Upstream: N/A Work issues:
Branch: c6c0016 (Commits) Commit:
Dependencies: Stopgaps:

Description

Implement the fact that discrete valuation rings are Euclidean domains.

Change History (6)

comment:1 Changed 3 years ago by pbruin

  • Branch set to u/pbruin/20283-dvr_euclidean
  • Commit set to c6c0016aae31e646bc9c0ed7cd288fa9221f376b
  • Status changed from new to needs_review

comment:2 Changed 3 years ago by aly.deines

  • Status changed from needs_review to positive_review

Looks good.

comment:3 Changed 3 years ago by vbraun

  • Status changed from positive_review to needs_work

Reviewer name

comment:4 Changed 3 years ago by aly.deines

  • Reviewers set to Aly Deines
  • Status changed from needs_work to positive_review

comment:5 Changed 3 years ago by vbraun

  • Branch changed from u/pbruin/20283-dvr_euclidean to c6c0016aae31e646bc9c0ed7cd288fa9221f376b
  • Resolution set to fixed
  • Status changed from positive_review to closed

comment:6 Changed 3 years ago by jen

  • Commit c6c0016aae31e646bc9c0ed7cd288fa9221f376b deleted
  • Keywords days71 added
Note: See TracTickets for help on using tickets.