FLINTconvert.cc File Reference

This file implements functions for conversion to FLINT (www.flintlib.org) and back. More...

#include <config.h>
#include "canonicalform.h"
#include "fac_util.h"
#include "cf_iter.h"
#include "cf_factory.h"
#include "gmpext.h"
#include "singext.h"
#include "cf_algorithm.h"
#include <cstdio>
#include <flint/fmpz.h>
#include <flint/fmpq.h>
#include <flint/fmpz_poly.h>
#include <flint/fmpz_mod_poly.h>
#include <flint/nmod_poly.h>
#include <flint/fmpq_poly.h>
#include <flint/nmod_mat.h>
#include <flint/fmpz_mat.h>
#include <flint/fq.h>
#include <flint/fq_poly.h>
#include <flint/fq_nmod.h>
#include <flint/fq_nmod_poly.h>
#include <flint/fq_nmod_mat.h>
#include "FLINTconvert.h"

Go to the source code of this file.

Macros
#define	Alloc(L)   omAlloc(L)
#define	Free(A, L)   omFreeSize(A,L)

Functions
void	convertCF2Fmpz (fmpz_t result, const CanonicalForm &f)
	conversion of a factory integer to fmpz_t More...
void	convertCF2initFmpz (fmpz_t result, const CanonicalForm &f)
	conversion of a factory integer to fmpz_t(init.) More...
void	convertFacCF2Fmpz_poly_t (fmpz_poly_t result, const CanonicalForm &f)
	conversion of a factory univariate polynomial over Z to a fmpz_poly_t More...
CanonicalForm	convertFmpz2CF (const fmpz_t coefficient)
	conversion of a FLINT integer to CanonicalForm More...
CanonicalForm	convertFmpz_poly_t2FacCF (const fmpz_poly_t poly, const Variable &x)
	conversion of a FLINT poly over Z to CanonicalForm More...
void	convertFacCF2nmod_poly_t (nmod_poly_t result, const CanonicalForm &f)
	conversion of a factory univariate polynomials over Z/p (for word size p) to nmod_poly_t More...
CanonicalForm	convertnmod_poly_t2FacCF (const nmod_poly_t poly, const Variable &x)
	conversion of a FLINT poly over Z/p to CanonicalForm More...
void	convertCF2Fmpq (fmpq_t result, const CanonicalForm &f)
	conversion of a factory rationals to fmpq_t More...
CanonicalForm	convertFmpq2CF (const fmpq_t q)
	conversion of a FLINT rational to CanonicalForm More...
CanonicalForm	convertFmpq_poly_t2FacCF (const fmpq_poly_t p, const Variable &x)
	conversion of a FLINT poly over Q to CanonicalForm More...
void	convertFacCF2Fmpz_array (fmpz *result, const CanonicalForm &f)
void	convertFacCF2Fmpq_poly_t (fmpq_poly_t result, const CanonicalForm &f)
	conversion of a factory univariate polynomials over Q to fmpq_poly_t More...
CFFList	convertFLINTnmod_poly_factor2FacCFFList (const nmod_poly_factor_t fac, const mp_limb_t leadingCoeff, const Variable &x)
	conversion of a FLINT factorization over Z/p (for word size p) to a CFFList More...
CFFList	convertFLINTFq_nmod_poly_factor2FacCFFList (const fq_nmod_poly_factor_t fac, const Variable &x, const Variable &alpha, const fq_nmod_ctx_t fq_con)
	conversion of a FLINT factorization over Fq (for word size p) to a CFFList More...
void	convertFacCF2Fmpz_mod_poly_t (fmpz_mod_poly_t result, const CanonicalForm &f, const fmpz_t p)
	conversion of a factory univariate poly over Z to a FLINT poly over Z/p (for non word size p) More...
CanonicalForm	convertFmpz_mod_poly_t2FacCF (const fmpz_mod_poly_t poly, const Variable &x, const modpk &b)
	conversion of a FLINT poly over Z/p (for non word size p) to a CanonicalForm over Z More...
void	convertFacCF2Fq_nmod_t (fq_nmod_t result, const CanonicalForm &f, const fq_nmod_ctx_t ctx)
	conversion of a factory element of F_q to a FLINT fq_nmod_t, does not do any memory allocation for poly More...
CanonicalForm	convertFq_nmod_t2FacCF (const fq_nmod_t poly, const Variable &alpha, const fq_nmod_ctx_t)
	conversion of a FLINT element of F_q to a CanonicalForm with alg. variable alpha More...
