+}
+
+static void check_extract_integer_content()
+{
+ parser readme;
+ ex A = readme("1/282901891126422365*(x + y)");
+ ex B = readme("165888/282901891126422365*(x - y)");
+ ex g = chinrem_gcd(A, B);
+}
+
+int main(int argc, char** argv)
+{
+ cout << "checking for bugs in poly_cra() and friends " << flush;
+ check_poly_cra();
+ check_extract_integer_content();