1. Carl Friedrich Bolz-Tereick
  2. Pyrolog
  3. Issues
Issue #5 resolved

sqrt arithmetic.

Edd Barrett
created an issue

We should be able to do, for example:

X is sqrt(Y)

where Y is bound.

As pointed out by cfbolz, the easiest way is to compute X is to take the 0.5th power of Y.