]> www.ginac.de Git - ginac.git/search
Fixed bug in unvariate factorization. Bound for lifting was using a ordinary