Polynomial Algorithms in Computer Algebra (Texts & Monographs in Symbolic Computation)