math_nt_test.cc File Reference

Tests for Number Theory and Modular Arithmetic features. More...

#include <gtest/gtest.h>
#include <chrono>
#include <cstdlib>
#include <random>
#include <algorithm>
#include <numeric>
#include <modular_arithmetic.H>
#include <primality.H>
#include <pollard_rho.H>
#include <modular_combinatorics.H>
#include <modular_linalg.H>
#include <tpl_dynMat.H>

Include dependency graph for math_nt_test.cc:

Go to the source code of this file.

Functions
	TEST (MathNT, ModMulAndExp)
	TEST (MathNT, ExtGCDAndInv)
	TEST (MathNT, CRT)
	TEST (MathNT, MillerRabin)
	TEST (MathNT, PollardRho)
	TEST (MathNT, PerformanceRegression)
	TEST (MathNT, ModularCombinatorics)
	TEST (MathNT, ModularLinalg)
	TEST (MathNT, ModularSparseMatrix)
	TEST (MathNT, ModularSparseMatrixRowSwap)
	TEST (MathNT, ModularSparseMatrixSingular)

Detailed Description

Tests for Number Theory and Modular Arithmetic features.

Definition in file math_nt_test.cc.

Function Documentation

TEST() [1/11]

TEST	(	MathNT	,
		CRT
	)

Definition at line 83 of file math_nt_test.cc.

References Aleph::crt(), and Aleph::divide_and_conquer_partition_dp().

TEST() [2/11]

TEST	(	MathNT	,
		ExtGCDAndInv
	)

Definition at line 72 of file math_nt_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::mod_inv(), and y.

TEST() [3/11]

TEST	(	MathNT	,
		MillerRabin
	)

Definition at line 94 of file math_nt_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::miller_rabin(), and rng.

TEST() [4/11]

TEST	(	MathNT	,
		ModMulAndExp
	)

Definition at line 52 of file math_nt_test.cc.

References Aleph::divide_and_conquer_partition_dp(), m, Aleph::mod_exp(), and Aleph::mod_mul().

TEST() [5/11]

TEST	(	MathNT	,
		ModularCombinatorics
	)

Definition at line 176 of file math_nt_test.cc.

References Aleph::divide_and_conquer_partition_dp().

TEST() [6/11]

TEST	(	MathNT	,
		ModularLinalg
	)

Definition at line 196 of file math_nt_test.cc.

References Aleph::Array< T >::append(), Aleph::Modular_Matrix< MatrixT >::determinant(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Modular_Matrix< MatrixT >::inverse().

TEST() [7/11]

TEST	(	MathNT	,
		ModularSparseMatrix
	)

Definition at line 217 of file math_nt_test.cc.

References Aleph::Modular_Matrix< MatrixT >::determinant(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Modular_Matrix< MatrixT >::inverse().

TEST() [8/11]

TEST	(	MathNT	,
		ModularSparseMatrixRowSwap
	)

Definition at line 240 of file math_nt_test.cc.

References Aleph::Modular_Matrix< MatrixT >::determinant(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Modular_Matrix< MatrixT >::inverse().

TEST() [9/11]

TEST	(	MathNT	,
		ModularSparseMatrixSingular
	)

Definition at line 266 of file math_nt_test.cc.

References Aleph::Modular_Matrix< MatrixT >::determinant(), Aleph::divide_and_conquer_partition_dp(), and Aleph::Modular_Matrix< MatrixT >::inverse().

TEST() [10/11]

TEST	(	MathNT	,
		PerformanceRegression
	)

Definition at line 152 of file math_nt_test.cc.

References Aleph::divide_and_conquer_partition_dp(), and Aleph::pollard_rho().

TEST() [11/11]

TEST	(	MathNT	,
		PollardRho
	)

Definition at line 121 of file math_nt_test.cc.

References Aleph::divide_and_conquer_partition_dp(), Aleph::miller_rabin(), Aleph::pollard_rho(), and rng.