Glen Whitney

> the response is a number `0.5235987755982987`, which is "just" in rad. I would love to return a unit `unit('0.5235987755982987 rad')`, so there cannot be a mistake in that an...

> One more (wild?) idea: I like this idea better than the guard one (it's easier to admit selectively than to weed out) especially if you're willing to have calculator...

> we could allow converting any number into a unit Deg Scratch that, darn. What I said was mathematically reasonable, but it doesn't work in the presence of the unit...

With [email protected], all of the ingredients to complete this implementation are in place, and I would be happy to do so, although I would like to complete the Pocomath proof-of-concept...

In any case, this appears to be a preferable route to #2470, which I will close in favor of this.

In my efforts to enhance simplify() as much as is plausible, I thought I might attack this one. Some guidance would help: should this be construed to extend to identities...

Oh, another _specific_ one I wanted to ask about was `phi^2 -> phi+1` (as this is the defining identity of phi) ?

Ah, true; we can see how simplify fares with "bidirectional" rules that apply if they (ultimately) reduce the complexity, and if the combinatorial explosion is not too bad, `phi^2 phi+1`...

So one question when we get around to this: should sqrt(expr) just simplify to (expr)^(1/2)? Or vice versa? Or simplify to expr^(1/2) at the beginning of simplification with that exponent...

Well, first there's the consistency with `add` and `multiply` (I was surprised when `add` and `or` did not work this way) and simply the principle to be as general as...