/* $Id$ */ #ifndef INCL_NTLCONVERT_H #define INCL_NTLCONVERT_H #ifdef HAVE_NTL // #include #include "cf_defs.h" #include "canonicalform.h" #include "cf_iter.h" #include "fac_berlekamp.h" #include "fac_cantzass.h" #include "fac_univar.h" #include "fac_multivar.h" #include "fac_sqrfree.h" #include "cf_algorithm.h" #include #ifdef NTL_STD_CXX #ifdef NOSTREAMIO # ifdef HAVE_IOSTREAM # include # define OSTREAM std::ostream # define ISTREAM std::istream # elif defined(HAVE_IOSTREAM_H) # include # define OSTREAM ostream # define ISTREAM istream # endif #endif /* ! NOSTREAMIO */ #endif #include #include #include #include #include #include #include #include #include #include #ifdef NTL_CLIENT // in : using of name space NTL NTL_CLIENT #endif #include "int_int.h" #include "cf_assert.h" ZZ_pX convertFacCF2NTLZZpX(CanonicalForm f); zz_pX convertFacCF2NTLzzpX(CanonicalForm f); GF2X convertFacCF2NTLGF2X(CanonicalForm f); CanonicalForm convertNTLZZpX2CF(ZZ_pX poly,Variable x); CanonicalForm convertNTLzzpX2CF(zz_pX poly,Variable x); CanonicalForm convertNTLGF2X2CF(GF2X poly,Variable x); CanonicalForm convertNTLZZX2CF(ZZX polynom,Variable x); CFFList convertNTLvec_pair_ZZpX_long2FacCFFList(vec_pair_ZZ_pX_long e,ZZ_p multi,Variable x); CFFList convertNTLvec_pair_zzpX_long2FacCFFList(vec_pair_zz_pX_long e,zz_p multi,Variable x); CFFList convertNTLvec_pair_GF2X_long2FacCFFList(vec_pair_GF2X_long e,GF2 multi,Variable x); CanonicalForm convertZZ2CF(ZZ coefficient); ZZ convertFacCF2NTLZZ(const CanonicalForm f); ZZX convertFacCF2NTLZZX(CanonicalForm f); CFFList convertNTLvec_pair_ZZX_long2FacCFFList(vec_pair_ZZX_long e,ZZ multi,Variable x); CanonicalForm convertNTLZZpE2CF(ZZ_pE coefficient,Variable x); CFFList convertNTLvec_pair_ZZpEX_long2FacCFFList(vec_pair_ZZ_pEX_long e,ZZ_pE multi,Variable x,Variable alpha); CanonicalForm convertNTLGF2E2CF(GF2E coefficient,Variable x); CFFList convertNTLvec_pair_GF2EX_long2FacCFFList(vec_pair_GF2EX_long e,GF2E multi,Variable x,Variable alpha); GF2EX convertFacCF2NTLGF2EX(CanonicalForm f,GF2X mipo); ZZ_pEX convertFacCF2NTLZZ_pEX(CanonicalForm f,ZZ_pX mipo); zz_pEX convertFacCF2NTLzz_pEX(CanonicalForm f,zz_pX mipo); CanonicalForm convertNTLzzpE2CF(zz_pE f, Variable x); CFFList convertNTLvec_pair_zzpEX_long2FacCFFList(vec_pair_zz_pEX_long e,zz_pE multi,Variable x,Variable alpha); CanonicalForm convertNTLzz_pEX2CF(zz_pEX f, Variable x, Variable alpha); CanonicalForm convertNTLZZ_pEX2CF(ZZ_pEX f, Variable x, Variable alpha); mat_ZZ* convertFacCFMatrix2NTLmat_ZZ(CFMatrix &m); CFMatrix* convertNTLmat_ZZ2FacCFMatrix(mat_ZZ &m); mat_zz_p* convertFacCFMatrix2NTLmat_zz_p(CFMatrix &m); CFMatrix* convertNTLmat_zz_p2FacCFMatrix(mat_zz_p &m); mat_zz_pE* convertFacCFMatrix2NTLmat_zz_pE(CFMatrix &m); CFMatrix* convertNTLmat_zz_pE2FacCFMatrix(mat_zz_pE &m, Variable alpha); extern long fac_NTL_char; #endif #endif