RadicalCategory

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.