Re: [sage-devel] Proving 1 equals 0 shouldn't be possible

2011-05-22 Thread David Kirkby
On 21 May 2011 10:35, 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:/

[sage-devel] Proving 1 equals 0 shouldn't be possible

2011-05-21 Thread Juanlu001
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://flask.sagenb.org/home/pub/65/ Though I have got u