summaryrefslogtreecommitdiff
path: root/content/math/transforms/seriesOperations.cpp
blob: 3d8aa11a726caef14b414605275c832858e60a96 (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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
vector<ll> poly_inv(const vector<ll>& a, int n) {
	vector<ll> q = {powMod(a[0], mod-2, mod)};
	for (int len = 1; len < n; len *= 2){
		vector<ll> a2 = a, q2 = q;
		a2.resize(2*len), q2.resize(2*len);
		ntt(q2);
		for (int _ : {0, 1}) {
			ntt(a2);
			for (int i = 0; i < 2*len; i++) a2[i] = a2[i]*q2[i] % mod;
			ntt(a2, true);
			for (int i = 0; i < len; i++) a2[i] = 0;
		}
		for (int i = len; i < min(n, 2*len); i++) {
			q.push_back((mod - a2[i]) % mod);
	}}
	return q;
}

vector<ll> poly_deriv(vector<ll> a) {
	for (int i = 1; i < ssize(a); i++)
		a[i-1] = a[i] * i % mod;
	a.pop_back();
	return a;
}

vector<ll> poly_integr(vector<ll> a) {
	static vector<ll> inv = {0, 1};
	for (static int i = 2; i <= ssize(a); i++)
		inv.push_back(mod - mod / i * inv[mod % i] % mod);

	a.push_back(0);
	for (int i = ssize(a) - 1; i > 0; i--)
		a[i] = a[i-1] * inv[i] % mod;
	a[0] = 0;
	return a;
}

vector<ll> poly_log(vector<ll> a, int n) {
	a = mul(poly_deriv(a), poly_inv(a, n));
	a.resize(n-1);
	return poly_integr(a);
}

vector<ll> poly_exp(vector<ll> a, int n) {
	vector<ll> q = {1};
	for (int len = 1; len < n; len *= 2) {
		vector<ll> p = poly_log(q, 2*len);
		for (int i = 0; i < 2*len; i++)
			p[i] = (mod - p[i] + (i < ssize(a) ? a[i] : 0)) % mod;
		vector<ll> q2 = q;
		q2.resize(2*len);
		ntt(p), ntt(q2);
		for (int i = 0; i < 2*len; i++) p[i] = p[i] * q2[i] % mod;
		ntt(p, true);
		for (int i = len; i < min(n, 2*len); i++) q.push_back(p[i]);
	}
	return q;
}