published in Proceedings of the 1997 international symposium on Symbolic and algebraic computation - ISSAC '97 Journal