On Jan 25, 6:21 pm, William Stein wrote:
> On Wed, Jan 25, 2012 at 7:25 AM, kcrisman wrote:
>
> >> > Probably that should be implemented inside the trigonometric functions
> >> > code itself, instead of in any of the "simplify"'s.
>
> >> > What do you think?
>
> >> +1
>
> >> It's indeed annoyin
On 25 ene, 12:21, William Stein wrote:
> That's bad, because z is zero after all. Yes, "bool(foo==bar)" being
> True means that Sage couldn't prove that foo == bar, but in this case,
> since z does equal z, and it isn't difficult to change Sage that it
> would know this, I don't see why we don't
On Wed, Jan 25, 2012 at 7:25 AM, kcrisman wrote:
>
>> > Probably that should be implemented inside the trigonometric functions
>> > code itself, instead of in any of the "simplify"'s.
>>
>> > What do you think?
>>
>> +1
>>
>> It's indeed annoying that Sage doesn't do this simplification (because
>
> > Probably that should be implemented inside the trigonometric functions
> > code itself, instead of in any of the "simplify"'s.
>
> > What do you think?
>
> +1
>
> It's indeed annoying that Sage doesn't do this simplification (because
> Maxima doesn't).
Though that would be a red herring if we
