Public Types |
| typedef IntFactorDom< RandIter > | Father_t |
typedef IntFactorDom< RandIter >
::Rep | Rep |
| typedef RandIter | random_generator |
| typedef Rep | Element |
Public Member Functions |
| | IntNumTheoDom (RandIter g=RandIter()) |
| template<template< class, class > class Container, template< class > class Alloc> |
| Rep & | phi (Rep &res, const Container< Rep, Alloc< Rep > > &Lf, const Rep &n) const |
| Rep & | phi (Rep &r, const Rep &n) const |
| Rep & | prim_root (Rep &, const Rep &) const |
| Rep & | prim_root (Rep &, unsigned long &, const Rep &) const |
| Rep & | prim_root_of_prime (Rep &, const Rep &) const |
| template<class Array > |
| Rep & | prim_root_of_prime (Rep &A, const Array &Lf, const Rep &phin, const Rep &n) const |
| | Add Jacobi for quadratic nonresidue.
|
| Rep & | probable_prim_root (Rep &, double &, const Rep &n, const unsigned long L=10000000) const |
| Rep & | probable_prim_root (Rep &, double &, const Rep &n, const double epsilon) const |
| Rep & | lowest_prim_root (Rep &, const Rep &) const |
| bool | is_prim_root (const Rep &, const Rep &) const |
| Rep & | order (Rep &, const Rep &, const Rep &) const |
| bool | isorder (const Rep &, const Rep &, const Rep &) const |
| Rep & | prim_inv (Rep &, const Rep &) const |
| Rep & | prim_elem (Rep &, const Rep &) const |
| Rep & | lambda_primpow (Rep &, const Rep &, unsigned long) const |
| Rep & | lambda_inv_primpow (Rep &, const Rep &, unsigned long) const |
| Rep & | lambda (Rep &, const Rep &) const |
| Rep & | lambda_inv (Rep &, const Rep &) const |
| template<template< class, class > class Container, template< class > class Alloc> |
| short | mobius (const Container< Rep, Alloc< Rep > > &lpow) const |
| short | mobius (const Rep &a) const |
| Rep & | factor (Rep &r, const Rep &n, unsigned long loops=0) const |
| Rep & | iffactorprime (Rep &r, const Rep &n, unsigned long loops=0) const |
| Rep & | primefactor (Rep &r, const Rep &n) const |
| template<class Container1 , class Container2 > |
| bool | set (Container1 &setint, Container2 &setpwd, const Rep &a, unsigned long loops=0) const |
| | Factors with primes.
|
| template<class Container > |
| void | set (Container &, const Rep &) const |
| template<class Container > |
| void | Erathostene (Container &, const Rep &) const |
| Rep & | Erathostene (Rep &, const Rep &p) const |
| | returns a small factor
|
| template<class Container , class Cont2 , class Cont3 > |
| Container & | divisors (Container &L, const Cont2 &Lf, const Cont3 &Le) const |
| template<class Container > |
| Container & | divisors (Container &, const Rep &) const |
| Rep & | Pollard (const RandIter &, Rep &, const Rep &n, unsigned long threshold=0) const |
| Rep & | Lenstra (const RandIter &, Rep &, const Rep &n, const Rep &B1=10000000, const unsigned long curves=30) const |
| std::ostream & | write (std::ostream &o, const Rep &n) const |
| template<class Array > |
| std::ostream & | write (std::ostream &o, Array &, const Rep &n) const |
| std::ostream & | write (std::ostream &o) const |
| std::ostream & | write (std::ostream &o, const Rep &n) const |
| int | isprime (const Rep &n, int r=_GIVARO_ISPRIMETESTS_) const |
| unsigned int | isprimepower (Rep &, const Rep &) const |
| template<class RandIter > |
| unsigned int | Miller (RandIter &g, const Rep &n=_GIVARO_ISPRIMETESTS_) const |
| template<class RandIter > |
| Rep & | test_Lehmann (RandIter &g, Rep &, const Rep &n=_GIVARO_ISPRIMETESTS_) const |
| template<class RandIter > |
| int | Lehmann (RandIter &g, const Rep &n=_GIVARO_ISPRIMETESTS_) const |
| int | isprime_Tabule (const int n) const |
| int | isprime_Tabule2 (const int n) const |
| Rep & | nextprime (Rep &, const Rep &, int r=_GIVARO_ISPRIMETESTS_) const |
| Rep & | prevprime (Rep &, const Rep &, int r=_GIVARO_ISPRIMETESTS_) const |
| Rep & | nextprimein (Rep &, int r=_GIVARO_ISPRIMETESTS_) const |
| Rep & | prevprimein (Rep &, int r=_GIVARO_ISPRIMETESTS_) const |
| int | local_prime (const Rep &n, int r=_GIVARO_ISPRIMETESTS_) const |
| int | operator== (const IntegerDom &) const |
| int | operator!= (const IntegerDom &) const |
| Rep & | init (Rep &a) const |
| Rep & | init (Rep &a, const Rep &b) const |
| Rep & | read (Rep &a, const long i) const |
| Rep & | read (Rep &a, const unsigned long i) const |
| Rep & | read (Rep &a, const int i) const |
| Rep & | read (Rep &a, const unsigned int i) const |
| std::istream & | read (std::istream &i) |
| std::istream & | read (std::istream &i, Rep &n) const |
| Rep & | convert (Rep &a, const Rep &b) const |
| template<class XXX > |
| XXX & | convert (XXX &x, const Rep &a) const |
| Rep & | assign (Rep &a, const Rep &b) const |
| const Rep & | access (const Rep &a) const |
| Rep & | mul (Rep &r, const Rep &a, const Rep &b) const |
| Rep & | div (Rep &r, const Rep &a, const Rep &b) const |
| Rep & | mod (Rep &r, const Rep &a, const Rep &b) const |
| Rep & | add (Rep &r, const Rep &a, const Rep &b) const |
| Rep & | sub (Rep &r, const Rep &a, const Rep &b) const |
| Rep & | divmod (Rep &q, Rep &r, const Rep &a, const Rep &b) const |
| Rep & | divexact (Rep &q, const Rep &a, const Rep &b) const |
| Rep & | mulin (Rep &r, const Rep &a) const |
| Rep & | divin (Rep &r, const Rep &a) const |
| Rep & | modin (Rep &r, const Rep &a) const |
| Rep & | addin (Rep &r, const Rep &a) const |
| Rep & | subin (Rep &r, const Rep &a) const |
| Rep & | axpy (Rep &r, const Rep &a, const Rep &b, const Rep &c) const |
| Rep & | maxpy (Rep &r, const Rep &a, const Rep &b, const Rep &c) const |
| Rep & | maxpyin (Rep &r, const Rep &a, const Rep &b) const |
| Rep & | axmy (Rep &r, const Rep &a, const Rep &b, const Rep &c) const |
| Rep & | axpyin (Rep &r, const Rep &a, const Rep &b) const |
| Rep & | axmyin (Rep &r, const Rep &a, const Rep &b) const |
| Rep & | neg (Rep &r, const Rep &a) const |
| Rep & | negin (Rep &r) const |
| Rep & | gcd (Rep &g, Rep &u, Rep &v, const Rep &a, const Rep &b) const |
| Rep & | gcd (Rep &g, const Rep &a, const Rep &b) const |
| Rep & | lcm (Rep &l, const Rep &a, const Rep &b) const |
| Rep & | lcmin (Rep &l, const Rep &a) const |
| Rep & | inv (Rep &u, const Rep &a, const Rep &b) const |
| Rep & | invin (Rep &u, const Rep &b) const |
| Rep & | pow (Rep &r, const Rep &n, const long l) const |
| Rep & | pow (Rep &r, const Rep &n, const unsigned long l) const |
| Rep & | pow (Rep &r, const Rep &n, const int l) const |
| Rep & | pow (Rep &r, const Rep &n, const unsigned int l) const |
| Rep & | sqrt (Rep &s, const Rep &n) const |
| Rep & | sqrt (Rep &s, Rep &r, const Rep &n) const |
| long | logp (const Rep &a, const Rep &p) const |
| Rep & | powmod (Rep &r, const Rep &n, const long e, const Rep &m) const |
| Rep & | powmod (Rep &r, const Rep &n, const Rep &e, const Rep &m) const |
| unsigned long | length (const Rep &a) const |
| int | sign (const Rep &a) const |
| bool | isZero (const Rep &a) const |
| bool | isOne (const Rep &a) const |
| bool | areEqual (const Rep &a, const Rep &b) const |
| bool | areNEqual (const Rep &a, const Rep &b) const |
| bool | isgeq (const Rep &a, const Rep &b) const |
| bool | isgeq (const long b, const Rep &a) const |
| bool | isgeq (const Rep &a, const long b) const |
| bool | isleq (const Rep &a, const Rep &b) const |
| bool | isleq (const long b, const Rep &a) const |
| bool | isleq (const Rep &a, const long b) const |
| bool | isgt (const Rep &a, const Rep &b) const |
| bool | isgt (const long b, const Rep &a) const |
| bool | isgt (const Rep &a, const long b) const |
| bool | islt (const Rep &a, const Rep &b) const |
| bool | islt (const long b, const Rep &a) const |
| bool | islt (const Rep &a, const long b) const |
| template<class RandIter > |
| Rep & | random (RandIter &, Rep &r, long s=1) const |
| template<class RandIter > |
| Rep & | random (RandIter &, Rep &r, const Rep &b) const |
| template<class RandIter > |
| Rep & | nonzerorandom (RandIter &, Rep &r, long s=1) const |
| template<class RandIter > |
| Rep & | nonzerorandom (RandIter &, Rep &r, const Rep &b) const |
Data Fields |
| const Integer | one |
| const Integer | zero |
Protected Attributes |
| RandIter | _g |