Changeset 9ee586 in git
- Timestamp:
- Sep 15, 2014, 6:32:29 PM (9 years ago)
- Branches:
- (u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
- Children:
- 1b62751a4d0f3f4b875f0161483c1a86cc1e1ebf
- Parents:
- 7df5dbe44d6ad4e3b6b80e8f74c0a85ec6452b3e
- git-author:
- Hans Schoenemann <hannes@mathematik.uni-kl.de>2014-09-15 18:32:29+02:00
- git-committer:
- Hans Schoenemann <hannes@mathematik.uni-kl.de>2014-09-15 18:33:25+02:00
- Files:
-
- 9 edited
Legend:
- Unmodified
- Added
- Removed
-
dox/Doxyfile.in
r7df5dbe r9ee586 1985 1985 "HAVE_RINGS=1" \ 1986 1986 "HAVE_MORE_FIELDS_IMPLEMENTED=1" \ 1987 "__FLINT_ VERSION_MINOR=4" \1987 "__FLINT_RELEASE=20400" \ 1988 1988 "__GMP_BITS_PER_MP_LIMB=100" \ 1989 1989 __cplusplus \ -
factory/FLINTconvert.cc
r7df5dbe r9ee586 46 46 #include <flint/nmod_mat.h> 47 47 #include <flint/fmpz_mat.h> 48 #if ( __FLINT_VERSION_MINOR >= 4)48 #if ( __FLINT_RELEASE >= 20400) 49 49 #include <flint/fq.h> 50 50 #include <flint/fq_poly.h> … … 271 271 } 272 272 273 #if __FLINT_ VERSION_MINOR >= 4273 #if __FLINT_RELEASE >= 20400 274 274 CFFList 275 275 convertFLINTFq_nmod_poly_factor2FacCFFList (const fq_nmod_poly_factor_t fac, … … 313 313 } 314 314 315 #if __FLINT_ VERSION_MINOR >= 4315 #if __FLINT_RELEASE >= 20400 316 316 void 317 317 convertFacCF2Fq_nmod_t (fq_nmod_t result, const CanonicalForm& f, … … 501 501 } 502 502 503 #if __FLINT_ VERSION_MINOR >= 4503 #if __FLINT_RELEASE >= 20400 504 504 void 505 505 convertFacCFMatrix2Fq_nmod_mat_t (fq_nmod_mat_t M, -
factory/FLINTconvert.h
r7df5dbe r9ee586 35 35 #include <flint/nmod_mat.h> 36 36 #include <flint/fmpz_mat.h> 37 #if ( __FLINT_VERSION_MINOR >= 4)37 #if ( __FLINT_RELEASE >= 20400) 38 38 #include <flint/fq.h> 39 39 #include <flint/fq_poly.h> … … 141 141 ); 142 142 143 #if __FLINT_ VERSION_MINOR >= 4143 #if __FLINT_RELEASE >= 20400 144 144 /// conversion of a FLINT element of F_q to a CanonicalForm with alg. variable 145 145 /// alpha … … 224 224 ); 225 225 226 #if __FLINT_ VERSION_MINOR >= 4226 #if __FLINT_RELEASE >= 20400 227 227 /// conversion of a FLINT matrix over F_q to a factory matrix 228 228 CFMatrix* -
factory/canonicalform.cc
r7df5dbe r9ee586 708 708 value = value->mulcoeff( cf.value ); 709 709 else if ( value->level() == cf.value->level() ) { 710 #if (HAVE_NTL && HAVE_FLINT && __FLINT_ VERSION_MINOR >= 4)710 #if (HAVE_NTL && HAVE_FLINT && __FLINT_RELEASE >= 20400) 711 711 if (value->levelcoeff() == cf.value->levelcoeff() && cf.isUnivariate() && (*this).isUnivariate()) 712 712 { … … 762 762 value = value->dividecoeff( cf.value, false ); 763 763 else if ( value->level() == cf.value->level() ) { 764 #if (HAVE_NTL && HAVE_FLINT && __FLINT_ VERSION_MINOR >= 4)764 #if (HAVE_NTL && HAVE_FLINT && __FLINT_RELEASE >= 20400) 765 765 if ( value->levelcoeff() == cf.value->levelcoeff() && (*this).isUnivariate() && cf.isUnivariate()) 766 766 { -
factory/cf_factor.cc
r7df5dbe r9ee586 637 637 if (ch>2) 638 638 { 639 #if (HAVE_FLINT && __FLINT_ VERSION_MINOR >= 4)639 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 640 640 nmod_poly_t FLINTmipo, leadingCoeff; 641 641 fq_nmod_ctx_t fq_con; -
factory/facFqBivar.cc
r7df5dbe r9ee586 172 172 if (getCharacteristic() > 2) 173 173 { 174 #if (HAVE_FLINT && __FLINT_ VERSION_MINOR >= 4)174 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 175 175 nmod_poly_t FLINTmipo, leadingCoeff; 176 176 fq_nmod_ctx_t fq_con; … … 239 239 if (getCharacteristic() > 2) 240 240 { 241 #if (HAVE_FLINT && __FLINT_ VERSION_MINOR >= 4)241 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 242 242 nmod_poly_t FLINTmipo, leadingCoeff; 243 243 fq_nmod_ctx_t fq_con; -
factory/facFqSquarefree.cc
r7df5dbe r9ee586 80 80 #endif 81 81 82 #if (HAVE_FLINT && __FLINT_ VERSION_MINOR >= 4)82 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 83 83 CanonicalForm 84 84 pthRoot (const CanonicalForm & F, const fmpz_t& q, const Variable& alpha) … … 238 238 239 239 CanonicalForm buffer; 240 #if defined(HAVE_NTL) || (HAVE_FLINT && __FLINT_ VERSION_MINOR >= 4)240 #if defined(HAVE_NTL) || (HAVE_FLINT && __FLINT_RELEASE >= 20400) 241 241 if (alpha.level() == 1) 242 242 #endif 243 243 buffer= pthRoot (A, ipower (p, k)); 244 #if (HAVE_FLINT && __FLINT_ VERSION_MINOR >= 4)244 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 245 245 else 246 246 { -
factory/facHensel.cc
r7df5dbe r9ee586 47 47 TIMING_DEFINE_PRINT (hensel) 48 48 49 #if (!(HAVE_FLINT && __FLINT_ VERSION_MINOR >= 4))49 #if (!(HAVE_FLINT && __FLINT_RELEASE >= 20400)) 50 50 static 51 51 CFList productsNTL (const CFList& factors, const CanonicalForm& M) … … 87 87 #endif 88 88 89 #if (HAVE_FLINT && __FLINT_ VERSION_MINOR >= 4)89 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 90 90 static 91 91 CFList productsFLINT (const CFList& factors, const CanonicalForm& M) … … 168 168 i.getItem()= reduce (i.getItem()*inv, M); 169 169 } 170 #if (HAVE_FLINT && __FLINT_ VERSION_MINOR >= 4)170 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 171 171 bufFactors= productsFLINT (bufFactors, M); 172 172 #else -
factory/facMul.cc
r7df5dbe r9ee586 424 424 if (!is_rat) 425 425 Off (SW_RATIONAL); 426 #if (HAVE_FLINT && __FLINT_ VERSION_MINOR >= 4)426 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 427 427 fmpz_t FLINTp; 428 428 fmpz_mod_poly_t FLINTmipo; … … 509 509 if (hasFirstAlgVar (G, alpha) || hasFirstAlgVar (F, alpha)) 510 510 { 511 #if (HAVE_FLINT && __FLINT_ VERSION_MINOR >= 4)511 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 512 512 fmpz_t FLINTp; 513 513 fmpz_mod_poly_t FLINTmipo; … … 623 623 return result; 624 624 } 625 #if (HAVE_FLINT && __FLINT_VERSION_MINOR >= 4)625 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 626 626 nmod_poly_t FLINTmipo; 627 627 fq_nmod_ctx_t fq_con; … … 737 737 if (b.getp() != 0) 738 738 { 739 #if (HAVE_FLINT && __FLINT_VERSION_MINOR >= 4)739 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 740 740 fmpz_t FLINTp; 741 741 fmpz_mod_poly_t FLINTmipo; … … 797 797 if (hasFirstAlgVar (F, alpha) || hasFirstAlgVar (G, alpha)) 798 798 { 799 #if (HAVE_FLINT && __FLINT_VERSION_MINOR >= 4)799 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 800 800 nmod_poly_t FLINTmipo; 801 801 fq_nmod_ctx_t fq_con; … … 865 865 hasFirstAlgVar (F, alpha); 866 866 hasFirstAlgVar (G, alpha); 867 #if (HAVE_FLINT && __FLINT_VERSION_MINOR >= 4)867 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 868 868 fmpz_t FLINTp; 869 869 fmpz_mod_poly_t FLINTmipo; … … 915 915 Variable alpha; 916 916 hasFirstAlgVar (G, alpha); 917 #if (HAVE_FLINT && __FLINT_VERSION_MINOR >= 4)917 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 918 918 fmpz_t FLINTp; 919 919 fmpz_mod_poly_t FLINTmipo; … … 1000 1000 if (b.getp() != 0) 1001 1001 { 1002 #if (HAVE_FLINT && __FLINT_VERSION_MINOR >= 4)1002 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 1003 1003 fmpz_t FLINTp; 1004 1004 fmpz_mod_poly_t FLINTmipo; … … 1058 1058 if (hasFirstAlgVar (F, alpha) || hasFirstAlgVar (G, alpha)) 1059 1059 { 1060 #if (HAVE_FLINT && __FLINT_VERSION_MINOR >= 4)1060 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 1061 1061 nmod_poly_t FLINTmipo; 1062 1062 fq_nmod_ctx_t fq_con; … … 1134 1134 } 1135 1135 1136 #if ( __FLINT_VERSION_MINOR >= 4)1136 #if ( __FLINT_RELEASE >= 20400) 1137 1137 void 1138 1138 kronSubFq (fq_nmod_poly_t result, const CanonicalForm& A, int d, … … 1292 1292 } 1293 1293 1294 #if ( __FLINT_VERSION_MINOR >= 4)1294 #if ( __FLINT_RELEASE >= 20400) 1295 1295 void 1296 1296 kronSubReciproFq (fq_nmod_poly_t subA1, fq_nmod_poly_t subA2, … … 1644 1644 } 1645 1645 1646 #if ( __FLINT_VERSION_MINOR >= 4)1646 #if ( __FLINT_RELEASE >= 20400) 1647 1647 CanonicalForm 1648 1648 reverseSubstReciproFq (const fq_nmod_poly_t F, const fq_nmod_poly_t G, int d, … … 1882 1882 } 1883 1883 1884 #if ( __FLINT_VERSION_MINOR >= 4)1884 #if ( __FLINT_RELEASE >= 20400) 1885 1885 CanonicalForm 1886 1886 reverseSubstFq (const fq_nmod_poly_t F, int d, const Variable& alpha, … … 2023 2023 } 2024 2024 2025 #if ( __FLINT_VERSION_MINOR >= 4)2025 #if ( __FLINT_RELEASE >= 20400) 2026 2026 CanonicalForm 2027 2027 mulMod2FLINTFqReci (const CanonicalForm& F, const CanonicalForm& G, const … … 2267 2267 #endif 2268 2268 2269 #if (!(HAVE_FLINT && __FLINT_VERSION_MINOR >= 4))2269 #if (!(HAVE_FLINT && __FLINT_RELEASE >= 20400)) 2270 2270 zz_pEX kronSubFq (const CanonicalForm& A, int d, const Variable& alpha) 2271 2271 { … … 2383 2383 #endif 2384 2384 2385 #if (!(HAVE_FLINT && __FLINT_VERSION_MINOR >= 4))2385 #if (!(HAVE_FLINT && __FLINT_RELEASE >= 20400)) 2386 2386 CanonicalForm 2387 2387 reverseSubstReciproFq (const zz_pEX& F, const zz_pEX& G, int d, int k, … … 2611 2611 #endif 2612 2612 2613 #if (!(HAVE_FLINT && __FLINT_VERSION_MINOR >= 4))2613 #if (!(HAVE_FLINT && __FLINT_RELEASE >= 20400)) 2614 2614 CanonicalForm reverseSubstFq (const zz_pEX& F, int d, const Variable& alpha) 2615 2615 { … … 2750 2750 #endif 2751 2751 2752 #if (!(HAVE_FLINT && __FLINT_VERSION_MINOR >= 4))2752 #if (!(HAVE_FLINT && __FLINT_RELEASE >= 20400)) 2753 2753 // assumes input to be reduced mod M and to be an element of Fq not Fp 2754 2754 CanonicalForm … … 2800 2800 if (hasFirstAlgVar (A, alpha) || hasFirstAlgVar (B, alpha)) 2801 2801 { 2802 #if (HAVE_FLINT && __FLINT_VERSION_MINOR >= 4)2802 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 2803 2803 nmod_poly_t FLINTmipo; 2804 2804 convertFacCF2nmod_poly_t (FLINTmipo, getMipo (alpha)); … … 3214 3214 { 3215 3215 Variable y= Variable (2); 3216 #if (HAVE_FLINT && __FLINT_VERSION_MINOR >= 4)3216 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 3217 3217 nmod_poly_t FLINTmipo; 3218 3218 fq_nmod_ctx_t fq_con; … … 3297 3297 { 3298 3298 Variable y= Variable (2); 3299 #if (HAVE_FLINT && __FLINT_VERSION_MINOR >= 4)3299 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 3300 3300 nmod_poly_t FLINTmipo; 3301 3301 fq_nmod_ctx_t fq_con; … … 3650 3650 if (hasFirstAlgVar (A, alpha) || hasFirstAlgVar (B, alpha)) 3651 3651 { 3652 #if (HAVE_FLINT && __FLINT_ VERSION_MINOR >= 4)3652 #if (HAVE_FLINT && __FLINT_RELEASE >= 20400) 3653 3653 nmod_poly_t FLINTmipo; 3654 3654 fq_nmod_ctx_t fq_con;
Note: See TracChangeset
for help on using the changeset viewer.