aboutsummaryrefslogtreecommitdiffstats
path: root/moon-abe/pbc-0.5.14/guru/fp_test.c
diff options
context:
space:
mode:
authorwukong <rebirthmonkey@gmail.com>2015-11-23 17:48:48 +0100
committerwukong <rebirthmonkey@gmail.com>2015-11-23 17:48:48 +0100
commitfca74d4bc3569506a6659880a89aa009dc11f552 (patch)
tree4cefd06af989608ea8ebd3bc6306889e2a1ad175 /moon-abe/pbc-0.5.14/guru/fp_test.c
parent840ac3ebca7af381132bf7e93c1e4c0430d6b16a (diff)
moon-abe cleanup
Change-Id: Ie1259856db03f0b9e80de3e967ec6bd1f03191b3
Diffstat (limited to 'moon-abe/pbc-0.5.14/guru/fp_test.c')
-rw-r--r--moon-abe/pbc-0.5.14/guru/fp_test.c95
1 files changed, 0 insertions, 95 deletions
diff --git a/moon-abe/pbc-0.5.14/guru/fp_test.c b/moon-abe/pbc-0.5.14/guru/fp_test.c
deleted file mode 100644
index 613b4af7..00000000
--- a/moon-abe/pbc-0.5.14/guru/fp_test.c
+++ /dev/null
@@ -1,95 +0,0 @@
-// Test F_p.
-
-#include "pbc.h"
-#include "pbc_fp.h"
-#include "pbc_test.h"
-
-int main(void) {
- field_t fp;
- mpz_t prime;
- mpz_t m, n;
-
- mpz_init(prime);
- mpz_init(n);
- mpz_init(m);
- mpz_set_ui(prime, 100000);
- mpz_setbit(prime, 33);
- mpz_nextprime(prime, prime);
-
- field_init_fp(fp, prime);
-
- element_t x, y, z;
- element_init(x, fp);
- element_init(y, fp);
- element_init(z, fp);
-
- long a = 123, b = 456;
-
- // Conversion to and from signed long.
- EXPECT(0 == element_to_si(z));
- element_set1(z);
- EXPECT(1 == element_to_si(z));
- element_set0(z);
- EXPECT(0 == element_to_si(z));
- element_set_si(x, a);
- EXPECT(a == element_to_si(x));
- element_set_si(y, b);
- EXPECT(b == element_to_si(y));
- // Assignment, comparison.
- EXPECT(!element_cmp(x, x));
- EXPECT(element_cmp(x, y));
- EXPECT(element_cmp(z, x));
- element_set(z, x);
- EXPECT(!element_cmp(z, x));
- // Arithmetic operations.
- element_add(z, x, y);
- EXPECT(a + b == element_to_si(z));
- element_mul(z, x, y);
- EXPECT(a * b == element_to_si(z));
- element_sub(z, y, x);
- EXPECT(b - a == element_to_si(z));
- element_set_mpz(z, prime);
- EXPECT(!element_to_si(z));
- element_sub(z, z, x);
- element_to_mpz(n, z);
- mpz_add_ui(n, n, a);
- EXPECT(!mpz_cmp(n, prime));
- element_invert(z, x);
- element_to_mpz(m, z);
- mpz_set_ui(n, a);
- mpz_invert(n, n, prime);
- EXPECT(!mpz_cmp(m, n));
- element_invert(z, z);
- EXPECT(!element_cmp(x, z));
- element_div(z, y, x);
- element_to_mpz(m, z);
- mpz_mul_ui(n, n, b);
- mpz_mod(n, n, prime);
- EXPECT(!mpz_cmp(m, n));
- // Exponentiation.
- element_pow_zn(z, x, y);
- element_to_mpz(m, z);
- mpz_set_si(n, a);
- mpz_powm_ui(n, n, b, prime);
- EXPECT(!mpz_cmp(m, n));
- // Preprocessed exponentiation.
- element_pp_t p;
- element_pp_init(p, x);
- element_pp_pow_zn(z, y, p);
- element_pp_clear(p);
- element_to_mpz(m, z);
- EXPECT(!mpz_cmp(m, n));
-
- element_from_hash(z, NULL, 0);
- element_from_hash(x, NULL, 0);
- EXPECT(!element_cmp(z, x));
-
- element_clear(x);
- element_clear(y);
- element_clear(z);
- field_clear(fp);
- mpz_clear(prime);
- mpz_clear(m);
- mpz_clear(n);
- return pbc_err_count;
-}