Journal: ACM Comm. Computer Algebra