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 useful notices using other functions (such as "Is x greater than zero?" when trying to solve an equation), I think that an assumption should be made about the expression we are dividing by to finally make the division. Ideas? -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
