Possible to have rational times pi recognized as non-integer?
Subject: Possible to have rational times pi recognized as non-integer?
From: Stavros Macrakis
Date: Tue, 20 Nov 2012 17:57:19 -0500
Please file a bug report. Clearly askinteger should at least handle some
easy cases, notably rational functions with rational coefficients of
irrationals, etc.
On Tue, Nov 20, 2012 at 5:13 PM, Karl-Dieter Crisman <kcrisman at gmail.com>wrote:
> integrate(log(cot(x)-1),x,0,%pi/4);
>