Givaro
Public Types | Public Member Functions | Data Fields
IntPrimeDom Class Reference

Primality tests. More...

#include <givintprime.h>

+ Inheritance diagram for IntPrimeDom:
+ Collaboration diagram for IntPrimeDom:

Public Types

using Self_t = IntegerDom
 
typedef Integer Rep
 
typedef Rep Element
 
typedef GeneralRingRandIter< Self_tRandIter
 
typedef GeneralRingNonZeroRandIter< Self_tNonZeroRandIter
 
typedef ElementElement_ptr
 
typedef const Element ConstElement
 
typedef const ElementConstElement_ptr
 

Public Member Functions

 IntPrimeDom ()
 
int isprime (const Rep &n, int r=5) const
 
unsigned int isprimepower (Rep &, const Rep &) const
 
template<class MyRandIter >
unsigned int Miller (MyRandIter &g, const Rep &n=5) const
 
template<class MyRandIter >
Reptest_Lehmann (MyRandIter &g, Rep &, const Rep &n=5) const
 
template<class MyRandIter >
int Lehmann (MyRandIter &g, const Rep &n=5) const
 
int isprime_Tabule (const int n) const
 
int isprime_Tabule2 (const int n) const
 
Repnextprime (Rep &, const Rep &, int r=5) const
 
Repprevprime (Rep &, const Rep &, int r=5) const
 
Repnextprimein (Rep &, int r=5) const
 
Repprevprimein (Rep &, int r=5) const
 
int local_prime (const Rep &n, int r=5) const
 
int operator== (const IntegerDom &) const
 
int operator!= (const IntegerDom &) const
 
Repinit (Rep &a) const
 
Repinit (Rep &a, const Rep &b) const
 
Repread (Rep &a, const int64_t i) const
 
Repread (Rep &a, const uint64_t i) const
 
Repread (Rep &a, const int32_t i) const
 
Repread (Rep &a, const uint32_t i) const
 
std::istream & read (std::istream &i)
 
std::istream & read (std::istream &i, Rep &n) const
 
Repconvert (Rep &a, const Rep &b) const
 
template<class XXX >
XXX & convert (XXX &x, const Rep &a) const
 
Repassign (Rep &a, const Rep &b) const
 
const Repaccess (const Rep &a) const
 
Repmul (Rep &r, const Rep &a, const Rep &b) const
 
Repdiv (Rep &r, const Rep &a, const Rep &b) const
 
Repmod (Rep &r, const Rep &a, const Rep &b) const
 
Repadd (Rep &r, const Rep &a, const Rep &b) const
 
Repsub (Rep &r, const Rep &a, const Rep &b) const
 
Repdivmod (Rep &q, Rep &r, const Rep &a, const Rep &b) const
 
Repdivexact (Rep &q, const Rep &a, const Rep &b) const
 
Repmulin (Rep &r, const Rep &a) const
 
Repdivin (Rep &r, const Rep &a) const
 
Repmodin (Rep &r, const Rep &a) const
 
Repaddin (Rep &r, const Rep &a) const
 
Repsubin (Rep &r, const Rep &a) const
 
Repaxpy (Rep &r, const Rep &a, const Rep &b, const Rep &c) const
 
Repmaxpy (Rep &r, const Rep &a, const Rep &b, const Rep &c) const
 
Repmaxpyin (Rep &r, const Rep &a, const Rep &b) const
 
Repaxmy (Rep &r, const Rep &a, const Rep &b, const Rep &c) const
 
Repaxpyin (Rep &r, const Rep &a, const Rep &b) const
 
Repaxmyin (Rep &r, const Rep &a, const Rep &b) const
 
Repneg (Rep &r, const Rep &a) const
 
Repnegin (Rep &r) const
 
Repgcd (Rep &g, Rep &u, Rep &v, const Rep &a, const Rep &b) const
 
Repgcd (Rep &g, const Rep &a, const Rep &b) const
 
Replcm (Rep &l, const Rep &a, const Rep &b) const
 
Replcmin (Rep &l, const Rep &a) const
 
Repinv (Rep &u, const Rep &a, const Rep &b) const
 
Repinvin (Rep &u, const Rep &b) const
 
Reppow (Rep &r, const Rep &n, const int64_t l) const
 
Reppow (Rep &r, const Rep &n, const uint64_t l) const
 
Reppow (Rep &r, const Rep &n, const int32_t l) const
 
Reppow (Rep &r, const Rep &n, const uint32_t l) const
 
Repsqrt (Rep &s, const Rep &n) const
 
Repsqrt (Rep &s, Rep &r, const Rep &n) const
 
long logp (const Rep &a, const Rep &p) const
 
Reppowmod (Rep &r, const Rep &n, const int64_t e, const Rep &m) const
 