void	convertFacCF2Fq_t (fq_t result, const CanonicalForm &f, const fq_ctx_t ctx)
	conversion of a factory element of F_q (for non-word size p) to a FLINT fq_t More...
CanonicalForm	convertFq_t2FacCF (const fq_t poly, const Variable &alpha)
	conversion of a FLINT element of F_q with non-word size p to a CanonicalForm with alg. variable alpha More...
void	convertFacCF2Fq_poly_t (fq_poly_t result, const CanonicalForm &f, const fq_ctx_t ctx)
	conversion of a factory univariate poly over F_q (for non-word size p) to a FLINT fq_poly_t More...
void	convertFacCF2Fq_nmod_poly_t (fq_nmod_poly_t result, const CanonicalForm &f, const fq_nmod_ctx_t ctx)
	conversion of a factory univariate poly over F_q to a FLINT fq_nmod_poly_t More...
CanonicalForm	convertFq_poly_t2FacCF (const fq_poly_t p, const Variable &x, const Variable &alpha, const fq_ctx_t ctx)
	conversion of a FLINT poly over Fq (for non-word size p) to a CanonicalForm with alg. variable alpha and polynomial variable x More...
CanonicalForm	convertFq_nmod_poly_t2FacCF (const fq_nmod_poly_t p, const Variable &x, const Variable &alpha, const fq_nmod_ctx_t ctx)
	conversion of a FLINT poly over Fq to a CanonicalForm with alg. variable alpha and polynomial variable x More...
void	convertFacCFMatrix2Fmpz_mat_t (fmpz_mat_t M, const CFMatrix &m)
	conversion of a factory matrix over Z to a fmpz_mat_t More...
CFMatrix *	convertFmpz_mat_t2FacCFMatrix (const fmpz_mat_t m)
	conversion of a FLINT matrix over Z to a factory matrix More...
void	convertFacCFMatrix2nmod_mat_t (nmod_mat_t M, const CFMatrix &m)
	conversion of a factory matrix over Z/p to a nmod_mat_t More...
CFMatrix *	convertNmod_mat_t2FacCFMatrix (const nmod_mat_t m)
	conversion of a FLINT matrix over Z/p to a factory matrix More...
void	convertFacCFMatrix2Fq_nmod_mat_t (fq_nmod_mat_t M, const fq_nmod_ctx_t fq_con, const CFMatrix &m)
	conversion of a factory matrix over F_q to a fq_nmod_mat_t More...
CFMatrix *	convertFq_nmod_mat_t2FacCFMatrix (const fq_nmod_mat_t m, const fq_nmod_ctx_t &fq_con, const Variable &alpha)
	conversion of a FLINT matrix over F_q to a factory matrix More...

Detailed Description

This file implements functions for conversion to FLINT (www.flintlib.org) and back.

Author

Martin Lee

Definition in file FLINTconvert.cc.

Macro Definition Documentation

Alloc

#define Alloc

(

L

)

omAlloc(L)

Definition at line 28 of file FLINTconvert.cc.

Free

#define Free	(		A,
			L
	)		omFreeSize(A,L)

Definition at line 29 of file FLINTconvert.cc.

Function Documentation

convertCF2Fmpq()

void convertCF2Fmpq	(	fmpq_t	result,
		const CanonicalForm &	f
	)

conversion of a factory rationals to fmpq_t

Parameters

[in,out]	result	an fmpq_t
[in]	f	a CanonicalForm wrapping a rational

Definition at line 223 of file FLINTconvert.cc.

{
  //ASSERT (isOn (SW_RATIONAL), "expected rational");
  if (f.isImm ())
  {
    fmpq_set_si (result, f.intval(), 1);
  }
  else if(f.inQ())
  {
    mpz_t gmp_val;
    gmp_numerator (f, gmp_val);
    fmpz_set_mpz (fmpq_numref (result), gmp_val);
    mpz_clear (gmp_val);
    gmp_denominator (f, gmp_val);
    fmpz_set_mpz (fmpq_denref (result), gmp_val);
    mpz_clear (gmp_val);
  }
  else if(f.inZ())
  {
    mpz_t gmp_val;
    f.mpzval(gmp_val);
    fmpz_set_mpz (fmpq_numref (result), gmp_val);
    mpz_clear (gmp_val);
    fmpz_one(fmpq_denref(result));
  }
  else
  {
    printf("wrong type\n");
  }
}

convertCF2Fmpz()

void convertCF2Fmpz	(	fmpz_t	result,
		const CanonicalForm &	f
	)

