William Stein wrote:
> 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.
This makes things vastly easier, then (for example, latex(x+x*x,
simplify=False) becomes easy, maybe).
Do you know how things will change going to pynac?
Jason
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
