aboutsummaryrefslogtreecommitdiff
path: root/test/src/cm/test_p1363.c
blob: 7bdc6bea88d5ed9364ffe90f1543b6864d0f7e66 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
/*
 * ecgen, tool for generating Elliptic curve domain parameters
 * Copyright (C) 2017 J08nY
 */

#include <criterion/criterion.h>
#include "cm/p1363.h"
#include "test/default.h"

TestSuite(p1363, .init = default_setup, .fini = default_teardown);

Test(p1363, test_p1363_forms) {
	GEN D = stoi(71);
	p1363_form_t **forms;
	size_t nforms = p1363_forms(D, &forms);

	p1363_form_t expected[7] = {
	    {gen_1, gen_0, stoi(71)},     {stoi(3), gen_1, stoi(24)},
	    {stoi(3), gen_m1, stoi(24)},  {stoi(8), gen_1, stoi(9)},
	    {stoi(8), gen_m1, stoi(9)},   {stoi(5), stoi(2), stoi(15)},
	    {stoi(5), stoi(-2), stoi(15)}};
	cr_assert_eq(nforms, 7, );
	for (size_t i = 0; i < nforms; ++i) {
		cr_assert(equalii(forms[i]->A, expected[i].A), );
		cr_assert(equalii(forms[i]->B, expected[i].B), );
		cr_assert(equalii(forms[i]->C, expected[i].C), );
	}
}

Test(p1363, test_p1363_poly) {
	GEN D = stoi(71);
	p1363_form_t **forms;
	size_t nforms = p1363_forms(D, &forms);
	GEN WD = p1363_poly(D, forms, nforms);
	pari_printf("%Ps\n", WD);
}