cf_irred.h File Reference

generate random irreducible univariate polynomials More...

#include "canonicalform.h"
#include "cf_random.h"

Go to the source code of this file.

Functions
CanonicalForm	find_irreducible (int deg, CFRandom &gen, const Variable &x)
	generate a random irreducible polynomial in x of degree deg More...
CanonicalForm	randomIrredpoly (int i, const Variable &x)
	computes a random monic irreducible univariate polynomial in x over Fp of degree i via NTL/FLINT More...

Detailed Description

generate random irreducible univariate polynomials

Definition in file cf_irred.h.

Function Documentation

find_irreducible()

CanonicalForm find_irreducible	(	int	deg,
		CFRandom &	gen,
		const Variable &	x
	)

generate a random irreducible polynomial in x of degree deg

Warning

this is done in the most naive way, i.e. a random is generated and then factorized

randomIrredpoly()

CanonicalForm randomIrredpoly	(	int	i,
		const Variable &	x
	)

computes a random monic irreducible univariate polynomial in x over Fp of degree i via NTL/FLINT

Definition at line 26 of file cf_irred.cc.

{
  int p= getCharacteristic();
  #ifdef HAVE_FLINT
  nmod_poly_t Irredpoly;
  nmod_poly_init(Irredpoly,p);
  nmod_poly_randtest_monic_irreducible(Irredpoly, FLINTrandom, i+1);
  CanonicalForm CFirredpoly=convertnmod_poly_t2FacCF(Irredpoly,x);
  nmod_poly_clear(Irredpoly);
  #elif defined(HAVE_NTL)
  if (fac_NTL_char != p)
  {
    fac_NTL_char= p;
    zz_p::init (p);
  }
  zz_pX NTLirredpoly;
  BuildIrred (NTLirredpoly, i);
  CanonicalForm CFirredpoly= convertNTLzzpX2CF (NTLirredpoly, x);
  #else
  factoryError("NTL/FLINT missing: randomIrredpoly");
  #endif
  return CFirredpoly;
}