[b52d27] | 1 | /** |
---|
| 2 | * @file NTLconvert.h |
---|
| 3 | * |
---|
| 4 | * Conversion to and from NTL |
---|
| 5 | **/ |
---|
| 6 | |
---|
[a99e31] | 7 | #ifndef INCL_NTLCONVERT_H |
---|
| 8 | #define INCL_NTLCONVERT_H |
---|
| 9 | |
---|
[9c6887] | 10 | #ifdef HAVE_NTL |
---|
[a99e31] | 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 | |
---|
[2db7ae] | 18 | #include <NTL/config.h> |
---|
[e4fe2b] | 19 | |
---|
[2db7ae] | 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 | |
---|
[e4fe2b] | 34 | |
---|
[ec60a3] | 35 | #include <NTL/ZZXFactoring.h> |
---|
| 36 | #include <NTL/ZZ_pXFactoring.h> |
---|
[f11d7b] | 37 | #include <NTL/lzz_pXFactoring.h> |
---|
[ec60a3] | 38 | #include <NTL/GF2XFactoring.h> |
---|
| 39 | #include <NTL/ZZ_pEXFactoring.h> |
---|
[5af844a] | 40 | #include <NTL/lzz_pEXFactoring.h> |
---|
[ec60a3] | 41 | #include <NTL/GF2EXFactoring.h> |
---|
[e950c22] | 42 | #include <NTL/mat_ZZ.h> |
---|
[c24143a] | 43 | #include <NTL/mat_lzz_p.h> |
---|
| 44 | #include <NTL/mat_lzz_pE.h> |
---|
[e950c22] | 45 | |
---|
[11812a] | 46 | #ifdef NTL_CLIENT // in <NTL/tools.h>: using of name space NTL |
---|
| 47 | NTL_CLIENT |
---|
| 48 | #endif |
---|
| 49 | |
---|
[e4fe2b] | 50 | |
---|
| 51 | |
---|
| 52 | |
---|
| 53 | #include "int_int.h" |
---|
| 54 | #include "cf_assert.h" |
---|
| 55 | |
---|
| 56 | |
---|
[d193e12] | 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); |
---|
[96113d] | 64 | CFFList convertNTLvec_pair_ZZpX_long2FacCFFList(const vec_pair_ZZ_pX_long& e,const ZZ_p & cont,const Variable & x); |
---|
| 65 | CFFList convertNTLvec_pair_zzpX_long2FacCFFList(const vec_pair_zz_pX_long& e,const zz_p cont,const Variable & x); |
---|
[d193e12] | 66 | |
---|
[96113d] | 67 | CFFList convertNTLvec_pair_GF2X_long2FacCFFList(const vec_pair_GF2X_long& e,const GF2 cont,const Variable & x); |
---|
[d193e12] | 68 | CanonicalForm convertZZ2CF(const ZZ & coefficient); |
---|
| 69 | ZZ convertFacCF2NTLZZ(const CanonicalForm & f); |
---|
| 70 | ZZX convertFacCF2NTLZZX(const CanonicalForm & f); |
---|
[96113d] | 71 | CFFList convertNTLvec_pair_ZZX_long2FacCFFList(const vec_pair_ZZX_long& e,const ZZ & cont,const Variable & x); |
---|
[d193e12] | 72 | CanonicalForm convertNTLZZpE2CF(const ZZ_pE & coefficient,const Variable & x); |
---|
[96113d] | 73 | CFFList convertNTLvec_pair_ZZpEX_long2FacCFFList(const vec_pair_ZZ_pEX_long & e,const ZZ_pE & cont,const Variable & x,const Variable & alpha); |
---|
[d193e12] | 74 | CanonicalForm convertNTLGF2E2CF(const GF2E & coefficient,const Variable & x); |
---|
[96113d] | 75 | CFFList convertNTLvec_pair_GF2EX_long2FacCFFList(const vec_pair_GF2EX_long& e,const GF2E & cont,const Variable & x,const Variable & alpha); |
---|
[d193e12] | 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); |
---|
[96113d] | 80 | CFFList convertNTLvec_pair_zzpEX_long2FacCFFList(const vec_pair_zz_pEX_long & e,const zz_pE & cont,const Variable & x,const Variable & alpha); |
---|
[d193e12] | 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); |
---|
[c24143a] | 90 | |
---|
[a3f0fea] | 91 | EXTERN_VAR long fac_NTL_char; |
---|
[a99e31] | 92 | #endif |
---|
[d30633d] | 93 | #endif |
---|