implemented companion matrix, moved gcd to ring.py, implemented sign_at_infinity and sign_at_minus_infinity for univariate polynomials, added ModuloInteger class, implemented __nonzero__ for polynomials, made ordering parameter optional for univariate polynomials