Fixed bug in unvariate factorization. Bound for lifting was using a ordinary
authorJens Vollinga <jensv@nikhef.nl>
Mon, 8 Sep 2008 17:17:56 +0000 (19:17 +0200)
committerJens Vollinga <jensv@nikhef.nl>
Mon, 8 Sep 2008 17:17:56 +0000 (19:17 +0200)
commitbb6b3d82cdf9e7ff4ecac89c47e63024e39ec96b
treeeac14243507ec3200374fbf4f026154512f52194
parentccec535ede5a414447d69fba95af194df7327bfb
Fixed bug in unvariate factorization. Bound for lifting was using a ordinary
int instead of a cl_I.
check/exam_factor.cpp
ginac/factor.cpp