>>>>> "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.
Ray