Algebra for Symbolic Computation (UNITEXT / La