I think you would get sqrt(x^2) = x, if x belonged to the *natural domain of sqr... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		ogogmad 15 days ago \| parent \| context \| favorite \| on: Why Mathematica does not simplify sinh(arccosh(x)) I think you would get sqrt(x^2) = x, if x belonged to the natural domain of sqrt, which is a Riemann surface, that may also be defined using the language of "sheaves". I don't know how to connect this to the article or Mathematica.

mathisfun123 15 days ago [–]

it's literally the prototypical example for `Assuming`

https://reference.wolfram.com/language/ref/Assuming.html

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact