src/lalg/mat/sherman_morrison/lib.hpp - GCC Code Coverage Report

Directory:	./
Coverage:	low: ≥ 0% medium: ≥ 75.0% high: ≥ 90.0%

	Coverage	Exec / Excl / Total
Lines:	100.0%	65 / 0 / 65
Functions:	100.0%	5 / 0 / 5
Branches:	92.9%	65 / 0 / 70

Line	Branch	Exec	Source
1			#pragma once
2
3			#include "../../../util/alias/others/lib.hpp"
4
5			namespace tifa_libs {
6
7			template <class Mat, class T = TPN Mat::val_t>
8			requires std::same_as<T, TPN Mat::val_t>
9		25	CEXP void sherman_morrison(Mat& inv_A, vec<T> CR u, vec<T> CR v) NE {
10		25	cu32 n = inv_A.row();
11	5/10 void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&): ✗ Branch 1 not taken. ✓ Branch 2 taken 5 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&): ✗ Branch 1 not taken. ✓ Branch 2 taken 5 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&): ✗ Branch 1 not taken. ✓ Branch 2 taken 5 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&): ✗ Branch 1 not taken. ✓ Branch 2 taken 5 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&): ✗ Branch 1 not taken. ✓ Branch 2 taken 5 times.	25	assert(n == inv_A.col());
12		75	vec<T> x(n), y(n);
13	10/10 void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&): ✓ Branch 0 taken 104 times. ✓ Branch 1 taken 5 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&): ✓ Branch 0 taken 104 times. ✓ Branch 1 taken 5 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&): ✓ Branch 0 taken 104 times. ✓ Branch 1 taken 5 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&): ✓ Branch 0 taken 104 times. ✓ Branch 1 taken 5 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&): ✓ Branch 0 taken 104 times. ✓ Branch 1 taken 5 times.	545	flt_ (u32, i, 0, n)
14	10/10 void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&): ✓ Branch 0 taken 3016 times. ✓ Branch 1 taken 104 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&): ✓ Branch 0 taken 3016 times. ✓ Branch 1 taken 104 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&): ✓ Branch 0 taken 3016 times. ✓ Branch 1 taken 104 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&): ✓ Branch 0 taken 3016 times. ✓ Branch 1 taken 104 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&): ✓ Branch 0 taken 3016 times. ✓ Branch 1 taken 104 times.	15600	flt_ (u32, j, 0, n)
15		15080	x[i] += inv_A(i, j) * u[j], y[j] += v[i] * inv_A(i, j);
16		25	T sum = 1;
17	10/10 void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&): ✓ Branch 0 taken 104 times. ✓ Branch 1 taken 5 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&): ✓ Branch 0 taken 104 times. ✓ Branch 1 taken 5 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&): ✓ Branch 0 taken 104 times. ✓ Branch 1 taken 5 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&): ✓ Branch 0 taken 104 times. ✓ Branch 1 taken 5 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&): ✓ Branch 0 taken 104 times. ✓ Branch 1 taken 5 times.	545	flt_ (u32, i, 0, n)
18	10/10 void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&): ✓ Branch 6 taken 3016 times. ✓ Branch 7 taken 104 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&): ✓ Branch 6 taken 3016 times. ✓ Branch 7 taken 104 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&): ✓ Branch 6 taken 3016 times. ✓ Branch 7 taken 104 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&): ✓ Branch 6 taken 3016 times. ✓ Branch 7 taken 104 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&): ✓ Branch 6 taken 3016 times. ✓ Branch 7 taken 104 times.	15600	flt_ (u32, j, 0, n) sum += v[i] * inv_A(i, j) * u[j];
19	10/10 void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&): ✓ Branch 0 taken 104 times. ✓ Branch 1 taken 5 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&): ✓ Branch 0 taken 104 times. ✓ Branch 1 taken 5 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&): ✓ Branch 0 taken 104 times. ✓ Branch 1 taken 5 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&): ✓ Branch 0 taken 104 times. ✓ Branch 1 taken 5 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&): ✓ Branch 0 taken 104 times. ✓ Branch 1 taken 5 times.	545	flt_ (u32, i, 0, n)
20	10/10 void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&): ✓ Branch 6 taken 3016 times. ✓ Branch 7 taken 104 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&): ✓ Branch 6 taken 3016 times. ✓ Branch 7 taken 104 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&): ✓ Branch 6 taken 3016 times. ✓ Branch 7 taken 104 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&): ✓ Branch 6 taken 3016 times. ✓ Branch 7 taken 104 times. void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&): ✓ Branch 6 taken 3016 times. ✓ Branch 7 taken 104 times.	15600	flt_ (u32, j, 0, n) inv_A(i, j) -= x[i] * y[j] / sum;
21		25	}
22
23			} // namespace tifa_libs
24

