linbox
|
LinBox fields, field wrappers, field construction tools. More...
Data Structures | |
class | FieldAbstract |
field base class. More... | |
class | FieldArchetype |
field specification and archetypical instance. More... | |
class | FieldEnvelope< Field > |
Derived class used to implement the field archetypeHelps to minimize code bloat. More... | |
class | FieldInterface |
This field base class exists solely to aid documentation organization. More... | |
class | RingCategories |
some basic information about each field or ring. More... | |
struct | GivaroField< LinBox::GF2 > |
give LinBox fields an allure of Givaro FieldsThis class adds the necessary requirements allowing the construction of an extension of a LinBox field. More... | |
struct | GivaroField< BaseField > |
give LinBox fields an allure of Givaro FieldsThis class adds the necessary requirements allowing the construction of an extension of a LinBox field or a givaro polynomial of a LinBox field ... More... | |
class | GivaroGfq |
Wrapper of Givaro's GFqDom<int32_t> class. More... | |
class | GivaroMontg |
wrapper of Givaro's ::Givaro::Montgomery< ::Givaro::Std32>. More... | |
class | GivaroZpz< TAG > |
wrapper of Givaro's ZpzDom. More... | |
class | Hom< Source, Target > |
map element of source ring(field) to target ringAn instance of Hom is a homomorphism from a ring of type Source to a ring (usually field) of type Target. More... | |
class | LidiaGfq |
defines the Galois Field GF(pk). More... | |
struct | Local2_32 |
Fast arithmetic mod 2^32, including gcd. More... | |
class | Modular< int8_t > |
Specialization of Modular to signed 8 bit element type with efficient dot product. More... | |
class | Modular< int32_t > |
Specialization of Modular to int32_t element type with efficient dot product. More... | |
class | Modular< int64_t > |
Specialization of Modular to int64_t element type with efficient dot product. More... | |
class | Modular< int16_t > |
Specialization of Modular to short element type with efficient dot product. More... | |
struct | NTL_zz_p |
long ints modulo a positive integer. More... | |
class | NTL_zz_pE |
for large cardinality, small prime. More... | |
struct | NTL_PID_zz_p |
extend Wrapper of zz_p from NTL. More... | |
class | ParamFuzzy |
Abstract parameterized field of "fuzzy" doubles. More... | |
class | PIR_ntl_ZZ_p |
extend Wrapper of ZZ_p from NTL. More... | |
Modules | |
LiDIA | |
NO DOC. | |
Modular | |
Modular Field is a representation of | |
Fields <!--for oldref Fields...--> | |
* | |
NTL | |
NO DOC. | |
UnparametricField | |
Unparameterized field adapter. | |
Files | |
file | field/archetype.h |
NO DOC. | |
file | givaro-extension.h |
NO DOC. | |
file | field/lidia-gfq.h |
LiDIA : NO DOC. | |
file | modular-balanced-double.h |
Balanced representation of | |
file | modular-balanced-float.h |
Balanced representation of | |
file | modular-balanced-int64.h |
Balanced representation of | |
file | field/modular-balanced.h |
Common header for any modular-balanced field. | |
file | modular-byte.h |
representation of | |
file | modular-crooked-double.h |
Crooked representation of | |
file | modular-double.h |
Standard representation of | |
file | modular-float.h |
representation of | |
file | modular-short.h |
representation of | |
file | field/modular.h |
A Modular field is a representations of | |
file | field/ntl-ZZ.h |
NO DOC. | |
file | ntl-ZZ_p.h |
NO DOC. | |
file | PID-double.h |
NO DOC. | |
file | PID-integer.h |
NO DOC. | |
NTL_ZZ_p | |
Arbitrary precision integers modulus a positive integer. While NTL allows any integer to serve as the modulus, only prime moduli yield fields. Therefore, while arthmetic operations may be valid for any modulus, only prime moduli are supported in this implementation. The primality of the modulus will not be checked, so it is the programmer's responsibility to supply a prime modulus. These specializations allow the UnparametricField template class to be used to wrap NTL's | |
template<> | |
NTL::ZZ_p & | Caster (NTL::ZZ_p &x, const integer &y) |
Initialization of field element from an integer. | |
template<> | |
NTL::ZZ_p & | Caster (NTL::ZZ_p &x, const double &y) |
Initialization of field element from an integer. | |
template<> | |
NTL::ZZ_p & | Caster (NTL::ZZ_p &x, const int &y) |
Initialization of field element from an integer. | |
template<> | |
NTL::ZZ_p & | Caster (NTL::ZZ_p &x, const unsigned long &y) |
Initialization of field element from an integer. | |
template<> | |
NTL::ZZ_p & | Caster (NTL::ZZ_p &x, const unsigned int &y) |
Initialization of field element from an integer. |
LinBox fields, field wrappers, field construction tools.
LinBox fields implement the concept which is specified in the field archetype.
Some implement a basic ring concept rather than a field (inv and div are partial functions). Ring representations with additional functions are also found in the ring directory.
NTL::ZZ_p& LinBox::Caster | ( | NTL::ZZ_p & | x, |
const integer & | y | ||
) |
Initialization of field element from an integer.
Behaves like C++ allocator construct. This function assumes the output field element x has already been constructed, but that it is not already initialized. This done by converting to a std::string : inefficient but correct.
x | field element to contain output (reference returned). |
y | integer. |
NTL::ZZ_p& LinBox::Caster | ( | NTL::ZZ_p & | x, |
const double & | y | ||
) |
Initialization of field element from an integer.
Behaves like C++ allocator construct. This function assumes the output field element x has already been constructed, but that it is not already initialized. This done by converting to a std::string : inefficient but correct.
x | field element to contain output (reference returned). |
y | integer. |
NTL::ZZ_p& LinBox::Caster | ( | NTL::ZZ_p & | x, |
const int & | y | ||
) |
Initialization of field element from an integer.
Behaves like C++ allocator construct. This function assumes the output field element x has already been constructed, but that it is not already initialized. This done by converting to a std::string : inefficient but correct.
x | field element to contain output (reference returned). |
y | integer. |
NTL::ZZ_p& LinBox::Caster | ( | NTL::ZZ_p & | x, |
const unsigned long & | y | ||
) |
Initialization of field element from an integer.
Behaves like C++ allocator construct. This function assumes the output field element x has already been constructed, but that it is not already initialized. This done by converting to a std::string : inefficient but correct.
x | field element to contain output (reference returned). |
y | integer. |
NTL::ZZ_p& LinBox::Caster | ( | NTL::ZZ_p & | x, |
const unsigned int & | y | ||
) |
Initialization of field element from an integer.
Behaves like C++ allocator construct. This function assumes the output field element x has already been constructed, but that it is not already initialized. This done by converting to a std::string : inefficient but correct.
x | field element to contain output (reference returned). |
y | integer. |