> IMHO, most of SageMath isn't about education. So, why do you think its
> inclusion wouldn't be useful?
The main reason PRESS was created was so it could be used as a tool to
study a heuristic search technique called meta-level inference. The
primary goal was not to build a CAS that could be used as a tool.
My thought is PRESS's main value for SageMath is educational in
nature. I think that once a person has learned the techniques that are
implemented in PRESS, they are better off using much more powerful
CASs such as Macsyma, SageMath, SymPy, etc. for any real work they
need to accomplish.
Another reason for not including PRESS in SageMath is PRESS is not
currently maintained :-)
You received this message because you are subscribed to the Google Groups
To unsubscribe from this group and stop receiving emails from it, send an email
To post to this group, send email to email@example.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.