Simon wrote: > 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 :-) Ted -- 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 sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.