field-traits.h File Reference

Field Traits. More...

#include <type_traits>
#include "fflas-ffpack/field/rns-double-elt.h"
#include "recint/rmint.h"
#include "givaro/modular-general.h"
#include "givaro/zring.h"

Data Structures
struct	GenericTag
	generic ring. More...
struct	ModularTag
	This is a modular field like e.g. Modular<T> or ModularBalanced<T> More...
struct	UnparametricTag
	If the field uses a representation with infix operators. More...
struct	DefaultTag
	No specific mode of action: use standard field operations. More...
struct	DefaultBoundedTag
	Use standard field operations, but keeps track of bounds on input and output. More...
struct	ConvertTo< T >
	Force conversion to appropriate element type of ElementCategory T. More...
struct	DelayedTag
	Performs field operations with delayed mod reductions. Ensures result is reduced. More...
struct	LazyTag
	Performs field operations with delayed mod only when necessary. Result may not be reduced. More...
struct	GenericTag
	default is generic More...
struct	MachineFloatTag
	float or double More...
struct	MachineIntTag
	short, int, long, long long, and unsigned variants More...
struct	FixedPrecIntTag
	Fixed precision integers above machine precision: Givaro::recInt. More...
struct	ArbitraryPrecIntTag
	Arbitrary precision integers: GMP. More...
struct	RNSElementTag
	Representation in a Residue Number System. More...
struct	ElementTraits< Element >
	ElementTraits. More...
struct	ElementTraits< float >
struct	ElementTraits< double >
struct	ElementTraits< int8_t >
struct	ElementTraits< int16_t >
struct	ElementTraits< int32_t >
struct	ElementTraits< int64_t >
struct	ElementTraits< uint8_t >
struct	ElementTraits< uint16_t >
struct	ElementTraits< uint32_t >
struct	ElementTraits< uint64_t >
struct	ElementTraits< Givaro::Integer >
struct	ElementTraits< RecInt::rint< K > >
struct	ElementTraits< RecInt::ruint< K > >
struct	ElementTraits< RecInt::rmint< K, MG > >
struct	ElementTraits< FFPACK::rns_double_elt >
struct	ModeTraits< Field >
	ModeTraits. More...
struct	ModeTraits< Givaro::Modular< Element, Compute > >
struct	ModeTraits< Givaro::Modular< int64_t, uint64_t > >
struct	ModeTraits< Givaro::Modular< int8_t, Compute > >
struct	ModeTraits< Givaro::Modular< int16_t, Compute > >
struct	ModeTraits< Givaro::Modular< int32_t, Compute > >
struct	ModeTraits< Givaro::Modular< uint8_t, Compute > >
struct	ModeTraits< Givaro::Modular< uint16_t, Compute > >
struct	ModeTraits< Givaro::Modular< uint32_t, Compute > >
struct	ModeTraits< Givaro::Modular< Givaro::Integer, Compute > >
struct	ModeTraits< Givaro::Modular< RecInt::ruint< K >, Compute > >
struct	ModeTraits< Givaro::ModularBalanced< Element > >
struct	ModeTraits< Givaro::ModularBalanced< int8_t > >
struct	ModeTraits< Givaro::ModularBalanced< int16_t > >
struct	ModeTraits< Givaro::ModularBalanced< int32_t > >
struct	ModeTraits< Givaro::ModularBalanced< Givaro::Integer > >
struct	ModeTraits< Givaro::ZRing< Givaro::Integer > >
struct	ModeTraits< Givaro::ZRing< float > >
struct	ModeTraits< Givaro::ZRing< double > >
struct	ModeTraits< Givaro::Montgomery< T > >
struct	FieldTraits< Field >
	FieldTrait. More...
struct	FieldTraits< Givaro::ZRing< RecInt::ruint< K > > >
struct	FieldTraits< Givaro::Modular< Element > >
struct	FieldTraits< Givaro::ModularBalanced< Element > >
struct	FieldTraits< Givaro::ZRing< double > >
struct	FieldTraits< Givaro::ZRing< float > >
struct	FieldTraits< Givaro::ZRing< int16_t > >
struct	FieldTraits< Givaro::ZRing< uint16_t > >
struct	FieldTraits< Givaro::ZRing< int32_t > >
struct	FieldTraits< Givaro::ZRing< uint32_t > >
struct	FieldTraits< Givaro::ZRing< int64_t > >
struct	FieldTraits< Givaro::ZRing< uint64_t > >
struct	FieldTraits< Givaro::ZRing< Givaro::Integer > >
struct	FieldTraits< FFPACK::RNSInteger< T > >
struct	FieldTraits< FFPACK::RNSIntegerMod< T > >
struct	associatedDelayedField< Field >
struct	associatedDelayedField< const Givaro::Modular< T, X > >
struct	associatedDelayedField< const Givaro::ModularBalanced< T > >
struct	associatedDelayedField< const Givaro::ZRing< T > >
struct	associatedDelayedField< const FFPACK::RNSIntegerMod< RNS > >

Namespaces
namespace	RecInt
namespace	Givaro
namespace	FFPACK
	Finite Field PACK Set of elimination based routines for dense linear algebra.
namespace	FFLAS
namespace	FFLAS::FieldCategories
	Traits and categories will need to be placed in a proper file later.
namespace	FFLAS::ModeCategories
	Specifies the mode of action for an algorithm w.r.t.
namespace	FFLAS::ElementCategories

Functions
template<class Field , class enable = void>
Field::Residu_t	maxCardinality ()
template<>
uint64_t	maxCardinality< Givaro::Modular< int64_t > > ()
template<>
uint32_t	maxCardinality< Givaro::Modular< int32_t > > ()
template<class Field >
Field::Residu_t	minCardinality ()

Detailed Description

Field Traits.