conversion of a factory integer to fmpz_t

Parameters

[out]	result	an fmpz_t
[in]	f	a CanonicalForm wrapping an integer

Definition at line 116 of file FLINTconvert.cc.

{
  if (f.isImm())
    *result=f.intval();
  else
  {
    mpz_t gmp_val;
    f.mpzval(gmp_val);
    fmpz_init(result);
    fmpz_set_mpz (result, gmp_val);
    mpz_clear (gmp_val);
  }
}

convertCF2initFmpz()

void convertCF2initFmpz	(	fmpz_t	result,
		const CanonicalForm &	f
	)

conversion of a factory integer to fmpz_t(init.)

Parameters

[in,out]	result	an fmpz_t
[in]	f	a CanonicalForm wrapping an integer

Definition at line 131 of file FLINTconvert.cc.

{
  if (f.isImm())
    fmpz_set_si (result, f.intval());
  else
  {
    mpz_t gmp_val;
    f.mpzval(gmp_val);
 
    mpz_swap(gmp_val, _fmpz_promote(result));
    _fmpz_demote_val(result);
 
    mpz_clear (gmp_val);
  }
}

convertFacCF2Fmpq_poly_t()

void convertFacCF2Fmpq_poly_t	(	fmpq_poly_t	result,
		const CanonicalForm &	f
	)

conversion of a factory univariate polynomials over Q to fmpq_poly_t

Parameters

[in,out]	result	an fmpq_poly_t
[in]	f	univariate poly over Q

Definition at line 322 of file FLINTconvert.cc.

{
  bool isRat= isOn (SW_RATIONAL);
  if (!isRat)
    On (SW_RATIONAL);
 
  fmpq_poly_init2 (result, degree (f)+1);
  _fmpq_poly_set_length (result, degree (f) + 1);
  CanonicalForm den= bCommonDen (f);
  convertFacCF2Fmpz_array (fmpq_poly_numref (result), f*den);
  convertCF2initFmpz (fmpq_poly_denref (result), den); // assumes initialized
 
  if (!isRat)
    Off (SW_RATIONAL);
}

convertFacCF2Fmpz_array()

void convertFacCF2Fmpz_array	(	fmpz *	result,
		const CanonicalForm &	f
	)

Definition at line 316 of file FLINTconvert.cc.

{
  for (CFIterator i= f; i.hasTerms(); i++)
    convertCF2initFmpz (&result[i.exp()], i.coeff()); // assumes initialized
}

convertFacCF2Fmpz_mod_poly_t()

void convertFacCF2Fmpz_mod_poly_t	(	fmpz_mod_poly_t	result,
		const CanonicalForm &	f,
		const fmpz_t	p
	)

conversion of a factory univariate poly over Z to a FLINT poly over Z/p (for non word size p)

Parameters

[in,out]	result	fmpz_mod_poly_t
[in]	f	univariate poly over Z
[in]	p	some integer p

Definition at line 399 of file FLINTconvert.cc.

{
  #if (__FLINT_RELEASE >= 20700)
  fmpz_mod_ctx_t ctx;
  fmpz_mod_ctx_init(ctx,p);
  fmpz_mod_poly_init2 (result, degree (f) + 1, ctx);
  #else
  fmpz_mod_poly_init2 (result, p, degree (f) + 1);
  #endif
  fmpz_poly_t buf;
  convertFacCF2Fmpz_poly_t (buf, f);
  #if (__FLINT_RELEASE >= 20700)
  fmpz_mod_poly_set_fmpz_poly (result, buf, ctx);
  fmpz_mod_ctx_clear(ctx);
  #else
  fmpz_mod_poly_set_fmpz_poly (result, buf);
  #endif
  fmpz_poly_clear (buf);
}

convertFacCF2Fmpz_poly_t()

void convertFacCF2Fmpz_poly_t	(	fmpz_poly_t	result,
		const CanonicalForm &	f
	)

conversion of a factory univariate polynomial over Z to a fmpz_poly_t

Parameters

[in,out]	result	an fmpz_poly_t
[in]	f	univariate poly over Z

Definition at line 147 of file FLINTconvert.cc.

{
  fmpz_poly_init2 (result, degree (f)+1);
  _fmpz_poly_set_length(result, degree(f)+1);
  for (CFIterator i= f; i.hasTerms(); i++)
    convertCF2initFmpz (fmpz_poly_get_coeff_ptr(result, i.exp()), i.coeff()); // assumes initialized
}

