mathics / Mathics

This repository is for archival. Please see https://github.com/Mathics3/mathics-core

Home Page:https://mathics.org

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

fja-pedraza opened this issue · comments

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

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