#4726: Creating homomorphisms of relative number fields seems totally broken
---------------------------------+------------------------------------------
       Reporter:  was            |         Owner:  davidloeffler
           Type:  defect         |        Status:  new          
       Priority:  major          |     Milestone:  sage-5.9     
      Component:  number fields  |    Resolution:               
       Keywords:                 |   Work issues:               
Report Upstream:  N/A            |     Reviewers:               
        Authors:  Robert Harron  |     Merged in:               
   Dependencies:                 |      Stopgaps:               
---------------------------------+------------------------------------------
Changes (by {'newvalue': u'Robert Harron', 'oldvalue': ''}):

  * upstream:  => N/A
  * author:  => Robert Harron


Comment:

 I just uploaded a patch that allows you to construct relative number field
 morphisms as above (the code simply wasn't written accept something like
 that). I just made it go recursively through the list you provide, so in a
 tower of fields, you only need to provide the images up to the point where
 your morphism is the identity.

 I'll set this to needs review after I do a full doctest overnight (the
 number_field module passes all doctests).

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4726#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 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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to