aboutsummaryrefslogtreecommitdiff
path: root/test/src/math/test_subgroups.c
diff options
context:
space:
mode:
authorJ08nY2018-03-03 01:02:08 +0100
committerJ08nY2018-03-03 01:02:08 +0100
commitac60f78a253efde94cab36264b0555b0691fdd8a (patch)
tree12ce2bfdee1f13f0b6e56a017c3c29979475fe02 /test/src/math/test_subgroups.c
parent40cbb213ac910ddcaf22a26a247d2a9eeddca1fc (diff)
downloadecgen-ac60f78a253efde94cab36264b0555b0691fdd8a.tar.gz
ecgen-ac60f78a253efde94cab36264b0555b0691fdd8a.tar.zst
ecgen-ac60f78a253efde94cab36264b0555b0691fdd8a.zip
Rewrite generator and point generation code.
Diffstat (limited to 'test/src/math/test_subgroups.c')
-rw-r--r--test/src/math/test_subgroups.c73
1 files changed, 0 insertions, 73 deletions
diff --git a/test/src/math/test_subgroups.c b/test/src/math/test_subgroups.c
deleted file mode 100644
index f944a4f..0000000
--- a/test/src/math/test_subgroups.c
+++ /dev/null
@@ -1,73 +0,0 @@
-/*
- * ecgen, tool for generating Elliptic curve domain parameters
- * Copyright (C) 2017 J08nY
- */
-#include <criterion/criterion.h>
-#include "gen/point.h"
-#include "math/subgroups.h"
-#include "test/default.h"
-
-TestSuite(subgroups, .init = default_setup, .fini = default_teardown);
-
-Test(subgroups, test_prime_factors) {
- curve_t curve = {.order = stoi(12)};
- cfg->prime = false;
- GEN divs = subgroups_prime(&curve);
- GEN vec = mkvec2s(2, 3);
- cr_assert(gequal(divs, vec), "Factors not equal!");
-}
-
-Test(subgroups, test_prime_factors_other) {
- curve_t curve = {.order = stoi(27)};
- cfg->prime = false;
- GEN divs = subgroups_prime(&curve);
- GEN vec = gtovec(stoi(3));
- cr_assert(gequal(divs, vec), "Factors not equal!");
-}
-
-Test(subgroups, test_prime_prime) {
- curve_t curve = {.order = stoi(5)};
- cfg->prime = true;
- GEN divs = subgroups_prime(&curve);
- GEN vec = gtovec(stoi(5));
- cr_assert(gequal(divs, vec), "Factors not equal!");
-}
-
-Test(subgroups, test_nonprime_factors) {
- // curve = ellinit([1, 3], 23), order = 27
- curve_t curve = {.order = stoi(27), .ngens = 1};
- cfg->prime = false;
- GEN divs = subgroups_nonprime(&curve);
- GEN vec = mkvec2s(9, 27);
- cr_assert(gequal(divs, vec), "Factors not equal!");
-}
-
-Test(subgroups, test_all_factors) {
- // curve = ellinit([1, 3], 23), order = 27
- curve_t curve = {.order = stoi(27), .ngens = 1};
- cfg->prime = false;
- GEN divs = subgroups_all(&curve);
- GEN vec = mkvec3s(3, 9, 27);
- cr_assert(gequal(divs, vec), "Factors not equal!");
-}
-
-Test(subgroups, test_all_factors_two_gens) {
- // curve = ellinit([2, 3], 23), order = 24
- point_t **gens = points_new(2);
- gens[0] = point_new();
- gens[0]->order = stoi(12);
- gens[0]->cofactor = stoi(2);
- gens[0]->point = mkvec2(mkintmodu(6, 23), mkintmodu(1, 23));
- gens[1] = point_new();
- gens[1]->order = stoi(6);
- gens[1]->cofactor = stoi(4);
- gens[1]->point = mkvec2(mkintmodu(20, 23), mkintmodu(19, 23));
-
- curve_t curve = {.order = stoi(24), .ngens = 2, .generators = gens};
- cfg->prime = false;
- GEN divs = subgroups_all(&curve);
- GEN vec = mkvecn(8, stoi(2), stoi(3), stoi(4), stoi(6), stoi(12), stoi(2),
- stoi(3), stoi(6));
- cr_assert(gequal(divs, vec), "Factors not equal!");
- points_free_deep(&gens, 2);
-}