Raymond Toy wrote:
>>>>>>"Richard" == Richard Fateman <fateman@cs.berkeley.edu> writes:
>>>>>>
>>>>>>
>
> Richard> Probably the program is described in Paul Wang's
> Richard> MIT PhD thesis. sheur0 is probably "s" heuristic "0".
>
>For the record, his thesis is available at
>http://www.lcs.mit.edu/publications/specpub.php?id=660. It's a scan
>of the thesis, and it's missing a few important pages describing his
>limit program. :-(
>
> Richard> This problem is solved by the commercial Macsyma
> Richard> correctly.
>
>Does it also handle limit(4^n/2^(2*n),n,inf) correctly? I assume it
>does.
>
It gives 1.
>
>Ray
>
>
>