A small follow-up. I am playing a bit more with featurep now.
I think sqrt(4*b^2-4*b+1) is an integer for b a positive integer? But:
declare(b,integer);
assume(b>=0);
featurep(sqrt(4*b^2-4*b+1),integer);
false
but featurep doesn't recognize it. Why?
On Saturday, February 16, 2013 12:00:08 AM Nijso Beishuizen wrote:
> Dear all,
>
> I do this:
>
> declare(n,integer);
> askinteger(n-1/2);
> is (2n-1)/2 an integer?
>
> why is it asking me this? Isn't it clear that this is never an integer?
>
> also:
> featurep(n-1/2,integer);
> false
>
> featurep seems to be more knowledgeable than askinteger. Does it do more
> than askinteger?
>
>
> Best,
> Nijso