Opened 3 years ago

Last modified 12 months ago

#21869 closed enhancement

A framework for discrete valuations in Sage — at Version 4

Reported by: saraedum Owned by:
Priority: major Milestone: sage-7.5
Component: commutative algebra Keywords: discrete valuations, valuations, p-adics, function fields, number fields, smooth projective curves, Mac Lane algorithm, Montes algorithm, sd87
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description (last modified by 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 #21872
  2. Conversion from a Function Field to its underlying Polynomial Ring
  3. Coercions between Function Fields
  4. Coercions are injective if the underlying map is #21879
  5. Ring homomorphisms from Fields are injective #21879
  6. The embedding of a ring into a polynomial ring over that ring is injective
  7. Morphisms of number fields are injective #21879
  8. ZZ into QQ is injective #21879
  9. ZZ into a Number Field is injective #21879
  10. ZZ into an order of a Number Field is injective #21879
  11. (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.
  2. principal_part() and sides() of a Newton Polygon

Add the valuation code to Sage

i.e., add these files https://github.com/saraedum/sage/tree/experimental/mac_lane to Sage.

Change History (4)

comment:1 Changed 3 years ago by saraedum

  • Description modified (diff)

comment:2 Changed 3 years ago by saraedum

  • Description modified (diff)

comment:3 Changed 3 years ago by saraedum

  • Description modified (diff)

comment:4 Changed 3 years ago by saraedum

  • Description modified (diff)
Note: See TracTickets for help on using tickets.