trigcat.spad line 1 [edit on github]

The RadicalCategory is a model for the rational numbers.

^: (%, Fraction Integer) -> %

x ^ y is the rational exponentiation of x by the power y.

nthRoot: (%, Integer) -> %

nthRoot(x, n) returns the nth root of x.

sqrt: % -> %

sqrt(x) returns the square root of x. The branch cut lies along the negative real axis, continuous with quadrant II.