Journal of symbolic computation.