is(equal(exp(%i*x),0)) ---> unknown

• Subject: is(equal(exp(%i*x),0)) ---> unknown
• From: Robert Dodier
• Date: Tue, 21 Oct 2008 22:23:20 -0600

On 10/14/08, Barton Willis <willisb at unk.edu> wrote:

>  (1) The test suite is OK with this change. (The extra code gets called 3
>  times.)
>
>  (2) We have :(
>
>   (%i3) is(equal(minf, -inf));
>   (%o3) false
>
>   (%i4) is(equal(minf, minf));
>   (%o4) true
>
>  (3) The gamma failures have been fixed:

Well, it seems like an improvement on the whole,
so I think you should go ahead & commit it.

best

Robert Dodier

• Prev by Date: Handling of $gammalim and $factlim in simpgamma
• Next by Date: Tellsimp and tellsimpafter
• Previous by thread: is(equal(exp(%i*x),0)) ---> unknown
• Next by thread: is_isomorphic broken in 5.16.0
• Index(es):
  • Date
  • Thread