This is also a great example of the difference between '=' and '=='.
If the statement a = b, where to precede everything, then Sage would
know that a - b = 0, and would convert the statement 'a==b' to 'b==b',
which would frustrate the proof.
Jonathan
On May 23, 1:44 am, David Kirkby wrote:
> On
By the way, this is a great way to introduce students to how computers
do exactly what we tell them, and no more! There are similar good
examples with trying to do floating point limits, or complicated
integrals that have a 'trick' (though these are getting harder to
find).
- kcrisman
--
To pos
On May 21, 5:35 am, Juanlu001 wrote:
> Yesterday I was playing with symbolic expressions, and I had to apply
> divide_both_sides(), and I encountered something funny: you can divide
> by zero (with a bit of care). To show this, I've taken the classic
> "proof" and created a worksheet:
>
> http:/