cf_irred.cc File Reference

#include "config.h"
#include "cf_assert.h"
#include "cf_defs.h"
#include "canonicalform.h"
#include "cf_algorithm.h"
#include "cf_random.h"
#include "NTLconvert.h"
#include "FLINTconvert.h"

Go to the source code of this file.

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

Function Documentation

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;
}