SafyanMajeed / symja

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

Sqrt problem #38

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
What steps will reproduce the problem?
Following equation not resolved 

Simplify[Sqrt[x^2]]

What is the expected output? 
x

What do you see instead?
x^2^(1/2)

Original issue reported on code.google.com by msafiyul...@gmail.com on 5 Sep 2011 at 7:01

GoogleCodeExporter commented 9 years ago
I think Symja should implement something like:
Simplify[Sqrt[x^2], x>0 ]

where x>0 is the assumption for which the simplification is allowed.

Therefore Symja in the first step needs a general "assumption datastructure" 
implementation.

Any suggestions how to implement that assumption system?

Original comment by axelclk@gmail.com on 5 Sep 2011 at 4:41