#9094: is_square and sqrt for polynomials and fraction fields
---------------------------------------------------------------------------------------+
   Reporter:  robertwb                                                          
       |       Owner:  AlexGhitza
       Type:  enhancement                                                       
       |      Status:  needs_work
   Priority:  major                                                             
       |   Milestone:  sage-4.7  
  Component:  algebra                                                           
       |    Keywords:            
     Author:  Robert Bradshaw, Maarten Derickx                                  
       |    Upstream:  N/A       
   Reviewer:  John Cremona, Marco Streng                                        
       |      Merged:            
Work_issues:  make general sqrt compatible with lazy reals, or go back to 
double code  |  
---------------------------------------------------------------------------------------+
Changes (by robertwb):

  * status:  needs_review => needs_work


Comment:

 * is_square for fraction field elements now always computes a root, even
 if it's not needed. This can be quite expensive.

  * Why are you writing boilerplate wrappers for all of LazyNamedUnop? Just
 do is_square and sqrt if need be.

  * Using _parent is just fine, especially for subclasses. No need to incur
 the extra expense of a method call.

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