AOWANG / symja

Automatically exported from code.google.com/p/symja
1 stars 0 forks source link

Expression not fully simplified involving associative/commutative addition and subtraction #31

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago
What steps will reproduce the problem?
1. http://mobmath.appspot.com/
2. Input math expression: x - (11 + (7 - x))
3. Click "Sym"

What is the expected output? What do you see instead?
Expected: 2 * x - 18 or -18 + 2 * x
Instead: -(-x+18)+x

What version of the product are you using? On what operating system?
Google Chrome browser 10.0.648.204, Ubuntu 10.10, not that it should matter.

svn r649?

Current version of downloadable symja jars are:
Symja-0.0.11-SNAPSHOT.jar, Jan 4 2011, 6.1 MB
meconsole-0.0.10.zip, Nov 20, 2010, 4.2 MB
matheclipse-parser-0.0.10.jar, Jun 2010, 183 KB
symja-0.0.7a.jar, Aug 2009, 4.6 MB
symja-0.0.7a.jnlp

Original issue reported on code.google.com by fung.ben...@gmail.com on 9 Apr 2011 at 3:31

GoogleCodeExporter commented 8 years ago
further testing, sympy works as expected!

http://live.sympy.org/
-------------------------------------------------
Google App Engine/1.4.3
Python 2.5.2 (r252:60911, May 12 2010, 14:18:27) 
[GCC 4.3.1]

>>> e = x - (11 + (7 - x))
>>> print e
-18 + 2*x

Original comment by fung.ben...@gmail.com on 9 Apr 2011 at 3:36

GoogleCodeExporter commented 8 years ago
Fixed in r704:
http://code.google.com/p/symja/source/detail?r=704

Original comment by axelclk@gmail.com on 10 Apr 2011 at 9:49

GoogleCodeExporter commented 8 years ago
I will verify asap, thanks!

Original comment by fung.ben...@gmail.com on 10 Apr 2011 at 10:21

GoogleCodeExporter commented 8 years ago
Looks good, thanks for adding the test case also.

http://code.google.com/p/symja/source/detail?r=705

Original comment by fung.ben...@gmail.com on 24 Apr 2011 at 10:54

GoogleCodeExporter commented 8 years ago
Fixed in symja online interface

Original comment by axelclk@gmail.com on 23 Jul 2011 at 3:12