The comments underneath the post explain that zero-testing isn't the issue: https://mathoverflow.net/questions/374089/does-there-exist-a-complete-implementation

The comments underneath the post explain that zero-testing isn't the issue: https://mathoverflow.net/questions/374089/does-there-exist-a-complete-implementation-of-the-risch-algorithm#comment948140_374089 https://mathoverflow.net/questions/374089/does-there-exist-a...