Copyright ACM, (2004). This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 2004 international symposium on Symbolic and algebraic computation, http://doi.acm.org/10.1145/1005285.1005308