sqrt

We need to compute the square root only of the first term. That is, if the first term is rational, then all terms of the series are rational.
equalTrunc 50 PSE.sqrtExpl (PS.sqrt (\1 -> 1) [1,1])
equalTrunc 500 (1:1:repeat 0) (PS.sqrt (\1 -> 1) (PS.mul [1,1] [1,1]))
checkHoles 50 (PS.sqrt (\1 -> 1)) 1
square root
>>> sqrt 4
2.0
The floor of the square root
Computes the square root of a Quantity using **. The NRoot type family will prevent application where the supplied quantity does not have a square dimension.
(x :: Area Double) >= _0 ==> sqrt x == nroot pos2 x
Takes the square root of a dimension, if it exists.
sqrt d == nroot 2 d
Modular square roots and Jacobi symbol.