"William Stein" <[EMAIL PROTECTED]> writes:
> Sage Enhancement Proposal: Change comparisons that involve
> elements of the symbolic ring to return True or False if both sides
> of the symbolic comparison are constants and the comparison can
> be definitely determined.
I'm not sure what symbolic
We are certainly going to cause confusion if we don't implement this
symbolic simplification suggestion (+1):
sage: y=x-x
sage: y
0
sage: y==0
0 == 0
sage: 0==0
True
sage:
i.e. not all 0's ae the same. Now, I can understand why that is the
case (different rings) but it is not going to help begi
On Thu, 15 May 2008, William Stein wrote:
>
> On Thu, May 15, 2008 at 10:42 PM, John H Palmieri
> <[EMAIL PROTECTED]> wrote:
>>
>>
>>
>> On May 15, 9:56 pm, "William Stein" <[EMAIL PROTECTED]> wrote:
>>> On Thu, May 15, 2008 at 9:48 PM, John H Palmieri <[EMAIL PROTECTED]> wrote:
>>>
>>>
>>>
>>
On Thu, May 15, 2008 at 10:42 PM, John H Palmieri
<[EMAIL PROTECTED]> wrote:
>
>
>
> On May 15, 9:56 pm, "William Stein" <[EMAIL PROTECTED]> wrote:
>> On Thu, May 15, 2008 at 9:48 PM, John H Palmieri <[EMAIL PROTECTED]> wrote:
>>
>>
>>
>> > Is this a bug?
>>
>> > sage: 3 == pi
>> > 3 == pi
>> > sa
