Opened 6 years ago

Last modified 4 years ago

#21869 closed enhancement

A framework for discrete valuations in Sage — at Version 2

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:

Status badges

Description (last modified by saraedum)

This is a meta-ticket to keep track of the progress of integrating into Sage.

Fix bugs in Sage

There are a number of trivial bugs that get fixed by monkey-patches in

  1. Conversion from a Function Field to its Constant Field
  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
  5. Ring homomorphisms from Fields are injective
  6. The embedding of a ring into a polynomial ring over that ring is injective
  7. Morphisms of number fields are injective
  8. ZZ into QQ is injective
  9. ZZ into a Number Field is injective
  10. ZZ into an order of a Number Field is injective
  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 to Sage.

Change History (2)

comment:1 Changed 6 years ago by saraedum

  • Description modified (diff)

comment:2 Changed 6 years ago by saraedum

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