aboutsummaryrefslogtreecommitdiffstats
path: root/src/zmodpowu.c
blob: 7fb2c3d849545ed6c75be089b83a7e813e6938a7 (plain) (blame)
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
/* See LICENSE file for copyright and license details. */
#include "internals.h"

#define tb  libzahl_tmp_pow_b
#define td  libzahl_tmp_pow_d


void
zmodpowu(z_t a, z_t b, unsigned long long int c, z_t d)
{
	if (!c) {
		if (zzero(b))
			FAILURE(EDOM); /* Indeterminate form: 0:th power of 0 */
		else if (zzero(d))
			FAILURE(EDOM); /* Undefined form: Division by 0 */
		else
			zsetu(a, 1);
		return;
	} else if (zzero(d)) {
		FAILURE(EDOM); /* Undefined form: Division by 0 */
	} else if (zzero(b)) {
		SET_SIGNUM(a, 0);
		return;
	}

	zmod(tb, b, d);
	zset(td, d);
	zsetu(a, 1);

	for (; c; c >>= 1) {
		if (c & 1)
			zmodmul(a, a, tb, td);
		zmodsqr(tb, tb, td);
	}
}