MathGroup Archive 2010

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: May we trust IntegerQ ?

  • To: mathgroup at smc.vnet.net
  • Subject: [mg107503] Re: May we trust IntegerQ ?
  • From: Bill Rowe <readnews at sbcglobal.net>
  • Date: Mon, 15 Feb 2010 05:46:16 -0500 (EST)

On 2/14/10 at 8:16 AM, grafix at csl.pl (Artur) wrote:

>Procedure: find such x that ChebyshevT[x/2, x] isn't integer aa =
>{}; Do[ If[IntegerQ[ChebyshevT[x/2, x]], , AppendTo[aa, x]], {x, 0,
>20}]; aa and answer Mathematica is set: {3, 5, 7, 9, 11, 13, 15, 17,
>19} where occered e.g. number 7 N[ChebyshevT[7/2, 7],100]
>5042.
>00000000000000000000000000000000000000000000000000000000000000000\
>0000000000000000000000000000000 evidently is integer 5042 Some
>comments ?

Per the documentation for IntegerQ, False is returned whenever
the argument is not manifestly an integer, i.e., has head
Integer. So, any expression that doesn't quickly evaluate to an
integer will be considered a non-Integer by IntegerQ regardless
of whether or not it would evaluate to an integer.

Recognizing this and eliminating the AppendTo, the code below
returns cases where ChebyshevT[x/2,x] is a non-integer

In[11]:= Last@
  Reap[If[! IntegerQ@FullSimplify@ChebyshevT[#/2, #], Sow[#]] & /@
    Range[20]]

Out[11]= {{3, 5, 9, 11, 13, 15, 17, 19}}



  • Prev by Date: Re: May we trust IntegerQ ?
  • Next by Date: Re: May we trust IntegerQ ?
  • Previous by thread: Re: May we trust IntegerQ ?
  • Next by thread: Re: May we trust IntegerQ ?