trigcat.spad line 1

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.