#8568: can not simplify derivative of erf
----------------------+-----------------------------------------------------
 Reporter:  gmcmanus  |         Owner:  burcin                            
     Type:  defect    |        Status:  needs_work                        
 Priority:  major     |     Milestone:  sage-4.4.4                        
Component:  calculus  |    Resolution:  fixed                             
 Keywords:            |        Author:  Burcin Erocal, Karl-Dieter Crisman
 Upstream:  N/A       |      Reviewer:  Karl-Dieter Crisman, Burcin Erocal
   Merged:            |   Work_issues:                                    
----------------------+-----------------------------------------------------

Comment(by kcrisman):

 Or not.
 {{{
 sage: maxima(derivative(ceil(d),d))
 'diff('ceil(d),d,1)
 sage: maxima(derivative(ceil(x*d),d))
 <same NotImplementedError>
 }}}
 So the problem is that Burcin's Maxima conversion change now doesn't work
 with
 {{{
     493         if (not all(is_SymbolicVariable(v) for v in args) or
     494             len(args) != len(set(args))):
 --> 495             raise NotImplementedError, "arguments must be distinct
 variables"
     496
     497         f = operator.function()
 }}}
 in derivative().  In fact, he even included a doctest for it!
 {{{
 We can only convert to Maxima derivatives if the corresponding operand of
 the function is a variable::
 sage: y = var('y')
 sage: t = f(x*y).diff(x)
 sage: m.derivative(t, t.operator())
 Traceback (most recent call last):
 ...
 NotImplementedError: arguments must be distinct variables
 }}}
 This example could be fixed if one fixed
 {{{
 sage: derivative(ceil(x),x)
 D[0](ceil)(x)
 }}}
 so that there isn't a derivative function defined for ceil.  I'm not sure
 exactly what would count, though... just the zero function?

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