#6523: .is_zero() method raises error for symbolic expression involving 
derivative
-----------------------+----------------------------------------------------
 Reporter:  gmhossain  |       Owner:     
     Type:  defect     |      Status:  new
 Priority:  major      |   Milestone:     
Component:  symbolics  |    Keywords:     
 Reviewer:             |      Author:     
   Merged:             |  
-----------------------+----------------------------------------------------
 If a symbolic expression contains  symbolic derivative then
 checking whether it is zero, raises error:
 {{{
 sage: x.diff(x,2).is_zero()
 True

 sage: f(x) = function('f',x)
 sage: f(x).diff(x).is_zero()
 ....
 NotImplementedError: derivative
 }}}

 This fails because new symbolics tries to convert it to maxima
 expression for checking the relation.

 It works fine for any other expression not involving symbolic
 derivative and without invoking maxima.

 It seems to me, pynac relational test needs to be fixed.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6523>
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