#6441: [with patch, needs work] Charpoly (plus adjoint and det)
----------------------------+-----------------------------------------------
 Reporter:  spancratz       |       Owner:  somebody               
     Type:  defect          |      Status:  new                    
 Priority:  major           |   Milestone:  sage-4.1.2             
Component:  linear algebra  |    Keywords:  charpoly, division-free
 Reviewer:                  |      Author:  Sebastian Pancratz     
   Merged:                  |  
----------------------------+-----------------------------------------------

Comment(by spancratz):

 Dear Rob,

 I've added two patch files to this now, one to include "is_field" and
 "is_integral_domain" and another one to include the division-free matrix
 methods (and some doctest fixes).

 I think for the time being it would be easier to not create a ticket for
 the assert-field stuff (and then work on it right away!) which this ticket
 would depend on.  One reason is that in a way I'd quite like to get this
 done, but more importantly (a) the recent idea contributed by Robert
 Bradshaw suggests to me that it's not quite clear how this should be done
 properly in the long run and (b) once one has something like the
 "_properties" attribute and "assert_foo" methods suggested in the thread
 on sage-devel, this will require those little changes in many places
 calling "is_field" etc, not just in the _charpoly_df method introduced
 with this ticket.

 That said, I think it's a good idea to create a separate trac ticket.  If
 you think it's a good idea, I'd be happy to follow the discussion on sage-
 devel and create a trac ticket (with a link to the thread and a few
 examples of what doesn't work in SAGE at the moment).

 Kind regards,

 Sebastian

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