On 25 Feb., 21:33, "Aaron S. Meurer" <[email protected]> wrote:
> Other classes will be different, but Integral is going to have a special 
> structure whenever I finish the Risch Algorithm (because it can prove that 
> integrals "can't be done").  Actually, it is more difficult than that, 
> because it can only do it in the elementary transcendental case, and 
> additionally, there will be an option to integrate to only return an 
> elementary result or else an elementary integral (i.e., return 
> Integral(exp(-x**2), x) instead of erf()).  
>
> So what I plan to do is to create a new class, NonElementaryIntegral, which 
> will derive from Integral().  integrate() (i.e., risch_integrate() will be 
> merged into integrate()) will return this whenever it can prove that an 
> integral is non-elementary.  The class will be similar to Integral, except it 
> will have a no-op .doit(), as well as some other things (I'm also thinking it 
> should pretty print differently, though I don't know how; any ideas?).  

Isn't "elementary" just a matter of choice which functions you define
to be elementary? In this case, I'm not sure about such a separation.

Vinzent

-- 
You received this message because you are subscribed to the Google Groups 
"sympy" 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/sympy?hl=en.

Reply via email to