#8327: Implement the universal cyclotomic field, using Zumbroich basis
---------------------------------------------------+------------------------
   Reporter:  nthiery                              |          Owner:            
                       
       Type:  enhancement                          |         Status:  
needs_work                       
   Priority:  major                                |      Milestone:  sage-4.8  
                       
  Component:  number fields                        |       Keywords:  
Cyclotomic field, Zumbroich basis
Work_issues:  Rebase wrt #10771. Fix one doctest.  |       Upstream:  N/A       
                       
   Reviewer:                                       |         Author:  Christian 
Stump, Simon King      
     Merged:                                       |   Dependencies:  #10771    
                       
---------------------------------------------------+------------------------

Comment(by nthiery):

 Replying to [comment:55 stumpc5]:
 > UCF.is_subring(UCF) just returns
 > {{{
 > sage: UCF is UCF
 > }}}
 > and as `UniversalCyclotomicField` inherits from `UniqueRepresentation`,
 this should return `True`.

 That's independent of UniqueRepresentation: ``X is X`` is true for any
 Python object X.

 So the test above breaks, my best bet is that the is_ring method that
 gets called is the wrong one.

 Good chase!
                                 Nicolas

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