|
| Integer & | Fibonacci (Integer &r, Integer &t, const uint64_t n) |
| |
| Integer & | Fibonacci (Integer &t, const uint64_t n) |
| |
| std::ostream & | operator<< (std::ostream &o, const Bits &a) |
| |
| template<class T1, class T2> |
| std::ostream & | operator<< (std::ostream &o, const Pair< T1, T2 > &p) |
| | IO.
|
| |
| template<class T1, class T2> |
| std::istream & | operator>> (std::istream &fin, Pair< T1, T2 > &p) |
| | IO.
|
| |
| template<class Rt> |
| Rt | FF_EXPONENT_MAX (const Rt p, const Rt maxe=21) |
| | XXX.
|
| |
| template<class Rt> |
| Rt | FF_SUBEXPONENT_MAX (const Rt p, const Rt e) |
| | XXX.
|
| |
| template<typename Field> |
| int64_t | Exponent_Trait (const Field &F) |
| | XXX.
|
| |
| template<> |
| int64_t | Exponent_Trait (const GFqDom< int64_t > &F) |
| | XXX.
|
| |
| template<typename BaseField> |
| int64_t | Exponent_Trait (const Extension< BaseField > &F) |
| | XXX.
|
| |
| Integer & | inv (Integer &u, const Integer &a, const Integer &b) |
| | Modular inverse.
|
| |
| Integer & | invin (Integer &u, const Integer &b) |
| |
| Integer | gcd (const Integer &a, const Integer &b) |
| |
| Integer | gcd (Integer &u, Integer &v, const Integer &a, const Integer &b) |
| |
| Integer & | gcd (Integer &g, const Integer &a, const Integer &b) |
| |
| Integer & | gcd (Integer &g, Integer &u, Integer &v, const Integer &a, const Integer &b) |
| |
| Integer | pp (const Integer &P, const Integer &Q) |
| |
| Integer & | lcm (Integer &g, const Integer &a, const Integer &b) |
| |
| Integer | lcm (const Integer &a, const Integer &b) |
| |
| Integer & | pow (Integer &Res, const Integer &n, const int64_t l) |
| |
| Integer & | pow (Integer &Res, const uint64_t n, const uint64_t l) |
| |
| Integer & | pow (Integer &Res, const Integer &n, const uint64_t l) |
| |
| Integer & | pow (Integer &Res, const Integer &n, const int32_t l) |
| |
| Integer & | pow (Integer &Res, const Integer &n, const uint32_t l) |
| |
| Integer | pow (const Integer &n, const int64_t l) |
| |
| Integer | pow (const Integer &n, const uint64_t l) |
| |
| Integer | pow (const Integer &n, const int32_t l) |
| |
| Integer | pow (const Integer &n, const uint32_t l) |
| |
| Integer & | powmod (Integer &Res, const Integer &n, const uint64_t e, const Integer &m) |
| |
| Integer & | powmod (Integer &Res, const Integer &n, const int64_t e, const Integer &m) |
| |
| Integer & | powmod (Integer &Res, const Integer &n, const uint32_t e, const Integer &m) |
| |
| Integer & | powmod (Integer &Res, const Integer &n, const int32_t e, const Integer &m) |
| |
| Integer & | powmod (Integer &Res, const Integer &n, const Integer &e, const Integer &m) |
| |
| Integer | powmod (const Integer &n, const uint64_t e, const Integer &m) |
| |
| Integer | powmod (const Integer &n, const int64_t e, const Integer &m) |
| |
| Integer | powmod (const Integer &n, const uint32_t e, const Integer &m) |
| |
| Integer | powmod (const Integer &n, const int32_t e, const Integer &m) |
| |
| Integer | powmod (const Integer &n, const Integer &e, const Integer &m) |
| |
| int32_t | sign (const Integer &a) |
| |
| int32_t | compare (const Integer &a, const Integer &b) |
| |
| int32_t | absCompare (const Integer &a, const Integer &b) |
| |
| int32_t | absCompare (const Integer &a, const double b) |
| |
| int32_t | absCompare (const Integer &a, const float b) |
| |
| int32_t | absCompare (const Integer &a, const uint64_t b) |
| |
| int32_t | absCompare (const Integer &a, const unsigned b) |
| |
| int32_t | absCompare (const Integer &a, const int64_t b) |
| |
| int32_t | absCompare (const Integer &a, const int32_t b) |
| |
| template<class T> |
| int32_t | absCompare (const T a, const Integer &b) |
| |
| int32_t | isZero (const Integer &a) |
| |
| int32_t | nonZero (const Integer &a) |
| |
| int32_t | isOne (const Integer &a) |
| |
| int32_t | isMOne (const Integer &a) |
| |
| Integer | fact (uint64_t l) |
| |
| Integer | sqrt (const Integer &p) |
| |
| Integer | sqrtrem (const Integer &p, Integer &rem) |
| |
| Integer & | sqrt (Integer &r, const Integer &p) |
| |
| Integer & | sqrtrem (Integer &r, const Integer &p, Integer &rem) |
| |
| bool | root (Integer &q, const Integer &a, uint32_t n) |
| |
| int64_t | logp (const Integer &a, const Integer &p) |
| |
| double | logtwo (const Integer &a) |
| |
| double | naturallog (const Integer &a) |
| |
| void | swap (Integer &a, Integer &b) |
| |
| int32_t | isperfectpower (const Integer &n) |
| |
| Integer | abs (const Integer &n) |
| |
| int32_t | jacobi (const Integer &u, const Integer &v) |
| |
| int32_t | legendre (const Integer &u, const Integer &v) |
| |
| bool | isOdd (const Integer &a) |
| | Tests parity of an integer.
|
| |
| uint64_t | length (const Integer &a) |
| |
| std::istream & | operator>> (std::istream &i, Integer &n) |
| |
| std::ostream & | operator<< (std::ostream &o, const Integer &n) |
| |
| std::ostream & | absOutput (std::ostream &o, const Integer &n) |
| |
| template<size_t K> |
| Integer & | Caster (Integer &t, const RecInt::ruint< K > &n) |
| |
| template<size_t K> |
| Integer & | Caster (Integer &t, const RecInt::rint< K > &n) |
| |
| template<size_t K> |
| RecInt::ruint< K > & | Caster (RecInt::ruint< K > &t, const Integer &n) |
| |
| template<size_t K> |
| RecInt::rint< K > & | Caster (RecInt::rint< K > &t, const Integer &n) |
| |
| Integer | operator+ (const int32_t l, const Integer &n) |
| |
| Integer | operator+ (const uint32_t l, const Integer &n) |
| |
| Integer | operator+ (const int64_t l, const Integer &n) |
| |
| Integer | operator+ (const uint64_t l, const Integer &n) |
| |
| int32_t | absCompare (const Integer &a, const uint32_t b) |
| |
| int32_t | operator!= (double l, const Integer &n) |
| |
| int32_t | operator!= (float l, const Integer &n) |
| |
| int32_t | operator!= (int32_t l, const Integer &n) |
| |
| int32_t | operator!= (int64_t l, const Integer &n) |
| |
| int32_t | operator!= (uint64_t l, const Integer &n) |
| |
| int32_t | operator!= (uint32_t l, const Integer &n) |
| |
| int32_t | operator== (double l, const Integer &n) |
| |
| int32_t | operator== (float l, const Integer &n) |
| |
| int32_t | operator== (int32_t l, const Integer &n) |
| |
| int32_t | operator== (int64_t l, const Integer &n) |
| |
| int32_t | operator== (uint64_t l, const Integer &n) |
| |
| int32_t | operator== (uint32_t l, const Integer &n) |
| |
| int32_t | operator> (double l, const Integer &n) |
| |
| int32_t | operator> (float l, const Integer &n) |
| |
| int32_t | operator> (int32_t l, const Integer &n) |
| |
| int32_t | operator> (int64_t l, const Integer &n) |
| |
| int32_t | operator> (uint64_t l, const Integer &n) |
| |
| int32_t | operator> (uint32_t l, const Integer &n) |
| |
| int32_t | operator< (double l, const Integer &n) |
| |
| int32_t | operator< (float l, const Integer &n) |
| |
| int32_t | operator< (int32_t l, const Integer &n) |
| |
| int32_t | operator< (int64_t l, const Integer &n) |
| |
| int32_t | operator< (uint64_t l, const Integer &n) |
| |
| int32_t | operator< (uint32_t l, const Integer &n) |
| |
| int32_t | operator>= (double l, const Integer &n) |
| |
| int32_t | operator>= (float l, const Integer &n) |
| |
| int32_t | operator>= (int32_t l, const Integer &n) |
| |
| int32_t | operator>= (int64_t l, const Integer &n) |
| |
| int32_t | operator>= (uint64_t l, const Integer &n) |
| |
| int32_t | operator>= (uint32_t l, const Integer &n) |
| |
| int32_t | operator<= (double l, const Integer &n) |
| |
| int32_t | operator<= (float l, const Integer &n) |
| |
| int32_t | operator<= (int32_t l, const Integer &n) |
| |
| int32_t | operator<= (int64_t l, const Integer &n) |
| |
| int32_t | operator<= (uint64_t l, const Integer &n) |
| |
| int32_t | operator<= (uint32_t l, const Integer &n) |
| |
| int32_t | isZero (const int16_t a) |
| |
| int32_t | isZero (const int32_t a) |
| |
| int32_t | isZero (const int64_t a) |
| |
| int32_t | isZero (const uint16_t a) |
| |
| int32_t | isZero (const uint32_t a) |
| |
| int32_t | isZero (const uint64_t a) |
| |
| Integer | operator/ (const int32_t l, const Integer &n) |
| |
| Integer | operator/ (const int64_t l, const Integer &n) |
| |
| Integer | operator/ (const uint32_t l, const Integer &n) |
| |
| Integer | operator/ (const uint64_t l, const Integer &n) |
| |
| int32_t | kronecker (const Integer &u, const Integer &v) |
| |
| Integer | operator% (const int32_t l, const Integer &n) |
| |
| Integer | operator% (const int64_t l, const Integer &n) |
| |
| Integer | operator% (const uint32_t l, const Integer &n) |
| |
| Integer | operator% (const uint64_t l, const Integer &n) |
| |
| Integer | operator* (const int32_t l, const Integer &n) |
| |
| Integer | operator* (const uint32_t l, const Integer &n) |
| |
| Integer | operator* (const int64_t l, const Integer &n) |
| |
| Integer | operator* (const uint64_t l, const Integer &n) |
| |
| Integer | operator- (const int32_t l, const Integer &n) |
| |
| Integer | operator- (const uint32_t l, const Integer &n) |
| |
| Integer | operator- (const int64_t l, const Integer &n) |
| |
| Integer | operator- (const uint64_t l, const Integer &n) |
| |
| void | Add_Curve (const Integer &n, const Integer A, const Integer &ax, const Integer &az, Integer &cx, Integer &cz) |
| |
| void | one_Mul_Curve (const Integer &n, const Integer A, const Integer &mm, const Integer &nn, const Integer &px, const Integer &pz, Integer &ax, Integer &az) |
| |
| void | one_Mul_Curve2 (const Integer &n, const Integer A, const Integer &mm, const Integer &nn, const Integer &px, const Integer &pz, Integer &aax, Integer &aaz) |
| |
| void | Mul_Curve (const Integer &n, Integer &Ai, const Integer &mm, const Integer &nn, const Integer &B1, Integer &Xi, Integer &Zi) |
| |
| Integer & | ppin (Integer &res, const Integer &prime) |
| |
| std::ostream & | operator<< (std::ostream &o, const GivMMInfo &T) |
| | IO.
|
| |
| int | compare (const Rational &a, const Rational &b) |
| |
| int | absCompare (const Rational &a, const Rational &b) |
| |
| template double | power (double x, unsigned int p) |
| |
| std::istream & | operator>> (std::istream &in, Rational &r) |
| |
| const Rational | pow (const Rational &r, const int64_t l) |
| |
| const Integer | floor (const Rational &r) |
| |
| const Integer | ceil (const Rational &r) |
| |
| const Integer | round (const Rational &r) |
| |
| const Integer | trunc (const Rational &r) |
| |
| const Rational | abs (const Rational &r) |
| |
| const Rational | pow (const Rational &n, uint l) |
| |
| const Rational | pow (const Rational &n, uint64_t l) |
| |
| uint64_t | length (const Rational &r) |
| |
| int | sign (const Rational &r) |
| |
| int | isZero (const Rational &r) |
| |
| int | isOne (const Rational &r) |
| |
| int | isMOne (const Rational &r) |
| |
| int | isInteger (const Rational &r) |
| |
| int | operator!= (const Rational &a, const Rational &b) |
| |
| int | operator== (const Rational &a, const Rational &b) |
| |
| int | operator< (const Rational &a, const Rational &b) |
| |
| int | operator> (const Rational &a, const Rational &b) |
| |
| int | operator<= (const Rational &a, const Rational &b) |
| |
| int | operator>= (const Rational &a, const Rational &b) |
| |
| const Rational | operator+ (const Rational &r, const int i) |
| |
| const Rational | operator- (const Rational &r, const int i) |
| |
| const Rational | operator* (const Rational &r, const int i) |
| |
| const Rational | operator/ (const Rational &r, const int i) |
| |
| const Rational | operator+ (const int i, const Rational &r) |
| |
| const Rational | operator- (const int i, const Rational &r) |
| |
| const Rational | operator* (const int i, const Rational &r) |
| |
| const Rational | operator/ (const int i, const Rational &r) |
| |
| std::ostream & | operator<< (std::ostream &o, const Rational &a) |
| |
| 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.
|
| |
| 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> |
| 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> |
| 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 E, typename R, typename std::enable_if< IS_SINT(E), int >::type = 0> |
| E & | _reduce (E &x, const E &y, const R &p) |
| |
| template<typename E, typename R, typename std::enable_if< IS_SINT(E), int >::type = 0> |
| E & | _reduce (E &x, const R &p) |
| |
| template<typename TElem, typename RElem, typename std::enable_if<!(IS_SINT(TElem)), int >::type = 0> |
| TElem & | GenericAdd (TElem &r, const TElem &a, const TElem &b, const RElem &_p) |
| |
| template<typename TElem, typename RElem, typename std::enable_if<!(IS_SINT(TElem)), int >::type = 0> |
| TElem & | GenericAddIN (TElem &r, const TElem &a, const RElem &_p) |
| |
| template<typename E, typename C, typename std::enable_if<!std::is_same< E, C >::value, int >::type = 0> |
| E & | _mul (E &r, const E &a, const E &b, const E &p) |
| |
| template<typename E, typename C> |
| E & | _mulin (E &r, const E &a, const E &p, const C &pc) |
| |
| template<typename E> |
| E & | _mulin (E &r, const E &a, const E &p, const E &pc) |
| |
| template<typename E, typename C, typename std::enable_if<!std::is_same< E, C >::value, int >::type = 0> |
| E & | _axpy (E &r, const E &a, const E &b, const E &c, const E &p) |
| |
| template<typename E, typename C, typename std::enable_if<!std::is_same< E, C >::value, int >::type = 0> |
| E & | _axpyin (E &r, const E &a, const E &b, const E &p) |
| |
| template<typename E, typename C, typename std::enable_if<!std::is_same< E, C >::value, int >::type = 0> |
| E & | _maxpyin (E &r, const E &a, const E &b, const E &p) |
| |
| template<typename _Element> |
| _Element & | Moderin (_Element &t, const _Element &s) |
| |
| template<typename _Element> |
| _Element | Moder (const _Element &t, const _Element &s) |
| |
| template<> |
| float | Moder (const float &t, const float &s) |
| |
| template<> |
| float & | Moderin (float &t, const float &s) |
| |
| template<> |
| double | Moder (const double &t, const double &s) |
| |
| template<> |
| double & | Moderin (double &t, const double &s) |
| |
| template<typename Target, typename Source> |
| Target & | Caster (Target &t, const Source &s) |
| |
| template<typename Target, typename Source> |
| Target | Caster (const Source &s) |
| |
| std::ostream & | operator<< (std::ostream &o, const GivError &E) |
| |
| template<typename T> |
| unsigned | GIVINTLOG (const T &a) |
| | Integer log.
|
| |
| template<class TT, class UU> |
| TT | power (const TT n, const UU l) |
| | Powering.
|
| |
| template<class D, class TT> |
| TT & | dom_power (TT &res, const TT &n, uint64_t l, const D &F) |
| | dom_power
|
| |
| std::ostream & | operator<< (std::ostream &o, const BaseTimer &BT) |
| | I/O.
|
| |
| std::ostream & | operator<< (std::ostream &o, const Timer &T) |
| | I/O.
|
| |
| int64_t | value (const Degree &d) |
| | value
|
| |
| std::ostream & | operator<< (std::ostream &o, const Indeter &X) |
| |
| std::istream & | operator>> (std::istream &s_in, Indeter &X) |
| |
| int | operator== (const Indeter &i1, const Indeter &i2) |
| |
| int | operator!= (const Indeter &i1, const Indeter &i2) |
| |
| int | operator<= (const Indeter &i1, const Indeter &i2) |
| |
| int | operator< (const Indeter &i1, const Indeter &i2) |
| |
| int | operator>= (const Indeter &i1, const Indeter &i2) |
| |
| int | operator> (const Indeter &i1, const Indeter &i2) |
| |
| template<class Domain> |
| KSpace< Domain > | operator* (const typename KSpace< Domain >::Scalar_t &v, const KSpace< Domain > &U) |
| |
| template<class Domain> |
| void | dotprod (typename Domain::Scalar_t &dot, const KSpace< Domain > &U, const KSpace< Domain > &V) |
| |
| template<class Domain> |
| ostream & | operator<< (ostream &sout, const KSpace< Domain > &U) |
| |
| template<class Domain> |
| istream & | operator>> (istream &sin, KSpace< Domain > &U) |
| |
| template<class T, class Tag> |
| StructFormat< T, Tag > | Formatted (const T &val, Tag xx) |
| |