As someone who is completely ignorant as to how this stuff is actually
implemented on the computer, I find this very interesting.
My philosophy is that a CAS should not be used independent of human
thought, and this is a good example of the need for the user to evaluate
the results.
Thank you for helping me to understand.
Aaron
On Wednesday, March 22, 2017 at 1:03:56 AM UTC-10, Harald Schilly wrote:
>
> Hello Aaron, there are different philosophies how symbolics are handled.
> One goes towards structure-transformations to get a quick answer, the other
> towards being more expressive about the problem itself. However, I think
> maxima doesn't help you much here. I've typed up a short SymPy worksheet
> that shows you a few computations. In particular, note that simplifications
> of expressions are disabled and solveset "correctly" shows you that there
> is no solution. In other instances, it gives you all solutions as a set.
>
> Key elements:
>
> sympify('x^2 / x', evaluate=False)
>
> → x²/x
>
> solveset(x²/x)
>
> → ø
>
> solveset(sympify('(x^3 - x^2 - 6*x) / x', evaluate=False))
>
> → {-2, 3} but not "0"
>
> Worksheet:
> https://cloud.sagemath.com/projects/14eed217-2d3c-4975-a381-b69edcb40e0e/files/scratch/sympy.sagews
>
> -- Harald
>
>
--
You received this message because you are subscribed to the Google Groups
"sage-cloud" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-cloud/7612d520-380f-45cc-94c4-0f76f893b509%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
