#18836: Make refine_embedding into a method of number fields instead of 
stand-alone
-----------------------------+--------------------------------
   Reporter:  cremona        |            Owner:
       Type:  enhancement    |           Status:  new
   Priority:  minor          |        Milestone:  sage-6.8
  Component:  number fields  |         Keywords:
  Merged in:                 |          Authors:  John Cremona
  Reviewers:                 |  Report Upstream:  N/A
Work issues:                 |           Branch:
     Commit:                 |     Dependencies:
   Stopgaps:                 |
-----------------------------+--------------------------------
 The stand-alone function {{{refine_embedding}} has been around for a
 while, right at the bottom of sage/rings/number_field/number_field.py, not
 imported into the global namespace and hence having to be imported
 whenever needed.  More seriously, it is very easy for users and developers
 to miss its existence entirely!  (Proof:  today I learned that one of my
 students needed such a function and wrote his own since he did not know
 that I had written the existing function a few years ago!)

 I am moving the function into the class NumberField, so that one can now
 say
 {{{
 embx = K.refine_embedding(emb, prec)
 }}}
 instead of
 {{{
 from sage.rings.number_field.number_field import refine_embedding
 embx = refine_embedding(emb,prec)
 }}}

 There are only about 3 places in the Sage library where this is used,
 which need small changes.

--
Ticket URL: <http://trac.sagemath.org/ticket/18836>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to