Reppowmod (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 isMOne (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 int64_t b, const Rep &a) const
 
bool isgeq (const Rep &a, const int64_t b) const
 
bool isleq (const Rep &a, const Rep &b) const
 
bool isleq (const int64_t b, const Rep &a) const
 
bool isleq (const Rep &a, const int64_t b) const
 
bool isgt (const Rep &a, const Rep &b) const
 
bool isgt (const int64_t b, const Rep &a) const
 
bool isgt (const Rep &a, const int64_t b) const
 
bool islt (const Rep &a, const Rep &b) const
 
bool islt (const int64_t b, const Rep &a) const
 
bool islt (const Rep &a, const int64_t b) const
 
template<class MyRandIter >
Reprandom (MyRandIter &, Rep &r, long s=1) const
 
template<class MyRandIter >
Reprandom (MyRandIter &, Rep &r, const Rep &b) const
 
template<class MyRandIter >
Repnonzerorandom (MyRandIter &, Rep &r, long s=1) const
 
template<class MyRandIter >
Repnonzerorandom (MyRandIter &, Rep &r, const Rep &b) const
 
std::ostream & write (std::ostream &o) const
 
std::ostream & write (std::ostream &o, const Rep &n) const
 

Data Fields

const Integer one
 
const Integer mOne
 
const Integer zero
 

Detailed Description

Primality tests.

Examples:
examples/Integer/ispower.C, examples/Integer/isprime.C, examples/Integer/nb_primes.C, examples/Integer/nextprime.C, examples/Integer/prevprime.C, and examples/Polynomial/PolynomialCRT.C.

Member Typedef Documentation

using Self_t = IntegerDom
inherited
typedef Integer Rep
inherited
typedef Rep Element
inherited
typedef GeneralRingRandIter<Self_t> RandIter
inherited
typedef Element* Element_ptr
inherited
typedef const Element ConstElement
inherited
typedef const Element* ConstElement_ptr
inherited

Constructor & Destructor Documentation

IntPrimeDom ( )
inline

Member Function Documentation

int isprime ( const Rep n,
int  r = 5 
) const
inline
unsigned int isprimepower ( Rep q,
const Rep u 
) const
unsigned int Miller ( MyRandIter &  g,
const Rep n = 5 
) const
IntPrimeDom::Rep & test_Lehmann ( MyRandIter &  g,
Rep r,
const Rep n = 5 
) const
int Lehmann ( MyRandIter &  g,
const Rep n = 5 
) const
int isprime_Tabule ( const int  n) const
int isprime_Tabule2 ( const int  n) const
IntPrimeDom::Rep & nextprime ( Rep ,
const Rep ,
int  r = 5 
) const
IntPrimeDom::Rep & prevprime ( Rep n,
const Rep p,
int  r = 5 
) const
IntPrimeDom::Rep & nextprimein ( Rep ,
int  r = 5 
) const
IntPrimeDom::Rep & prevprimein ( Rep n,
int  r = 5 
) const
int local_prime ( const Rep n,
int  r = 5 
) const
inline
int operator== ( const IntegerDom ) const
inlineinherited
int operator!= ( const IntegerDom ) const
inlineinherited
Rep& init ( Rep a) const
inlineinherited
Rep& init ( Rep a,
const Rep b 
) const
inlineinherited
Rep& read ( Rep a,
const int64_t  i 
) const
inlineinherited
Rep& read ( Rep a,
const uint64_t  i 
) const
inlineinherited
Rep& read ( Rep a,
const int32_t  i 
) const
inlineinherited
Rep& read ( Rep a,
const uint32_t  i 
) const
inlineinherited
std::istream& read ( std::istream &  i)
inlineinherited
std::istream& read ( std::istream &  i,
Rep n 
) const
inlineinherited
Rep& convert ( Rep a,
const Rep b 
) const
inlineinherited
XXX& convert ( XXX &  x,
const Rep a 
) const
inlineinherited
Rep& assign ( Rep a,
const Rep b 
) const
inlineinherited
const Rep& access ( const Rep a) const
inlineinherited
Rep& mul ( Rep r,
const Rep a,
const Rep b 
) const
inlinevirtualinherited
Rep& div ( Rep r,
const Rep a,
const Rep b 
) const
inlineinherited
Rep& mod ( Rep r,
const Rep a,
const Rep b 
) const
inlineinherited
Rep& add ( Rep r,
const Rep a,
const Rep b 
) const
inlinevirtualinherited
Rep& sub ( Rep r,
const Rep a,
const Rep b 
) const
inlinevirtualinherited
Rep& divmod ( Rep q,
Rep r,
const Rep a,
const Rep b 
) const
inlineinherited
Rep& divexact ( Rep q,
const Rep a,
const Rep b 
) const
inlineinherited
Rep& mulin ( Rep r,
const Rep a 
) const
inlinevirtualinherited
Rep& divin ( Rep r,
const Rep a 
) const
inlineinherited
Rep& modin ( Rep r,
const Rep a 
) const
inlineinherited
Rep& addin ( Rep r,
const Rep a 
) const
inlinevirtualinherited
Rep& subin ( Rep r,
const Rep a 
) const
inlinevirtualinherited
Rep& axpy ( Rep r,
const Rep a,
const Rep b,
const Rep c 
) const
inlinevirtualinherited
Rep& maxpy ( Rep r,
const Rep a,
const Rep b,
const Rep c 
) const
inlinevirtualinherited
Rep& maxpyin ( Rep r,
const Rep a,
const Rep b 
) const
inlinevirtualinherited
Rep& axmy ( Rep r,
const Rep a,
const Rep b,
const Rep c 
) const
inlinevirtualinherited
Rep& axpyin ( Rep r,
const Rep a,
const Rep b 
) const
inlinevirtualinherited
Rep& axmyin ( Rep r,
const Rep a,
const Rep b 
) const
inlinevirtualinherited
Rep& neg ( Rep r,
const Rep a 
) const
inlinevirtualinherited
Rep& negin ( Rep r) const
inlinevirtualinherited
Rep& gcd ( Rep g,
Rep u,
Rep v,
const Rep a,
const Rep b 
) const
inlineinherited
Rep& gcd ( Rep g,
const Rep a,
const Rep b 
) const
inlineinherited
Rep& lcm ( Rep l,
const Rep a,
const Rep b 
) const
inlineinherited
Rep& lcmin ( Rep l,
const Rep a 
) const
inlineinherited
Rep& inv ( Rep u,
const Rep a,
const Rep b 
) const
inlineinherited
Rep& invin ( Rep u,
const Rep b 
) const
inlineinherited
Rep& pow ( Rep r,
const Rep n,
const int64_t  l 
) const
inlineinherited
Rep& pow ( Rep r,
const Rep n,
const uint64_t  l 
) const
inlineinherited
Rep& pow ( Rep r,
const Rep n,
const int32_t  l 
) const
inlineinherited
Rep& pow ( Rep r,
const Rep n,
const uint32_t  l 
) const
inlineinherited
Rep& sqrt ( Rep s,
const Rep n 
) const
inlineinherited
Rep& sqrt ( Rep s,
Rep r,
const Rep n 
) const
inlineinherited
long logp ( const Rep a,
const Rep p 
) const
inlineinherited
Rep& powmod ( Rep r,
const Rep n,
const int64_t  e,
const Rep m 
) const
inlineinherited
Rep& powmod ( Rep r,
const Rep n,
const Rep e,
const Rep m 
) const
inlineinherited
unsigned long length ( const Rep a) const
inlineinherited
int sign ( const Rep a) const
inlineinherited
bool isZero ( const Rep a) const
inlinevirtualinherited
bool isOne ( const Rep a) const
inlinevirtualinherited
bool isMOne ( const Rep a) const
inlinevirtualinherited
bool areEqual ( const Rep a,
const Rep b 
) const
inlinevirtualinherited
bool areNEqual ( const Rep a,
const Rep b 
) const
inlineinherited
bool isgeq ( const Rep a,
const Rep b 
) const
inlineinherited
bool isgeq ( const int64_t  b,
const Rep a 
) const
inlineinherited
bool isgeq ( const Rep a,
const int64_t  b 
) const
inlineinherited
bool isleq ( const Rep a,
const Rep b 
) const
inlineinherited
bool isleq ( const int64_t  b,
const Rep a 
) const
inlineinherited
bool isleq ( const Rep a,
const int64_t  b 
) const
inlineinherited
bool isgt ( const Rep a,
const Rep b 
) const
inlineinherited
bool isgt ( const int64_t  b,
const Rep a 
) const
inlineinherited
bool isgt ( const Rep a,
const int64_t  b 
) const
inlineinherited
bool islt ( const Rep a,
const Rep b 
) const
inlineinherited
bool islt ( const int64_t  b,
const Rep a 
) const
inlineinherited
bool islt ( const Rep a,
const int64_t  b 
) const
inlineinherited
Rep& random ( MyRandIter &  ,
Rep r,
long  s = 1 
) const
inlineinherited
Rep& random ( MyRandIter &  ,
Rep r,
const Rep b 
) const
inlineinherited
Rep& nonzerorandom ( MyRandIter &  ,
Rep r,
long  s = 1 
) const
inlineinherited
Rep& nonzerorandom ( MyRandIter &  ,
Rep r,
const Rep b 
) const
inlineinherited
std::ostream& write ( std::ostream &  o) const
inlineinherited
std::ostream& write ( std::ostream &  o,
const Rep n 
) const
inlineinherited

Field Documentation

const Integer one
inherited
const Integer mOne
inherited
const Integer zero
inherited

The documentation for this class was generated from the following files: