| 1 | /** |
|---|
| 2 | * @file NTLconvert.h |
|---|
| 3 | * |
|---|
| 4 | * Conversion to and from NTL |
|---|
| 5 | **/ |
|---|
| 6 | |
|---|
| 7 | #ifndef INCL_NTLCONVERT_H |
|---|
| 8 | #define INCL_NTLCONVERT_H |
|---|
| 9 | |
|---|
| 10 | #ifdef HAVE_NTL |
|---|
| 11 | |
|---|
| 12 | #include "cf_defs.h" |
|---|
| 13 | #include "canonicalform.h" |
|---|
| 14 | #include "cf_iter.h" |
|---|
| 15 | #include "fac_sqrfree.h" |
|---|
| 16 | #include "cf_algorithm.h" |
|---|
| 17 | |
|---|
| 18 | #include <NTL/config.h> |
|---|
| 19 | |
|---|
| 20 | #ifdef NTL_STD_CXX |
|---|
| 21 | #ifdef NOSTREAMIO |
|---|
| 22 | # ifdef HAVE_IOSTREAM |
|---|
| 23 | # include <iostream> |
|---|
| 24 | # define OSTREAM std::ostream |
|---|
| 25 | # define ISTREAM std::istream |
|---|
| 26 | # elif defined(HAVE_IOSTREAM_H) |
|---|
| 27 | # include <iostream.h> |
|---|
| 28 | # define OSTREAM ostream |
|---|
| 29 | # define ISTREAM istream |
|---|
| 30 | # endif |
|---|
| 31 | #endif /* ! NOSTREAMIO */ |
|---|
| 32 | #endif |
|---|
| 33 | |
|---|
| 34 | |
|---|
| 35 | #include <NTL/ZZXFactoring.h> |
|---|
| 36 | #include <NTL/ZZ_pXFactoring.h> |
|---|
| 37 | #include <NTL/lzz_pXFactoring.h> |
|---|
| 38 | #include <NTL/GF2XFactoring.h> |
|---|
| 39 | #include <NTL/ZZ_pEXFactoring.h> |
|---|
| 40 | #include <NTL/lzz_pEXFactoring.h> |
|---|
| 41 | #include <NTL/GF2EXFactoring.h> |
|---|
| 42 | #include <NTL/mat_ZZ.h> |
|---|
| 43 | #include <NTL/mat_lzz_p.h> |
|---|
| 44 | #include <NTL/mat_lzz_pE.h> |
|---|
| 45 | |
|---|
| 46 | #ifdef NTL_CLIENT // in <NTL/tools.h>: using of name space NTL |
|---|
| 47 | NTL_CLIENT |
|---|
| 48 | #endif |
|---|
| 49 | |
|---|
| 50 | |
|---|
| 51 | |
|---|
| 52 | |
|---|
| 53 | #include "int_int.h" |
|---|
| 54 | #include "cf_assert.h" |
|---|
| 55 | |
|---|
| 56 | |
|---|
| 57 | ZZ_pX convertFacCF2NTLZZpX(const CanonicalForm & f); |
|---|
| 58 | zz_pX convertFacCF2NTLzzpX(const CanonicalForm & f); |
|---|
| 59 | GF2X convertFacCF2NTLGF2X(const CanonicalForm & f); |
|---|
| 60 | CanonicalForm convertNTLZZpX2CF(const ZZ_pX & poly,const Variable & x); |
|---|
| 61 | CanonicalForm convertNTLzzpX2CF(const zz_pX & poly,const Variable & x); |
|---|
| 62 | CanonicalForm convertNTLGF2X2CF(const GF2X & poly,const Variable & x); |
|---|
| 63 | CanonicalForm convertNTLZZX2CF(const ZZX & polynom,const Variable & x); |
|---|
| 64 | CFFList convertNTLvec_pair_ZZpX_long2FacCFFList(const vec_pair_ZZ_pX_long& e,const ZZ_p & multi,const Variable & x); |
|---|
| 65 | CFFList convertNTLvec_pair_zzpX_long2FacCFFList(const vec_pair_zz_pX_long& e,const zz_p multi,const Variable & x); |
|---|
| 66 | |
|---|
| 67 | CFFList convertNTLvec_pair_GF2X_long2FacCFFList(const vec_pair_GF2X_long& e,const GF2 multi,const Variable & x); |
|---|
| 68 | CanonicalForm convertZZ2CF(const ZZ & coefficient); |
|---|
| 69 | ZZ convertFacCF2NTLZZ(const CanonicalForm & f); |
|---|
| 70 | ZZX convertFacCF2NTLZZX(const CanonicalForm & f); |
|---|
| 71 | CFFList convertNTLvec_pair_ZZX_long2FacCFFList(const vec_pair_ZZX_long& e,const ZZ & multi,const Variable & x); |
|---|
| 72 | CanonicalForm convertNTLZZpE2CF(const ZZ_pE & coefficient,const Variable & x); |
|---|
| 73 | CFFList convertNTLvec_pair_ZZpEX_long2FacCFFList(const vec_pair_ZZ_pEX_long & e,const ZZ_pE & multi,const Variable & x,const Variable & alpha); |
|---|
| 74 | CanonicalForm convertNTLGF2E2CF(const GF2E & coefficient,const Variable & x); |
|---|
| 75 | CFFList convertNTLvec_pair_GF2EX_long2FacCFFList(const vec_pair_GF2EX_long& e,const GF2E & multi,const Variable & x,const Variable & alpha); |
|---|
| 76 | GF2EX convertFacCF2NTLGF2EX(const CanonicalForm & f,const GF2X & mipo); |
|---|
| 77 | ZZ_pEX convertFacCF2NTLZZ_pEX(const CanonicalForm & f,const ZZ_pX & mipo); |
|---|
| 78 | zz_pEX convertFacCF2NTLzz_pEX(const CanonicalForm & f,const zz_pX & mipo); |
|---|
| 79 | CanonicalForm convertNTLzzpE2CF(const zz_pE & f, const Variable & x); |
|---|
| 80 | CFFList convertNTLvec_pair_zzpEX_long2FacCFFList(const vec_pair_zz_pEX_long & e,const zz_pE & multi,const Variable & x,const Variable & alpha); |
|---|
| 81 | CanonicalForm convertNTLzz_pEX2CF(const zz_pEX & f, const Variable & x, const Variable & alpha); |
|---|
| 82 | CanonicalForm convertNTLZZ_pEX2CF(const ZZ_pEX & f, const Variable & x, const Variable & alpha); |
|---|
| 83 | |
|---|
| 84 | mat_ZZ* convertFacCFMatrix2NTLmat_ZZ(const CFMatrix &m); |
|---|
| 85 | CFMatrix* convertNTLmat_ZZ2FacCFMatrix(const mat_ZZ &m); |
|---|
| 86 | mat_zz_p* convertFacCFMatrix2NTLmat_zz_p(const CFMatrix &m); |
|---|
| 87 | CFMatrix* convertNTLmat_zz_p2FacCFMatrix(const mat_zz_p &m); |
|---|
| 88 | mat_zz_pE* convertFacCFMatrix2NTLmat_zz_pE(const CFMatrix &m); |
|---|
| 89 | CFMatrix* convertNTLmat_zz_pE2FacCFMatrix(const mat_zz_pE &m, const Variable & alpha); |
|---|
| 90 | |
|---|
| 91 | EXTERN_VAR long fac_NTL_char; |
|---|
| 92 | #endif |
|---|
| 93 | #endif |
|---|
