On Aug 29, 2008, at 4:53 AM, Tim Lahey wrote:

>
> On Aug 29, 2008, at 6:24 AM, William Stein wrote:
>
>>
>> On Fri, Aug 29, 2008 at 2:46 AM, David Joyner <[EMAIL PROTECTED]>  
>> wrote:
>>>
>>> On Fri, Aug 29, 2008 at 3:07 AM, Burcin Erocal  
>>> <[EMAIL PROTECTED]> wrote:
>>>>
>>>> This is not supported in Sage at the moment, but it is definitely
>>>> planned. It should be fairly simple to implement this using the new
>>>> symbolic function interface from ginac, which allows one to specify
>>>> custom simplify/automatic evaluation functions.
>>>>
>>>> I am not familiar with the maple syntax. Can you give some  
>>>> examples of
>>>> how to use these features so I can play with them without having  
>>>> to dig
>>>> through documentation?
>>>
>>> I agree this would be a very useful feature. Basically, something  
>>> like
>>>
>>> (1)
>>> sage: integral(x,x,0,1)
>>> 1/2
>>> sage: Integral(x,x,0,1)
>>> \int_0^1 x\, dx
>>>
>>> (not the upper case I), or maybe
>>
>> I'm not enthuisiastic about using
>> Foo and foo to denote different commands.  If we have
>> two cases of the exact same word in Sage, then they should
>> be aliased.  Isn't (2) below identical to (1) above?
>> Or did you not mean to distinguish case above?
>>
>
> It's what Maple does. In Maple, Int() is used to indicate an
> inert integral, while int() is used to indicate an integral which
> is evaluated at that time.

I like the concept, though I'm also -1 on the capital/lowercase  
syntax. Perhaps integral could take an extra argument, so one would have

sage: integral(x,x,0,1)
1/2
sage: Integral(x,x,0,1, evaluate=False)
\int_0^1 x\, dx

Or maybe a new function formal_integral?

- Robert


--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to