convertFacCF2Fq_nmod_poly_t()

void convertFacCF2Fq_nmod_poly_t	(	fq_nmod_poly_t	result,
		const CanonicalForm &	f,
		const fq_nmod_ctx_t	ctx
	)

conversion of a factory univariate poly over F_q to a FLINT fq_nmod_poly_t

Parameters

[in,out]	result	fq_nmod_poly_t
[in]	f	univariate poly over Fq
[in]	ctx	Fq context

Definition at line 528 of file FLINTconvert.cc.

{
  fq_nmod_poly_init2 (result, degree (f)+1, ctx);
  _fq_nmod_poly_set_length (result, degree (f) + 1, ctx);
  fq_nmod_t buf;
  fq_nmod_init2 (buf, ctx);
  for (CFIterator i= f; i.hasTerms(); i++)
  {
    convertFacCF2Fq_nmod_t (buf, i.coeff(), ctx);
    fq_nmod_poly_set_coeff (result, i.exp(), buf, ctx);
    fq_nmod_zero (buf, ctx);
  }
  fq_nmod_clear (buf, ctx);
}

convertFacCF2Fq_nmod_t()

void convertFacCF2Fq_nmod_t	(	fq_nmod_t	result,
		const CanonicalForm &	f,
		const fq_nmod_ctx_t	ctx
	)

conversion of a factory element of F_q to a FLINT fq_nmod_t, does not do any memory allocation for poly

Parameters

[in,out]	result	fq_nmod_t
[in]	f	element of Fq
[in]	ctx	Fq context

Definition at line 444 of file FLINTconvert.cc.

{
  bool save_sym_ff= isOn (SW_SYMMETRIC_FF);
  if (save_sym_ff) Off (SW_SYMMETRIC_FF);
  #if __FLINT_RELEASE >= 20503
  nmod_poly_t res;
  nmod_poly_init(res,getCharacteristic());
  #endif
  for (CFIterator i= f; i.hasTerms(); i++)
  {
    CanonicalForm c= i.coeff();
    if (!c.isImm()) c=c.mapinto(); //c%= getCharacteristic();
    if (!c.isImm())
    {  //This case will never happen if the characteristic is in fact a prime
       // number, since all coefficients are represented as immediates
       printf("convertFacCF2Fq_nmod_t: coefficient not immediate!, char=%d\n",
              getCharacteristic());
    }
    else
    {
      STICKYASSERT (i.exp() <= fq_nmod_ctx_degree(ctx), "convertFacCF2Fq_nmod_t: element is not reduced");
      #if __FLINT_RELEASE >= 20503
      nmod_poly_set_coeff_ui (res, i.exp(), c.intval());
      #else
      nmod_poly_set_coeff_ui (result, i.exp(), c.intval());
      #endif
    }
  }
  #if __FLINT_RELEASE >= 20503
  fq_nmod_init(result,ctx);
  fq_nmod_set_nmod_poly(result,res,ctx);
  #endif
  if (save_sym_ff) On (SW_SYMMETRIC_FF);
}

convertFacCF2Fq_poly_t()

void convertFacCF2Fq_poly_t	(	fq_poly_t	result,
		const CanonicalForm &	f,
		const fq_ctx_t	ctx
	)

conversion of a factory univariate poly over F_q (for non-word size p) to a FLINT fq_poly_t

Parameters

[in,out]	result	fq_poly_t
[in]	f	univariate poly over Fq
[in]	ctx	Fq context

Definition at line 511 of file FLINTconvert.cc.

{
  fq_poly_init2 (result, degree (f)+1, ctx);
 
  _fq_poly_set_length (result, degree (f) + 1, ctx);
 
  for (CFIterator i= f; i.hasTerms(); i++)
  {
    fq_t buf;
    convertFacCF2Fq_t (buf, i.coeff(), ctx);
    fq_poly_set_coeff (result, i.exp(), buf, ctx);
    fq_clear (buf, ctx);
  }
}

convertFacCF2Fq_t()

void convertFacCF2Fq_t	(	fq_t	result,
		const CanonicalForm &	f,
		const fq_ctx_t	ctx
	)

conversion of a factory element of F_q (for non-word size p) to a FLINT fq_t

Parameters

[in,out]	result	fq_t
[in]	f	element of Fq
[in]	ctx	Fq context

Definition at line 487 of file FLINTconvert.cc.

