|
| 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.
|
| |
| 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.
|
| |
| 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.
|
| |