Loading...
Searching...
No Matches
NTLconvert.h
Go to the documentation of this file.
/**
* @file NTLconvert.h
*
* Conversion to and from NTL
**/
#ifndef INCL_NTLCONVERT_H
#define INCL_NTLCONVERT_H
#ifdef HAVE_NTL
#include "cf_defs.h"
#include "canonicalform.h"
#include "cf_iter.h"
#include "fac_sqrfree.h"
#include "cf_algorithm.h"
#include <NTL/config.h>
#ifdef NTL_STD_CXX
#ifdef NOSTREAMIO
# ifdef HAVE_IOSTREAM
# include <iostream>
# define OSTREAM std::ostream
# define ISTREAM std::istream
# elif defined(HAVE_IOSTREAM_H)
# include <iostream.h>
# define OSTREAM ostream
# define ISTREAM istream
# endif
#endif /* ! NOSTREAMIO */
#endif
#include <NTL/ZZXFactoring.h>
#include <NTL/ZZ_pXFactoring.h>
#include <NTL/lzz_pXFactoring.h>
#include <NTL/GF2XFactoring.h>
#include <NTL/ZZ_pEXFactoring.h>
#include <NTL/lzz_pEXFactoring.h>
#include <NTL/GF2EXFactoring.h>
#include <NTL/mat_ZZ.h>
#include <NTL/mat_lzz_p.h>
#include <NTL/mat_lzz_pE.h>
#ifdef NTL_CLIENT // in <NTL/tools.h>: using of name space NTL
NTL_CLIENT
#endif
#include "int_int.h"
#include "cf_assert.h"
ZZ_pX convertFacCF2NTLZZpX(const CanonicalForm & f);
zz_pX convertFacCF2NTLzzpX(const CanonicalForm & f);
GF2X convertFacCF2NTLGF2X(const CanonicalForm & f);
CanonicalForm convertNTLZZpX2CF(const ZZ_pX & poly,const Variable & x);
CanonicalForm convertNTLzzpX2CF(const zz_pX & poly,const Variable & x);
CanonicalForm convertNTLGF2X2CF(const GF2X & poly,const Variable & x);
CanonicalForm convertNTLZZX2CF(const ZZX & polynom,const Variable & x);
CFFList convertNTLvec_pair_ZZpX_long2FacCFFList(const vec_pair_ZZ_pX_long& e,const ZZ_p & cont,const Variable & x);
CFFList convertNTLvec_pair_zzpX_long2FacCFFList(const vec_pair_zz_pX_long& e,const zz_p cont,const Variable & x);
CFFList convertNTLvec_pair_GF2X_long2FacCFFList(const vec_pair_GF2X_long& e,const GF2 cont,const Variable & x);
CanonicalForm convertZZ2CF(const ZZ & coefficient);
ZZ convertFacCF2NTLZZ(const CanonicalForm & f);
ZZX convertFacCF2NTLZZX(const CanonicalForm & f);
CFFList convertNTLvec_pair_ZZX_long2FacCFFList(const vec_pair_ZZX_long& e,const ZZ & cont,const Variable & x);
CanonicalForm convertNTLZZpE2CF(const ZZ_pE & coefficient,const Variable & x);
CFFList convertNTLvec_pair_ZZpEX_long2FacCFFList(const vec_pair_ZZ_pEX_long & e,const ZZ_pE & cont,const Variable & x,const Variable & alpha);
CanonicalForm convertNTLGF2E2CF(const GF2E & coefficient,const Variable & x);
CFFList convertNTLvec_pair_GF2EX_long2FacCFFList(const vec_pair_GF2EX_long& e,const GF2E & cont,const Variable & x,const Variable & alpha);
GF2EX convertFacCF2NTLGF2EX(const CanonicalForm & f,const GF2X & mipo);
ZZ_pEX convertFacCF2NTLZZ_pEX(const CanonicalForm & f,const ZZ_pX & mipo);
zz_pEX convertFacCF2NTLzz_pEX(const CanonicalForm & f,const zz_pX & mipo);
CanonicalForm convertNTLzzpE2CF(const zz_pE & f, const Variable & x);
CFFList convertNTLvec_pair_zzpEX_long2FacCFFList(const vec_pair_zz_pEX_long & e,const zz_pE & cont,const Variable & x,const Variable & alpha);
CanonicalForm convertNTLzz_pEX2CF(const zz_pEX & f, const Variable & x, const Variable & alpha);
CanonicalForm convertNTLZZ_pEX2CF(const ZZ_pEX & f, const Variable & x, const Variable & alpha);
mat_ZZ* convertFacCFMatrix2NTLmat_ZZ(const CFMatrix &m);
CFMatrix* convertNTLmat_ZZ2FacCFMatrix(const mat_ZZ &m);
mat_zz_p* convertFacCFMatrix2NTLmat_zz_p(const CFMatrix &m);
CFMatrix* convertNTLmat_zz_p2FacCFMatrix(const mat_zz_p &m);
mat_zz_pE* convertFacCFMatrix2NTLmat_zz_pE(const CFMatrix &m);
CFMatrix* convertNTLmat_zz_pE2FacCFMatrix(const mat_zz_pE &m, const Variable & alpha);
EXTERN_VAR long fac_NTL_char;
#endif
#endif
fac_NTL_char
VAR long fac_NTL_char
Definition NTLconvert.cc:46
convertNTLmat_zz_p2FacCFMatrix
CFMatrix * convertNTLmat_zz_p2FacCFMatrix(const mat_zz_p &m)
Definition NTLconvert.cc:1183
convertNTLZZpE2CF
CanonicalForm convertNTLZZpE2CF(const ZZ_pE &coefficient, const Variable &x)
NAME: convertNTLZZpX2CF.
Definition NTLconvert.cc:795
convertNTLGF2E2CF
CanonicalForm convertNTLGF2E2CF(const GF2E &coefficient, const Variable &x)
NAME: convertNTLGF2E2CF.
Definition NTLconvert.cc:932
convertFacCF2NTLZZX
ZZX convertFacCF2NTLZZX(const CanonicalForm &f)
Definition NTLconvert.cc:691
convertFacCF2NTLzz_pEX
zz_pEX convertFacCF2NTLzz_pEX(const CanonicalForm &f, const zz_pX &mipo)
Definition NTLconvert.cc:1064
convertNTLmat_zz_pE2FacCFMatrix
CFMatrix * convertNTLmat_zz_pE2FacCFMatrix(const mat_zz_pE &m, const Variable &alpha)
Definition NTLconvert.cc:1212
convertNTLvec_pair_zzpEX_long2FacCFFList
CFFList convertNTLvec_pair_zzpEX_long2FacCFFList(const vec_pair_zz_pEX_long &e, const zz_pE &cont, const Variable &x, const Variable &alpha)
Definition NTLconvert.cc:870
convertNTLvec_pair_GF2EX_long2FacCFFList
CFFList convertNTLvec_pair_GF2EX_long2FacCFFList(const vec_pair_GF2EX_long &e, const GF2E &cont, const Variable &x, const Variable &alpha)
NAME: convertNTLvec_pair_GF2EX_long2FacCFFList.
Definition NTLconvert.cc:959
convertNTLzz_pEX2CF
CanonicalForm convertNTLzz_pEX2CF(const zz_pEX &f, const Variable &x, const Variable &alpha)
Definition NTLconvert.cc:1092
convertFacCF2NTLZZ_pEX
ZZ_pEX convertFacCF2NTLZZ_pEX(const CanonicalForm &f, const ZZ_pX &mipo)
CanonicalForm in Z_p(a)[X] to NTL ZZ_pEX.
Definition NTLconvert.cc:1037
convertNTLzzpX2CF
CanonicalForm convertNTLzzpX2CF(const zz_pX &poly, const Variable &x)
Definition NTLconvert.cc:255
convertNTLvec_pair_zzpX_long2FacCFFList
CFFList convertNTLvec_pair_zzpX_long2FacCFFList(const vec_pair_zz_pX_long &e, const zz_p cont, const Variable &x)
Definition NTLconvert.cc:399
convertFacCFMatrix2NTLmat_zz_pE
mat_zz_pE * convertFacCFMatrix2NTLmat_zz_pE(const CFMatrix &m)
Definition NTLconvert.cc:1196
convertFacCF2NTLGF2EX
GF2EX convertFacCF2NTLGF2EX(const CanonicalForm &f, const GF2X &mipo)
CanonicalForm in Z_2(a)[X] to NTL GF2EX.
Definition NTLconvert.cc:1007
convertNTLZZpX2CF
CanonicalForm convertNTLZZpX2CF(const ZZ_pX &poly, const Variable &x)
NAME: convertNTLZZpX2CF.
Definition NTLconvert.cc:250
convertNTLzzpE2CF
CanonicalForm convertNTLzzpE2CF(const zz_pE &f, const Variable &x)
Definition NTLconvert.cc:799
convertNTLZZX2CF
CanonicalForm convertNTLZZX2CF(const ZZX &polynom, const Variable &x)
Definition NTLconvert.cc:285
convertNTLvec_pair_ZZpEX_long2FacCFFList
CFFList convertNTLvec_pair_ZZpEX_long2FacCFFList(const vec_pair_ZZ_pEX_long &e, const ZZ_pE &cont, const Variable &x, const Variable &alpha)
NAME: convertNTLvec_pair_ZZpEX_long2FacCFFList.
Definition NTLconvert.cc:825
convertNTLZZ_pEX2CF
CanonicalForm convertNTLZZ_pEX2CF(const ZZ_pEX &f, const Variable &x, const Variable &alpha)
Definition NTLconvert.cc:1115
convertFacCF2NTLzzpX
zz_pX convertFacCF2NTLzzpX(const CanonicalForm &f)
Definition NTLconvert.cc:105
convertFacCF2NTLZZpX
ZZ_pX convertFacCF2NTLZZpX(const CanonicalForm &f)
NAME: convertFacCF2NTLZZpX.
Definition NTLconvert.cc:64
convertZZ2CF
CanonicalForm convertZZ2CF(const ZZ &coefficient)
NAME: convertZZ2CF.
Definition NTLconvert.cc:495
convertFacCFMatrix2NTLmat_ZZ
mat_ZZ * convertFacCFMatrix2NTLmat_ZZ(const CFMatrix &m)
Definition NTLconvert.cc:1138
convertNTLvec_pair_ZZpX_long2FacCFFList
CFFList convertNTLvec_pair_ZZpX_long2FacCFFList(const vec_pair_ZZ_pX_long &e, const ZZ_p &cont, const Variable &x)
NAME: convertNTLvec_pair_ZZpX_long2FacCFFList.
Definition NTLconvert.cc:374
convertFacCFMatrix2NTLmat_zz_p
mat_zz_p * convertFacCFMatrix2NTLmat_zz_p(const CFMatrix &m)
Definition NTLconvert.cc:1167
convertNTLmat_ZZ2FacCFMatrix
CFMatrix * convertNTLmat_ZZ2FacCFMatrix(const mat_ZZ &m)
Definition NTLconvert.cc:1153
convertFacCF2NTLGF2X
GF2X convertFacCF2NTLGF2X(const CanonicalForm &f)
NAME: convertFacCF2NTLGF2X.
Definition NTLconvert.cc:184
convertFacCF2NTLZZ
ZZ convertFacCF2NTLZZ(const CanonicalForm &f)
NAME: convertFacCF2NTLZZX.
Definition NTLconvert.cc:670
convertNTLGF2X2CF
CanonicalForm convertNTLGF2X2CF(const GF2X &poly, const Variable &x)
NAME: convertNTLGF2X2CF.
Definition NTLconvert.cc:322
convertNTLvec_pair_GF2X_long2FacCFFList
CFFList convertNTLvec_pair_GF2X_long2FacCFFList(const vec_pair_GF2X_long &e, const GF2 cont, const Variable &x)
NAME: convertNTLvec_pair_GF2X_long2FacCFFList.
Definition NTLconvert.cc:446
convertNTLvec_pair_ZZX_long2FacCFFList
CFFList convertNTLvec_pair_ZZX_long2FacCFFList(const vec_pair_ZZX_long &e, const ZZ &cont, const Variable &x)
NAME: convertNTLvec_pair_ZZX_long2FacCFFList.
Definition NTLconvert.cc:753
canonicalform.h
Header for factory's main class CanonicalForm.
CFMatrix
Matrix< CanonicalForm > CFMatrix
Definition canonicalform.h:398
CFFList
List< CFFactor > CFFList
Definition canonicalform.h:393
m
int m
Definition cfEzgcd.cc:128
x
Variable x
Definition cfModGcd.cc:4090
cf_algorithm.h
declarations of higher level algorithms.
cf_assert.h
assertions for Factory
cf_defs.h
factory switches.
cf_iter.h
Iterators for CanonicalForm's.
f
FILE * f
Definition checklibs.c:9
CanonicalForm
factory's main class
Definition canonicalform.h:86
Variable
factory's class for variables
Definition factory.h:127
alpha
Variable alpha
Definition facAbsBiFact.cc:52
mipo
CanonicalForm mipo
Definition facAlgExt.cc:57
fac_sqrfree.h
squarefree part and factorization over Q, Q(a)
EXTERN_VAR
#define EXTERN_VAR
Definition globaldefs.h:6
int_int.h
Factory's internal integers.