Givaro
Data Structures | Namespaces | Functions
modular-general.inl File Reference
#include <cmath>
#include <type_traits>
+ Include dependency graph for modular-general.inl:

Data Structures

struct  IntType< IsFloat >
 
struct  IntType< true >
 
struct  make_unsigned_int< T, Enable >
 
struct  make_signed_int< T, Enable >
 
struct  make_unsigned_int< T, typename std::enable_if< std::is_floating_point< T >::value >::type >
 
struct  make_signed_int< T, typename std::enable_if< std::is_floating_point< T >::value >::type >
 
struct  is_ruint< typename >
 
struct  is_ruint< RecInt::ruint< K > >
 
struct  is_same_ruint< typename, typename >
 
struct  is_same_ruint< RecInt::ruint< K >, RecInt::ruint< K > >
 
struct  is_smaller_ruint< typename, typename >
 
struct  is_smaller_ruint< RecInt::ruint< K >, RecInt::ruint< K+1 > >
 
struct  is_smaller_rint< typename, typename >
 
struct  is_smaller_rint< RecInt::rint< K >, RecInt::rint< K+1 > >
 
struct  RecInt_K< T >
 
struct  RecInt_K< RecInt::ruint< K > >
 
struct  RecInt_K< RecInt::rint< K > >
 
struct  is_rint< typename >
 
struct  is_rint< RecInt::rint< K > >
 
struct  is_same_rint< typename, typename >
 
struct  is_same_rint< RecInt::rint< K >, RecInt::rint< K > >
 

Namespaces

 Givaro
 Namespace in which the whole Givaro library resides.
 

Functions

template<typename Storage_t >
std::enable_if<!std::is_floating_point< Storage_t >::value, Storage_t & >::type extended_euclid (Storage_t &x, Storage_t &d, const Storage_t a, const Storage_t b)
 
template<typename Storage_t >
std::enable_if< std::is_floating_point< Storage_t >::value, Storage_t & >::type extended_euclid (Storage_t &x, Storage_t &d, const Storage_t a, const Storage_t b)
 Extended Euclidean algorithm computing only the Bezout coefficient for a. More...
 
template<typename Storage_t >
Storage_t & invext (Storage_t &x, Storage_t &d, const Storage_t a, const Storage_t b)
 Generalized inversion used by specialized Modular. More...
 
template<typename Storage_t >
Storage_t & invext (Storage_t &x, const Storage_t a, const Storage_t b)
 
template<typename Storage_t >
Storage_t invext (const Storage_t a, const Storage_t b)
 
template<typename Storage_t >
Storage_t & gcdext (Storage_t &d, Storage_t &u, Storage_t &v, const Storage_t a, const Storage_t b)
 Generalized extended GCD used by specialized Modular. More...