The Roots function is a placeholder for representing the roots of the univariate polynomial a. The roots are returned as a list of pairs of the form  where  is a root and  its multiplicity, that is,  divides a.

The call Roots(a) mod n computes the roots of the polynomial a modulo n.

The call Roots(a,K) mod p computes the roots over the finite field defined by K an algebraic extension of the integers mod p where K is a RootOf.

The call modp1(Roots(a), p) computes the roots of the polynomial a in the  representation modulo the prime integer p.