Subject: Another silly question: is sqrt(3) an integer
From: Jaime Villate
Date: Sat, 10 Oct 2009 10:34:10 +0100
On S?b, 2009-10-10 at 16:36 +1100, Billinghurst, David (RTATECH) wrote:
> I thought that the askinteger() function might be part of the
> solution.
> However:
>
> (%i1) askinteger(sqrt(3));
> Is sqrt(3) an integer?
> no;
> (%o1) no
Why not something like this?:
(%i11) is ( equal(sqrt(3),fix(3)));
(%o11) false
Jaime