search

mathics / Mathics

This repository is for archival. Please see https://github.com/Mathics3/mathics-core
https://mathics.org
Other
2.08k stars 208 forks source link

Simplify[Sqrt[x^2], x > 0] #1595

Open fja-pedraza opened 9 months ago

fja-pedraza commented 9 months ago

This expression should give x as a result, and gives Sqrt[x ^ 2]

mmatera commented 9 months ago

This is true. The support for simplification rules is far from being complete right now.