{
  fmpz_poly_init2 (result, fq_ctx_degree(ctx));
  _fmpz_poly_set_length(result, fq_ctx_degree(ctx));
 
  for (CFIterator i= f; i.hasTerms(); i++)
  {
    ASSERT(i.exp() < result->length, "input is not reduced");
    convertCF2initFmpz (fmpz_poly_get_coeff_ptr(result, i.exp()), i.coeff()); // assumes initialized
  }
 
  _fmpz_vec_scalar_mod_fmpz (result->coeffs, result->coeffs, result->length,
                             fq_ctx_prime(ctx));
 
  _fmpz_poly_normalise (result);
}

convertFacCF2nmod_poly_t()

void convertFacCF2nmod_poly_t	(	nmod_poly_t	result,
		const CanonicalForm &	f
	)

conversion of a factory univariate polynomials over Z/p (for word size p) to nmod_poly_t

Parameters

[in,out]	result	a nmod_poly_t
[in]	f	univariate poly over Z/p

Definition at line 189 of file FLINTconvert.cc.

{
  bool save_sym_ff= isOn (SW_SYMMETRIC_FF);
  if (save_sym_ff) Off (SW_SYMMETRIC_FF);
  nmod_poly_init2 (result, getCharacteristic(), degree (f)+1);
  for (CFIterator i= f; i.hasTerms(); i++)
  {
    CanonicalForm c= i.coeff();
    if (!c.isImm()) c=c.mapinto(); //c%= getCharacteristic();
    if (!c.isImm())
    {  //This case will never happen if the characteristic is in fact a prime
       // number, since all coefficients are represented as immediates
       printf("convertCF2nmod_poly_t: coefficient not immediate!, char=%d\n",
              getCharacteristic());
    }
    else
      nmod_poly_set_coeff_ui (result, i.exp(), c.intval());
  }
  if (save_sym_ff) On (SW_SYMMETRIC_FF);
}

convertFacCFMatrix2Fmpz_mat_t()

void convertFacCFMatrix2Fmpz_mat_t	(	fmpz_mat_t	M,
		const CFMatrix &	m
	)

conversion of a factory matrix over Z to a fmpz_mat_t

Parameters

[in,out]	M	fmpz_mat_t
[in]	m	matrix over Z

Definition at line 587 of file FLINTconvert.cc.

{
  fmpz_mat_init (M, (long) m.rows(), (long) m.columns());
 
  int i,j;
  for(i=m.rows();i>0;i--)
  {
    for(j=m.columns();j>0;j--)
    {
      convertCF2initFmpz (fmpz_mat_entry (M,i-1,j-1), m(i,j)); // assumes initialized
    }
  }
}

convertFacCFMatrix2Fq_nmod_mat_t()

void convertFacCFMatrix2Fq_nmod_mat_t	(	fq_nmod_mat_t	M,
		const fq_nmod_ctx_t	fq_con,
		const CFMatrix &	m
	)

conversion of a factory matrix over F_q to a fq_nmod_mat_t

Parameters

[in,out]	M	fq_nmod_mat_t
[in]	fq_con	Fq context
[in]	m	matrix over Fq

Definition at line 648 of file FLINTconvert.cc.

{
  fq_nmod_mat_init (M, (long) m.rows(), (long) m.columns(), fq_con);
  int i,j;
  for(i=m.rows();i>0;i--)
  {
    for(j=m.columns();j>0;j--)
    {
      convertFacCF2nmod_poly_t (M->rows[i-1]+j-1, m (i,j));
    }
  }
}

convertFacCFMatrix2nmod_mat_t()

void convertFacCFMatrix2nmod_mat_t	(	nmod_mat_t	M,
		const CFMatrix &	m
	)

conversion of a factory matrix over Z/p to a nmod_mat_t

Parameters

[in,out]	M	nmod_mat_t
[in]	m	matrix over Z/p

Definition at line 614 of file FLINTconvert.cc.

{
  nmod_mat_init (M, (long) m.rows(), (long) m.columns(), getCharacteristic());
 
  bool save_sym_ff= isOn (SW_SYMMETRIC_FF);
  if (save_sym_ff) Off (SW_SYMMETRIC_FF);
  int i,j;
  for(i=m.rows();i>0;i--)
  {
    for(j=m.columns();j>0;j--)
    {
      if(!(m(i,j)).isImm()) printf("convertFacCFMatrix2FLINTmat_zz_p: not imm.\n");
      nmod_mat_entry (M,i-1,j-1)= (m(i,j)).intval();
    }
  }
  if (save_sym_ff) On (SW_SYMMETRIC_FF);
}

