Alonso, This topic, as interesting as it is, would have been better on comp.sci-math or other places where implementation and use of computer algebra system are routinely discusses. If what you have seen happens with the latest version (Mathematica 8.0.1) as it seems please fill a bug report to Wolfram Research. Regards, Olivier