Skip to content

Commit d7ba56d

Browse files
committed
Make div3 conditioned to p = 1 mod 3.
1 parent 36a8385 commit d7ba56d

File tree

1 file changed

+9
-7
lines changed

1 file changed

+9
-7
lines changed

test/test_fp.c

Lines changed: 9 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -633,13 +633,15 @@ static int doubling_halving_trisecting(void) {
633633
} TEST_END;
634634
#endif
635635

636-
TEST_CASE("trisecting is consistent") {
637-
fp_rand(a);
638-
fp_dbl(b, a);
639-
fp_add(b, b, a);
640-
fp_trs(c, b);
641-
TEST_ASSERT(fp_cmp(a, c) == RLC_EQ, end);
642-
} TEST_END;
636+
if (fp_prime_get_mod18() % 3 == 1) {
637+
TEST_CASE("trisecting is consistent") {
638+
fp_rand(a);
639+
fp_dbl(b, a);
640+
fp_add(b, b, a);
641+
fp_trs(c, b);
642+
TEST_ASSERT(fp_cmp(a, c) == RLC_EQ, end);
643+
} TEST_END;
644+
}
643645
}
644646
RLC_CATCH_ANY {
645647
util_print("FATAL ERROR!\n");

0 commit comments

Comments
 (0)