GaussRoot(R, r, n)¶
n) provides functions to express a square root of a positive radical integer in terms of
n-th root of unity). A radical integer is an integer that is not divisible by a square of a prime.
- squareRoot: PositiveInteger -> R
squareRoot(x)returns an element
Rsuch that z^2=x. It returns 0, if such an element
zcannot be found in
R. The function assumes that
xis a radical integer (squarefree).