#9094: is_square and sqrt for polynomials and fraction fields
------------------------------------------------+---------------------------
   Reporter:  robertwb                          |       Owner:  AlexGhitza
       Type:  enhancement                       |      Status:  needs_work
   Priority:  major                             |   Milestone:  sage-4.5.1
  Component:  algebra                           |    Keywords:            
     Author:  Robert Bradshaw, Maarten Derickx  |    Upstream:  N/A       
   Reviewer:  John Cremona, Marco Streng        |      Merged:            
Work_issues:  documentation, double code        |  
------------------------------------------------+---------------------------

Comment(by mderickx):

 The "This code is quite general" comment did what it had to do. I put it
 there in the hope that someone would come with a suggestion like you did.
 I had the feeling that the dubble code could be removed in a nice and
 general way, but I didn't know how. So by what you say I should just move
 the code to a more general class and then it will also work for fraction
 fields and polynomial rings (and possibly even more rings). What would be
 this more general class and where to find it?

 sage/rings/ring_element.py has only one line of code:

 {{{

 from sage.structure.element import !RingElement, is_RingElement

 }}}

 So should I add it to the RingElement class thats imported
 from sage.structure.element?

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