#6465: [with patch, needs review] Derivative D acts wrongly on symbolic
integration
-----------------------+----------------------------------------------------
 Reporter:  gmhossain  |       Owner:                                      
     Type:  defect     |      Status:  new                                 
 Priority:  critical   |   Milestone:                                      
Component:  symbolics  |    Keywords:                                      
 Reviewer:             |      Author:  Burcin Erocal, Golam Mortuza Hossain
   Merged:             |  
-----------------------+----------------------------------------------------
Changes (by newvalueoldvalue):

  * author:  => Burcin Erocal, Golam Mortuza Hossain


Old description:

> In new symbolics, derivative operator does not know
> how to act on symbolic integration.
>
> {{{
> sage: f(x) = function('f',x)
> sage: g = integrate(f(x),x)
> sage: g.diff(x)
> D[0](integrate)(f(x), x)*D[0](f)(x) + D[1](integrate)(f(x), x)
> }}}

New description:

 In new symbolics, derivative operator does not know
 how to act on symbolic integration.

 {{{
 sage: f(x) = function('f',x)
 sage: g = integrate(f(x),x)
 sage: g.diff(x)
 D[0](integrate)(f(x), x)*D[0](f)(x) + D[1](integrate)(f(x), x)
 }}}

 '''Patches''':

  * Both patches should be applied in order (spkg is already included in
 sage-4.1.1).

 Apart from solving this bug it introduces couple
 of new features (by moving it into new symbolics' SFunction sub-class)

  (1) Stricter syntax:

   http://groups.google.com/group/sage-
 devel/browse_thread/thread/3e98841311653d7a

  (2) Numerical approximation using .n() method

  (3) Updated "integrate?" docstring

  (4) Graceful handling of situations where integration is specified w.r.t.
 an expression

   http://groups.google.com/group/sage-
 devel/browse_thread/thread/cd9f91338635ada9



  (4) Behind the scene it provides a framework to hook up easily new
 integration algorithm written within sage.

--

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