convertFLINTFq_nmod_poly_factor2FacCFFList()

CFFList convertFLINTFq_nmod_poly_factor2FacCFFList	(	const fq_nmod_poly_factor_t	fac,
		const Variable &	x,
		const Variable &	alpha,
		const fq_nmod_ctx_t	fq_con
	)

conversion of a FLINT factorization over Fq (for word size p) to a CFFList

Parameters

[in]	fac	fq_nmod_poly_factor_t
[in]	x	polynomial variable
[in]	alpha	algebraic variable
[in]	fq_con	Fq context

Definition at line 381 of file FLINTconvert.cc.

{
  CFFList result;
 
  long i;
 
  for (i = 0; i < fac->num; i++)
    result.append (CFFactor (convertFq_nmod_poly_t2FacCF (
                             (fq_nmod_poly_t &)fac->poly[i], x, alpha, fq_con),
                             fac->exp[i]));
  return result;
}

convertFLINTnmod_poly_factor2FacCFFList()

CFFList convertFLINTnmod_poly_factor2FacCFFList	(	const nmod_poly_factor_t	fac,
		const mp_limb_t	leadingCoeff,
		const Variable &	x
	)

conversion of a FLINT factorization over Z/p (for word size p) to a CFFList

Parameters

[in]	fac	a nmod_poly_factor_t
[in]	leadingCoeff	leading coefficient
[in]	x	variable the result should have

Definition at line 339 of file FLINTconvert.cc.

{
  CFFList result;
  if (leadingCoeff != 1)
    result.insert (CFFactor (CanonicalForm ((long) leadingCoeff), 1));
 
  long i;
 
  for (i = 0; i < fac->num; i++)
    result.append (CFFactor (convertnmod_poly_t2FacCF (
                             (nmod_poly_t &)fac->p[i],x),
                             fac->exp[i]));
  return result;
}

convertFmpq2CF()

CanonicalForm convertFmpq2CF

(

const fmpq_t

q

)

conversion of a FLINT rational to CanonicalForm

Definition at line 254 of file FLINTconvert.cc.

{
  bool isRat= isOn (SW_RATIONAL);
  if (!isRat)
    On (SW_RATIONAL);
 
  CanonicalForm num, den;
  mpz_t nnum, nden;
  mpz_init (nnum);
  mpz_init (nden);
  fmpz_get_mpz (nnum, fmpq_numref (q));
  fmpz_get_mpz (nden, fmpq_denref (q));
 
  CanonicalForm result;
  if (mpz_is_imm (nden))
  {
    if (mpz_is_imm(nnum))
    {
      num= CanonicalForm (mpz_get_si(nnum));
      den= CanonicalForm (mpz_get_si(nden));
      mpz_clear (nnum);
      mpz_clear (nden);
      result= num/den;
    }
    else if (mpz_cmp_si(nden,1)==0)
    {
      result= CanonicalForm( CFFactory::basic(nnum));
      mpz_clear (nden);
    }
    else
      result= CanonicalForm( CFFactory::rational( nnum, nden, false));
  }
  else
  {
    result= CanonicalForm( CFFactory::rational( nnum, nden, false));
  }
  if (!isRat)
    Off (SW_RATIONAL);
  return result;
}

convertFmpq_poly_t2FacCF()

CanonicalForm convertFmpq_poly_t2FacCF	(	const fmpq_poly_t	p,
		const Variable &	x
	)

conversion of a FLINT poly over Q to CanonicalForm

Parameters

[in]	p	an fmpq_poly_t
[in]	x	variable the result should have

Definition at line 296 of file FLINTconvert.cc.

{
  CanonicalForm result= 0;
  fmpq_t coeff;
  long n= p->length;
  for (long i= 0; i < n; i++)
  {
    fmpq_init (coeff);
    fmpq_poly_get_coeff_fmpq (coeff, p, i);
    if (fmpq_is_zero (coeff))
    {
      fmpq_clear (coeff);
      continue;
    }
    result += convertFmpq2CF (coeff)*power (x, i);
    fmpq_clear (coeff);
  }
  return result;
}

convertFmpz2CF()

CanonicalForm convertFmpz2CF

(

const fmpz_t

coefficient

)

conversion of a FLINT integer to CanonicalForm

Parameters

[in]

coefficient

a FLINT integer

Definition at line 155 of file FLINTconvert.cc.

