void test_num_negate(void) { secp256k1_num_t n1; secp256k1_num_t n2; random_num_order_test(&n1); /* n1 = R */ random_num_negate(&n1); secp256k1_num_copy(&n2, &n1); /* n2 = R */ secp256k1_num_sub(&n1, &n2, &n1); /* n1 = n2-n1 = 0 */ CHECK(secp256k1_num_is_zero(&n1)); secp256k1_num_copy(&n1, &n2); /* n1 = R */ secp256k1_num_negate(&n1); /* n1 = -R */ CHECK(!secp256k1_num_is_zero(&n1)); secp256k1_num_add(&n1, &n2, &n1); /* n1 = n2+n1 = 0 */ CHECK(secp256k1_num_is_zero(&n1)); secp256k1_num_copy(&n1, &n2); /* n1 = R */ secp256k1_num_negate(&n1); /* n1 = -R */ CHECK(secp256k1_num_is_neg(&n1) != secp256k1_num_is_neg(&n2)); secp256k1_num_negate(&n1); /* n1 = R */ CHECK(secp256k1_num_eq(&n1, &n2)); }
void test_num_copy_inc_cmp(void) { secp256k1_num_t n1,n2; random_num_order(&n1); secp256k1_num_copy(&n2, &n1); CHECK(secp256k1_num_eq(&n1, &n2)); CHECK(secp256k1_num_eq(&n2, &n1)); secp256k1_num_inc(&n2); CHECK(!secp256k1_num_eq(&n1, &n2)); CHECK(!secp256k1_num_eq(&n2, &n1)); }
void test_num_copy_inc_cmp() { secp256k1_num_t n1,n2; secp256k1_num_init(&n1); secp256k1_num_init(&n2); random_num_order(&n1); secp256k1_num_copy(&n2, &n1); assert(secp256k1_num_cmp(&n1, &n2) == 0); assert(secp256k1_num_cmp(&n2, &n1) == 0); secp256k1_num_inc(&n2); assert(secp256k1_num_cmp(&n1, &n2) != 0); assert(secp256k1_num_cmp(&n2, &n1) != 0); secp256k1_num_free(&n1); secp256k1_num_free(&n2); }
void test_num_negate() { secp256k1_num_t n1; secp256k1_num_t n2; secp256k1_num_init(&n1); secp256k1_num_init(&n2); random_num_order_test(&n1); // n1 = R random_num_negate(&n1); secp256k1_num_copy(&n2, &n1); // n2 = R secp256k1_num_sub(&n1, &n2, &n1); // n1 = n2-n1 = 0 assert(secp256k1_num_is_zero(&n1)); secp256k1_num_copy(&n1, &n2); // n1 = R secp256k1_num_negate(&n1); // n1 = -R assert(!secp256k1_num_is_zero(&n1)); secp256k1_num_add(&n1, &n2, &n1); // n1 = n2+n1 = 0 assert(secp256k1_num_is_zero(&n1)); secp256k1_num_copy(&n1, &n2); // n1 = R secp256k1_num_negate(&n1); // n1 = -R assert(secp256k1_num_is_neg(&n1) != secp256k1_num_is_neg(&n2)); secp256k1_num_negate(&n1); // n1 = R assert(secp256k1_num_cmp(&n1, &n2) == 0); assert(secp256k1_num_is_neg(&n1) == secp256k1_num_is_neg(&n2)); secp256k1_num_free(&n2); secp256k1_num_free(&n1); }