/* Some test with polynomial GCD calculations. See also the checks for
* rational function normalization in normalization.cpp. */
/* Some test with polynomial GCD calculations. See also the checks for
* rational function normalization in normalization.cpp. */