gtest coverage for the FLINT-backed M2::ARingZZ integer aring. More...

#include <cstdio>
#include <string>
#include <iostream>
#include <sstream>
#include <memory>
#include <gtest/gtest.h>
#include <mpfr.h>
#include "aring-zz-flint.hpp"
#include "ARingTest.hpp"

Functions
gmp_ZZ	getRandomInteger ()
template<>
void	getElement< M2::ARingZZ > (const M2::ARingZZ &R, int index, M2::ARingZZ::ElementType &result)
	TEST (ARingZZ, create)
	TEST (ARingZZ, arithmetic)

Detailed Description

gtest coverage for the FLINT-backed M2::ARingZZ integer aring.

Note: AI-generated documentation. Verify against the source before relying on it.

Plugs M2::ARingZZ into the shared ARingTest.hpp harness and provides the getElement<M2::ARingZZ> specialisation: the first 50 indices give the deterministic [-25, 24] prefix that pins down zero, plus/minus one, and the immediately-around-zero edge cases, and the remainder draws from the file-scoped getRandomInteger() defined over in ARingZZpTest.cpp (the random source is shared so the test suite stays reproducible across the ARingZZ* family). gmp_ZZ arrives via set_from_mpz, so the FLINT-side conversion is exercised in every trial.

Companion files ARingZZpTest.cpp, ARingQQGmpTest.cpp, and ARingQQFlintTest.cpp (covered by the same file-aring-zz-tests markdown) follow the same template against Z/p, GMP rationals, and FLINT rationals; cross- backend agreement between the GMP and FLINT rational suites is the standard regression guard when either backend ships an update.

See also: ARingTest.hpp; aring-zz-flint.hpp; ARingZZpTest.cpp; ARingQQFlintTest.cpp

Definition in file ARingZZTest.cpp.

Functions

Detailed Description