id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
21869,A framework for discrete valuations in Sage,saraedum,,"This is a meta-ticket to keep track of the progress of integrating https://github.com/saraedum/sage/releases into Sage.
== Fix bugs in Sage ==
There are a number of trivial bugs that get fixed by monkey-patches in https://github.com/saraedum/sage/blob/experimental/mac_lane/__init__.py
1. Conversion from a Function Field to its Constant Field
1. Conversion from a Function Field to its underlying Polynomial Ring
1. Coercions between Function Fields
1. Coercions are injective if the underlying map is
1. Ring homomorphisms from Fields are injective
1. The embedding of a ring into a polynomial ring over that ring is injective
1. Morphisms of number fields are injective
1. ZZ into QQ is injective
1. ZZ into a Number Field is injective
1. ZZ into an order of a Number Field is injective
1. (some_elements() should return more than just [1] for most rings.)
== Add new features to Sage ==
New features that the code needs to work
1. Factorization over iterated extensions of finite fields.
1. principal_part() and sides() of a Newton Polygon
== Add the valuation code to Sage ==
i.e., add these files The files here https://github.com/saraedum/sage/tree/experimental/mac_lane to Sage.",task,new,minor,sage-7.5,commutative algebra,,"discrete valuations, valuations, p-adics, function fields, number fields, smooth projective curves, Mac Lane algorithm, Montes algorithm",,,,,N/A,,,,,