#include <iostream>
#include <givaro/givinteger.h>
#include <givaro/givpoly1.h>
#include <givaro/givfractiondomain.h>
#include <givaro/modular-integral.h>

Include dependency graph for test-ratrecon.C:

Macros
#define	TEST_EQ(F, a, b)

Functions
template<class RingDomain , class BoundingStathme >
int	TestRR (RingDomain &RDom, GivRandom &generator, const typename RingDomain::Element &M, const typename RingDomain::Element &P, const typename RingDomain::Element &Q, const BoundingStathme &d)

int	TestRatRR (GivRandom &generator, const size_t b)

template<class PDomain >
int	TestPolRR (PDomain &PolDom, GivRandom &generator, const Degree d)

int	main (int argc, char **argv)

Macro Definition Documentation

◆ TEST_EQ

#define TEST_EQ	(	F,
		a,
		b
	)

Value:

if (!F.areEqual((a),(b))) {\
    F.write( F.write(std::cout,a) << "!=",b) << " failed (at line " <<  __LINE__ << ')' << std::endl; \
    return(-1); \
}

Function Documentation

◆ TestRR()

int TestRR	(	RingDomain &	RDom,
		GivRandom &	generator,
		const typename RingDomain::Element &	M,
		const typename RingDomain::Element &	P,
		const typename RingDomain::Element &	Q,
		const BoundingStathme &	d
	)

◆ TestRatRR()

int TestRatRR	(	GivRandom &	generator,
		const size_t	b
	)

◆ TestPolRR()

int TestPolRR	(	PDomain &	PolDom,
		GivRandom &	generator,
		const Degree	d
	)

◆ main()

int main	(	int	argc,
		char **	argv
	)

Macros