1

#pragma once

2

3

#include "../../../util/alias/others/lib.hpp"

4

5

namespace tifa_libs {

6

7

template <class Mat, class T = TPN Mat::val_t>

8

requires std::same_as<T, TPN Mat::val_t>

9

25

CEXP void sherman_morrison(Mat& inv_A, vec<T> CR u, vec<T> CR v) NE {

10

25

cu32 n = inv_A.row();

11

5/10

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&):

✗ Branch 1 not taken.

✓ Branch 2 taken 5 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&):

✗ Branch 1 not taken.

✓ Branch 2 taken 5 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&):

✗ Branch 1 not taken.

✓ Branch 2 taken 5 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&):

✗ Branch 1 not taken.

✓ Branch 2 taken 5 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&):

✗ Branch 1 not taken.

✓ Branch 2 taken 5 times.

25

assert(n == inv_A.col());

12

75

vec<T> x(n), y(n);

13

10/10

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&):

✓ Branch 0 taken 104 times.

✓ Branch 1 taken 5 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&):

✓ Branch 0 taken 104 times.

✓ Branch 1 taken 5 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&):

✓ Branch 0 taken 104 times.

✓ Branch 1 taken 5 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&):

✓ Branch 0 taken 104 times.

✓ Branch 1 taken 5 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&):

✓ Branch 0 taken 104 times.

✓ Branch 1 taken 5 times.

545

flt_ (u32, i, 0, n)

14

10/10

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&):

✓ Branch 0 taken 3016 times.

✓ Branch 1 taken 104 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&):

✓ Branch 0 taken 3016 times.

✓ Branch 1 taken 104 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&):

✓ Branch 0 taken 3016 times.

✓ Branch 1 taken 104 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&):

✓ Branch 0 taken 3016 times.

✓ Branch 1 taken 104 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&):

✓ Branch 0 taken 3016 times.

✓ Branch 1 taken 104 times.

15600

flt_ (u32, j, 0, n)

15

15080

x[i] += inv_A(i, j) * u[j], y[j] += v[i] * inv_A(i, j);

16

25

T sum = 1;

17

10/10

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&):

✓ Branch 0 taken 104 times.

✓ Branch 1 taken 5 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&):

✓ Branch 0 taken 104 times.

✓ Branch 1 taken 5 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&):

✓ Branch 0 taken 104 times.

✓ Branch 1 taken 5 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&):

✓ Branch 0 taken 104 times.

✓ Branch 1 taken 5 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&):

✓ Branch 0 taken 104 times.

✓ Branch 1 taken 5 times.

545

flt_ (u32, i, 0, n)

18

10/10

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&):

✓ Branch 6 taken 3016 times.

✓ Branch 7 taken 104 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&):

✓ Branch 6 taken 3016 times.

✓ Branch 7 taken 104 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&):

✓ Branch 6 taken 3016 times.

✓ Branch 7 taken 104 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&):

✓ Branch 6 taken 3016 times.

✓ Branch 7 taken 104 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&):

✓ Branch 6 taken 3016 times.

✓ Branch 7 taken 104 times.

15600

flt_ (u32, j, 0, n) sum += v[i] * inv_A(i, j) * u[j];

19

10/10

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&):

✓ Branch 0 taken 104 times.

✓ Branch 1 taken 5 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&):

✓ Branch 0 taken 104 times.

✓ Branch 1 taken 5 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&):

✓ Branch 0 taken 104 times.

✓ Branch 1 taken 5 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&):

✓ Branch 0 taken 104 times.

✓ Branch 1 taken 5 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&):

✓ Branch 0 taken 104 times.

✓ Branch 1 taken 5 times.

545

flt_ (u32, i, 0, n)

20

10/10

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >, tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag>, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_2e61n1_tag> > > const&):

✓ Branch 6 taken 3016 times.

✓ Branch 7 taken 104 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md64_tag<55l> > > > const&):

✓ Branch 6 taken 3016 times.

✓ Branch 7 taken 104 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_md_tag<54l> > > > const&):

✓ Branch 6 taken 3016 times.

✓ Branch 7 taken 104 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms64_tag<3799912185593857ul> > > > const&):

✓ Branch 6 taken 3016 times.

✓ Branch 7 taken 104 times.

void tifa_libs::sherman_morrison<tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >, tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >(tifa_libs::matrix<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > >&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&, std::vector<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> >, std::allocator<tifa_libs::mint_impl_::mint<tifa_libs::mint_ms_tag<998244353ul> > > > const&):

✓ Branch 6 taken 3016 times.

✓ Branch 7 taken 104 times.

15600

flt_ (u32, j, 0, n) inv_A(i, j) -= x[i] * y[j] / sum;

21

25

}

22

23

} // namespace tifa_libs

24