GaussRoot(R, r, n)

qetasqrt.spad line 120 [edit on github]

• R: Ring

• r: R

• n: PositiveInteger

GaussRoot(R, r, n) provides functions to express a square root of a positive radical integer in terms of r (a 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 z in R such that z^2=x. It returns 0, if such an element z cannot be found in R. The function assumes that x is a radical integer (squarefree).