{
  if(!COEFF_IS_MPZ(*coefficient)
  &&  (fmpz_cmp_si (coefficient, MINIMMEDIATE) >= 0)
  &&  (fmpz_cmp_si (coefficient, MAXIMMEDIATE) <= 0))
  {
    long coeff= fmpz_get_si (coefficient);
    return CanonicalForm (coeff);
  }
  else
  {
    mpz_t gmp_val;
    mpz_init (gmp_val);
    fmpz_get_mpz (gmp_val, coefficient);
    CanonicalForm result= CanonicalForm (CFFactory::basic (gmp_val));
    return result;
  }
}

convertFmpz_mat_t2FacCFMatrix()

CFMatrix * convertFmpz_mat_t2FacCFMatrix

(

const fmpz_mat_t

m

)

conversion of a FLINT matrix over Z to a factory matrix

Parameters

[in]

m

fmpz_mat_t

Definition at line 600 of file FLINTconvert.cc.

{
  CFMatrix *res=new CFMatrix(fmpz_mat_nrows (m),fmpz_mat_ncols (m));
  int i,j;
  for(i=res->rows();i>0;i--)
  {
    for(j=res->columns();j>0;j--)
    {
      (*res)(i,j)=convertFmpz2CF(fmpz_mat_entry (m,i-1,j-1));
    }
  }
  return res;
}

convertFmpz_mod_poly_t2FacCF()

CanonicalForm convertFmpz_mod_poly_t2FacCF	(	const fmpz_mod_poly_t	poly,
		const Variable &	x,
		const modpk &	b
	)

conversion of a FLINT poly over Z/p (for non word size p) to a CanonicalForm over Z

Parameters

[in]	poly	fmpz_mod_poly_t
[in]	x	variable the result should have
[in]	b	coeff bound to map coeffs in (-p/2,p/2)

Definition at line 421 of file FLINTconvert.cc.

{
  fmpz_poly_t buf;
  fmpz_poly_init (buf);
  #if (__FLINT_RELEASE >= 20700)
  fmpz_t FLINTp;
  fmpz_init (FLINTp);
  convertCF2initFmpz (FLINTp, b.getpk()); // assumes initialized
  fmpz_mod_ctx_t ctx;
  fmpz_mod_ctx_init(ctx,FLINTp);
  fmpz_clear(FLINTp);
  fmpz_mod_poly_get_fmpz_poly (buf, poly, ctx);
  #else
  fmpz_mod_poly_get_fmpz_poly (buf, poly);
  #endif
  CanonicalForm result= convertFmpz_poly_t2FacCF (buf, x);
  fmpz_poly_clear (buf);
  return b (result);
}

convertFmpz_poly_t2FacCF()

CanonicalForm convertFmpz_poly_t2FacCF	(	const fmpz_poly_t	poly,
		const Variable &	x
	)

conversion of a FLINT poly over Z to CanonicalForm

Parameters

[in]	poly	an fmpz_poly_t
[in]	x	variable the result should have

Definition at line 175 of file FLINTconvert.cc.

{
  CanonicalForm result= 0;
  fmpz* coeff;
  for (int i= 0; i < fmpz_poly_length (poly); i++)
  {
    coeff= fmpz_poly_get_coeff_ptr (poly, i);
    if (!fmpz_is_zero (coeff))
      result += convertFmpz2CF (coeff)*power (x,i);
  }
  return result;
}

convertFq_nmod_mat_t2FacCFMatrix()

CFMatrix * convertFq_nmod_mat_t2FacCFMatrix	(	const fq_nmod_mat_t	m,
		const fq_nmod_ctx_t &	fq_con,
		const Variable &	alpha
	)

conversion of a FLINT matrix over F_q to a factory matrix

Parameters

[in]	m	fq_nmod_mat_t
[in]	fq_con	Fq context
[in]	alpha	algebraic variable

Definition at line 663 of file FLINTconvert.cc.

{
  CFMatrix *res=new CFMatrix(fq_nmod_mat_nrows (m, fq_con),
                             fq_nmod_mat_ncols (m, fq_con));
  int i,j;
  for(i=res->rows();i>0;i--)
  {
    for(j=res->columns();j>0;j--)
    {
      (*res)(i,j)=convertFq_nmod_t2FacCF (fq_nmod_mat_entry (m, i-1, j-1),
                                          alpha, fq_con);
    }
  }
  return res;
}

convertFq_nmod_poly_t2FacCF()

CanonicalForm convertFq_nmod_poly_t2FacCF	(	const fq_nmod_poly_t	p,
		const Variable &	x,
		const Variable &	alpha,
		const fq_nmod_ctx_t	ctx
	)

