Adapted-upstream Givaro smoke test exercising modular, montgomery, gfq, gfqext templates. More...

#include <iostream>
#include <givaro/modular.h>
#include <givaro/montgomery.h>
#include <givaro/gfq.h>
#include <givaro/gfqext.h>
#include <sys/time.h>
#include <sys/resource.h>

Functions
template<class Field>
void	TestField (const Field &F)
int	main (int argc, char **argv)

Detailed Description

Adapted-upstream Givaro smoke test exercising modular, montgomery, gfq, gfqext templates.

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

Carries a templated TestField<Field>(F) that runs the standard arithmetic / axpy / maxpy battery against any Givaro field type, then instantiates it for the four Givaro-shipped variants the engine ever consumes (Modular<>, Montgomery<>, GFqDom<>, GFqExt<>). Code is adapted from Givaro's own example tests (note the file-header typo (c) 994-2009) and lives in M2's tree so the engine's CI catches Givaro packaging regressions before they reach ARingGFGivaro.

Companion to ARingGFTest.cpp (both under the file-aring-gf-tests markdown): that file tests the FLINT-backed M2 GF arings, this one is the upstream-library canary. If GivaroTest fails, the problem is in Givaro itself or the linker recipe, not in any M2 wrapper.

See also: ARingGFTest.cpp; aring-gf-flint.hpp

Definition in file GivaroTest.cpp.

Functions

Detailed Description