#11922: extension of ZZ gives wrong generator
-----------------------------+----------------------------------------------
   Reporter:  dkrenn         |          Owner:  davidloeffler                   
  
       Type:  defect         |         Status:  new                             
  
   Priority:  major          |      Milestone:  sage-4.7.2                      
  
  Component:  number fields  |       Keywords:  extension, ZZ, integers, 
generator
Work_issues:                 |       Upstream:  N/A                             
  
   Reviewer:                 |         Author:  Daniel Krenn                    
  
     Merged:                 |   Dependencies:                                  
  
-----------------------------+----------------------------------------------

Comment(by davidloeffler):

 Yup, this is annoying. The reason for this is that the {{{X.<y>}}} syntax
 defines y to be the first element of {{{X.gens()}}}, but gens for number
 field orders returns *module* generators, not *ring* generators (which
 don't always exist for general orders).

 It would certainly be nice to fix this, but it's not clear to me what the
 best solution is.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11922#comment:1>
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