conversion of a FLINT poly over Fq to a CanonicalForm with alg. variable alpha and polynomial variable x

Parameters

[in]	p	fq_nmod_poly_t
[in]	x	polynomial var.
[in]	alpha	algebraic var.
[in]	ctx	Fq context

Definition at line 566 of file FLINTconvert.cc.

{
  CanonicalForm result= 0;
  fq_nmod_t coeff;
  long n= fq_nmod_poly_length (p, ctx);
  fq_nmod_init2 (coeff, ctx);
  for (long i= 0; i < n; i++)
  {
    fq_nmod_poly_get_coeff (coeff, p, i, ctx);
    if (fq_nmod_is_zero (coeff, ctx))
      continue;
    result += convertFq_nmod_t2FacCF (coeff, alpha, ctx)*power (x, i);
    fq_nmod_zero (coeff, ctx);
  }
  fq_nmod_clear (coeff, ctx);
 
  return result;
}

convertFq_nmod_t2FacCF()

CanonicalForm convertFq_nmod_t2FacCF	(	const fq_nmod_t	poly,
		const Variable &	alpha,
		const	fq_nmod_ctx_t
	)

conversion of a FLINT element of F_q to a CanonicalForm with alg. variable alpha

Parameters

[in]	poly	fq_nmod_t
[in]	alpha	algebraic variable
[in]	fq_nmod_ctx_t	context

Definition at line 481 of file FLINTconvert.cc.

{
  return convertnmod_poly_t2FacCF (poly, alpha);
}

convertFq_poly_t2FacCF()

CanonicalForm convertFq_poly_t2FacCF	(	const fq_poly_t	p,
		const Variable &	x,
		const Variable &	alpha,
		const fq_ctx_t	ctx
	)

conversion of a FLINT poly over Fq (for non-word size p) to a CanonicalForm with alg. variable alpha and polynomial variable x

Parameters

[in]	p	fq_poly_t
[in]	x	polynomial variable
[in]	alpha	algebraic variable
[in]	ctx	Fq context

Definition at line 545 of file FLINTconvert.cc.

{
  CanonicalForm result= 0;
  fq_t coeff;
  long n= fq_poly_length (p, ctx);
  fq_init2 (coeff, ctx);
  for (long i= 0; i < n; i++)
  {
    fq_poly_get_coeff (coeff, p, i, ctx);
    if (fq_is_zero (coeff, ctx))
      continue;
    result += convertFq_t2FacCF (coeff, alpha)*power (x, i);
    fq_zero (coeff, ctx);
  }
  fq_clear (coeff, ctx);
 
  return result;
}

convertFq_t2FacCF()

CanonicalForm convertFq_t2FacCF	(	const fq_t	poly,
		const Variable &	alpha
	)

conversion of a FLINT element of F_q with non-word size p to a CanonicalForm with alg. variable alpha

Parameters

[in]	poly	fq_t
[in]	alpha	algebraic variable

Definition at line 505 of file FLINTconvert.cc.

{
  return convertFmpz_poly_t2FacCF (poly, alpha);
}

convertNmod_mat_t2FacCFMatrix()

CFMatrix * convertNmod_mat_t2FacCFMatrix

(

const nmod_mat_t

m

)

conversion of a FLINT matrix over Z/p to a factory matrix

Parameters

[in]

m

nmod_mat_t

Definition at line 632 of file FLINTconvert.cc.

{
  CFMatrix *res=new CFMatrix(nmod_mat_nrows (m), nmod_mat_ncols (m));
  int i,j;
  for(i=res->rows();i>0;i--)
  {
    for(j=res->columns();j>0;j--)
    {
      (*res)(i,j)=CanonicalForm((long) nmod_mat_entry (m, i-1, j-1));
    }
  }
  return res;
}

convertnmod_poly_t2FacCF()

CanonicalForm convertnmod_poly_t2FacCF	(	const nmod_poly_t	poly,
		const Variable &	x
	)

conversion of a FLINT poly over Z/p to CanonicalForm

Parameters

[in]	poly	a nmod_poly_t
[in]	x	variable the result should have

Definition at line 211 of file FLINTconvert.cc.

{
  CanonicalForm result= 0;
  for (int i= 0; i < nmod_poly_length (poly); i++)
  {
    ulong coeff= nmod_poly_get_coeff_ui (poly, i);
    if (coeff != 0)
      result += CanonicalForm ((long)coeff)*power (x,i);
  }
  return result;
}