Dear Mike,
On 8 Feb., 10:58, "Mike Hansen" <[EMAIL PROTECTED]> wrote:
> This is the desired behavior in Sage with symbolic objects -- it
> returns the equation you specified. You can get a Boolean with
> bool().
Thank you! However, i was (and am) quite confused that such explicit
evaluation is needed.
I was just playing around with maxima's equations and spotted another
thing that i find inconsistent.
You and John explained that "x==x" returns an equation since the
underlying maxima system does.
So, why does maxima('x')==maxima('x') return True?
And why maxima('x==x') freezes?
<snip>
> But, this is
> just a choice for a canonical form. Magma, for example, makes it so
> that the denominator is always monic. No such choice has been made in
> Sage primarily because it (nor the best way to implement it) has not
> been discussed.
Automatic simplification is one thing. But is there an explicit way to
explicitly change an element of the fraction field of QQ[x] into a
canonical form (i.e., two elements are equal iff the canonical forms
are identic)? Note that "simplify" doesn't do it.
Yours
Simon
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
