#12270: pointless computations when converting number field elements
-----------------------------+----------------------------------------------
   Reporter:  mstreng        |          Owner:  davidloeffler
       Type:  enhancement    |         Status:  new          
   Priority:  major          |      Milestone:  sage-5.0     
  Component:  number fields  |       Keywords:               
Work_issues:                 |       Upstream:  N/A          
   Reviewer:                 |         Author:               
     Merged:                 |   Dependencies:               
-----------------------------+----------------------------------------------

Old description:

> #11869 computes roots of a polynomial without using them. See #12186 for
> an example and for indicator code. To do:
>
>  * move the "compatible embedding" code of #11869 to the beginning of the
> method, to avoid unnecessary root-finding

New description:

 In {{{/sage/rings/number_field/number_field.py}}} (as per #11869), when
 converting number field elements, the parts

  * List of candidates for K(x)
  * Find a common field F into which KF and LF both embed

 are independent. The first can be very slow, while the second is likely to
 fail. So I propose to swap these two parts.

 See #12186 for an example and for indicator code.

--

Comment(by jdemeyer):

 Thanks for the clarification.  I agree.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12270#comment:3>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to 
[email protected].
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en.

Reply via email to