Uncomment fmpz_mod_mpoly compose test. Use smaller prime

flintlib · Sep 21, 2024 · 80eeafa · 80eeafa
1 parent 04b67cb
commit 80eeafa
Showing 1 changed file with 13 additions and 13 deletions.
diff --git a/src/fmpz_mod_mpoly/test/t-compose_fmpz_mod_mpoly.c b/src/fmpz_mod_mpoly/test/t-compose_fmpz_mod_mpoly.c
@@ -23,7 +23,7 @@ TEST_FUNCTION_START(fmpz_mod_mpoly_compose, state)
         fmpz_mod_mpoly_struct C[3];
         fmpz_mod_mpoly_ctx_t ctxAC, ctxB;
 
-        fmpz_init_set_ui(p, 100003);
+        fmpz_init_set_ui(p, 13);
         fmpz_mod_mpoly_ctx_init(ctxB, 3, ORD_LEX, p);
         fmpz_mod_mpoly_ctx_init(ctxAC, 2, ORD_LEX, p);
 
@@ -53,18 +53,18 @@ TEST_FUNCTION_START(fmpz_mod_mpoly_compose, state)
             flint_abort();
         }
 
-        /* fmpz_mod_mpoly_set_str_pretty(C + 0, "x1", NULL, ctxAC); */
-        /* fmpz_mod_mpoly_set_str_pretty(C + 1, "2*x2", NULL, ctxAC); */
-        /* fmpz_mod_mpoly_set_str_pretty(C + 2, "1", NULL, ctxAC); */
-        /* if (fmpz_mod_mpoly_compose_fmpz_mod_mpoly(A, B, Cp, ctxB, ctxAC) || */
-        /*     fmpz_mod_mpoly_compose_fmpz_mod_mpoly_horner(A1, B, Cp, ctxB, ctxAC) || */
-        /*     fmpz_mod_mpoly_compose_fmpz_mod_mpoly_geobucket(A2, B, Cp, ctxB, ctxAC)) */
-        /* { */
-        /*     printf("FAIL\n"); */
-        /*     flint_printf("Check non-example 2\n", i); */
-        /*     fflush(stdout); */
-        /*     flint_abort(); */
-        /* } */
+        fmpz_mod_mpoly_set_str_pretty(C + 0, "x1", NULL, ctxAC);
+        fmpz_mod_mpoly_set_str_pretty(C + 1, "2*x2", NULL, ctxAC);
+        fmpz_mod_mpoly_set_str_pretty(C + 2, "1", NULL, ctxAC);
+        if (!fmpz_mod_mpoly_compose_fmpz_mod_mpoly(A, B, Cp, ctxB, ctxAC) ||
+            !fmpz_mod_mpoly_compose_fmpz_mod_mpoly_horner(A1, B, Cp, ctxB, ctxAC) ||
+            !fmpz_mod_mpoly_compose_fmpz_mod_mpoly_geobucket(A2, B, Cp, ctxB, ctxAC))
+        {
+            printf("FAIL\n");
+            flint_printf("Check non-example 2\n", i);
+            fflush(stdout);
+            flint_abort();
+        }
 
         fmpz_mod_mpoly_set_str_pretty(C + 0, "2*x1", NULL, ctxAC);
         fmpz_mod_mpoly_set_str_pretty(C + 1, "x2", NULL, ctxAC);