On Thu, Dec 4, 2008 at 10:47 AM, William Stein <[EMAIL PROTECTED]> wrote:
> On Wed, Dec 3, 2008 at 8:23 PM, Tim Lahey <[EMAIL PROTECTED]> wrote:
>>
>> On Dec 3, 2008, at 11:15 PM, Robert Bradshaw wrote:
>>>>
>>>
>>> This requires good working knowledge of python style, which is even
>>> rarer than good working knowledge of English :).
>>>
>>> Of all the options, I think passing a keyword like "unevaluated=True"
>>> is the best one so far. It's certainly going to be the less common
>>> desired behavior, and I think.
>>>
>>> sage: latex(integral(x+x, x, unevaluated=True))
>>> '\int 2x dx'
>>>
>>> is natural despite having simplified the x+x.
>>>
>>
>> +1
>>
>> This fits with my previous suggestion. A named option ensures that it
>> will only be called if explicitly asked for. However, we need to have
>> a command to evaluate it at a later point in the calculations.
>>
>> Cheers,
>>
>> Tim.
>>
>
> In Sage right now one can do this:
>
> sage: a = function('integrate')(x+x,x)
> sage: print a._repr_(simplify=False)
> integrate(x + x, x)
>
> This probably has some bearing on this discussion....As does: sage: a = x + x * (x^3/sqrt(3 + 5*x + 2)) sage: print a._repr_(simplify=False) The point is just that currently in Sage the symbolic ring expressions are actually "held" and the actual simplification only happens when the expression is going to be printed. This will change with pynac symbolics, of course. --~--~---------~--~----~------------~-------~--~----~ 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-support URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
