Here is where the paper Richard mentions is located on the University
of Edinburgh website:


On Wed, Oct 12, 2016 at 7:35 PM, rjf <> wrote:
> Bundy's bibliography does not include this paper, which includes my critique
> of
> and which has Bundy as a co-author.
> I think that you would find  (unless PRESS has been substantially changed)
> that
> PRESS has significantly fewer capabilities, returns results that are
> incomplete
> sometimes.  Sometimes the results are mathematically wrong.  For instance
> how effective would your "solve" program be if it could not divide
> polynomials?
> There may be some task at which the PRESS  meta-level analysis is
> useful, but it probably isn't improving "symbolic mathematical equation
> solving" for
> a CAS.

You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
To post to this group, send email to
Visit this group at
For more options, visit

Reply via email to