Subject: Another silly question: is sqrt(3) an integer
From: Jaime Villate
Date: Sun, 11 Oct 2009 20:34:52 +0100
On S?b, 2009-10-10 at 10:34 +0100, Jaime Villate wrote:
> 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
>
Oops, I meant: is ( equal(sqrt(3),fix(sqrt(3))));