On Apr 13, 11:07 pm, "Ondrej Certik" <[EMAIL PROTECTED]> wrote:
> Hi,
>
> yesterday on IRC I realized I don't understand these terms. :)
>
> x + x  -> 2*x    .... is this evaluation?
>
> x +y, vs.  y+x     ... is this canonicalization?
>
> Is this how everyone understands these terms? If so, we need to fix
> SymPy all over. :)

I would call "x+x -> 2*x" simplification, and "x+y -> y+x"
canonicalization.  "evaluation" would mean the process:
x + y evaluated at x=2, y=3 is 5.

Carl
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@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-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to