Changeset 978ce3 in git
- Timestamp:
- May 14, 2012, 5:59:42 PM (11 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
- Children:
- afb6a640a48bf260401660cd1ef52edcee526c38
- Parents:
- 9aac3e40e249db0a2411b4c4f36cdc9a5d791080
- git-author:
- Martin Lee <martinlee84@web.de>2012-05-14 17:59:42+02:00
- git-committer:
- Martin Lee <martinlee84@web.de>2012-05-30 17:39:25+02:00
- Location:
- factory
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/facBivar.cc
r9aac3e r978ce3 27 27 28 28 #ifdef HAVE_NTL 29 TIMING_DEFINE_PRINT(uni_factorize) 30 TIMING_DEFINE_PRINT(hensel_lift12) 29 TIMING_DEFINE_PRINT(fac_uni_factorizer) 30 TIMING_DEFINE_PRINT(fac_bi_hensel_lift) 31 TIMING_DEFINE_PRINT(fac_bi_factor_recombination) 31 32 32 33 // bound on coeffs of f (cf. Musser: Multivariate Polynomial Factorization, … … 705 706 bool earlySuccess= false; 706 707 CFList earlyFactors; 707 TIMING_START (fac_ hensel_lift);708 TIMING_START (fac_bi_hensel_lift); 708 709 uniFactors= henselLiftAndEarly 709 710 (A, earlySuccess, earlyFactors, degs, liftBound, 710 711 uniFactors, dummy, evaluation, b); 711 TIMING_END_AND_PRINT (fac_ hensel_lift, "time for hensel lifting: ");712 TIMING_END_AND_PRINT (fac_bi_hensel_lift, "time for hensel lifting: "); 712 713 DEBOUTLN (cerr, "lifted factors= " << uniFactors); 713 714 -
factory/facFqBivar.cc
r9aac3e r978ce3 45 45 #endif 46 46 47 TIMING_DEFINE_PRINT(fac_uni_factorizer) 48 TIMING_DEFINE_PRINT(fac_hensel_lift12) 47 TIMING_DEFINE_PRINT(fac_fq_uni_factorizer) 48 TIMING_DEFINE_PRINT(fac_fq_bi_hensel_lift) 49 TIMING_DEFINE_PRINT(fac_fq_bi_factor_recombination) 49 50 50 51 CanonicalForm prodMod0 (const CFList& L, const CanonicalForm& M, const modpk& b) … … 5912 5913 5913 5914 // univariate factorization 5914 TIMING_START (fac_ uni_factorizer);5915 TIMING_START (fac_fq_uni_factorizer); 5915 5916 bufUniFactors= uniFactorizer (bufAeval, alpha, GF); 5916 TIMING_END_AND_PRINT (fac_ uni_factorizer,5917 TIMING_END_AND_PRINT (fac_fq_uni_factorizer, 5917 5918 "time for univariate factorization: "); 5918 5919 DEBOUTLN (cerr, "Lc (bufAeval)*prod (bufUniFactors)== bufAeval " << … … 5921 5922 if (!derivXZero && !fail2) 5922 5923 { 5923 TIMING_START (fac_ uni_factorizer);5924 TIMING_START (fac_fq_uni_factorizer); 5924 5925 bufUniFactors2= uniFactorizer (bufAeval2, alpha, GF); 5925 TIMING_END_AND_PRINT (fac_ uni_factorizer,5926 TIMING_END_AND_PRINT (fac_fq_uni_factorizer, 5926 5927 "time for univariate factorization in y: "); 5927 5928 DEBOUTLN (cerr, "Lc (bufAeval2)*prod (bufUniFactors2)== bufAeval2 " << … … 6084 6085 bool earlySuccess= false; 6085 6086 CFList earlyFactors; 6086 TIMING_START (fac_ hensel_lift12);6087 TIMING_START (fac_fq_bi_hensel_lift); 6087 6088 uniFactors= henselLiftAndEarly 6088 6089 (A, earlySuccess, earlyFactors, degs, liftBound, 6089 6090 uniFactors, info, evaluation); 6090 TIMING_END_AND_PRINT (fac_ hensel_lift12, "time for hensel lifting: ");6091 TIMING_END_AND_PRINT (fac_fq_bi_hensel_lift, "time for hensel lifting: "); 6091 6092 DEBOUTLN (cerr, "lifted factors= " << uniFactors); 6092 6093 … … 6107 6108 else if (degree (A) > 4 && beta.level() == 1 && (2*minBound)/degMipo < 32) 6108 6109 { 6109 TIMING_START (fac_ hensel_lift12);6110 TIMING_START (fac_fq_bi_hensel_lift); 6110 6111 if (extension) 6111 6112 { … … 6125 6126 factors= Union (lll, factors); 6126 6127 } 6127 TIMING_END_AND_PRINT (fac_ hensel_lift12, "time for hensel lifting: ");6128 TIMING_END_AND_PRINT (fac_fq_bi_hensel_lift, "time for hensel lifting: "); 6128 6129 DEBOUTLN (cerr, "lifted factors= " << uniFactors); 6129 6130 } … … 6132 6133 bool earlySuccess= false; 6133 6134 CFList earlyFactors; 6134 TIMING_START (fac_ hensel_lift12);6135 TIMING_START (fac_fq_bi_hensel_lift); 6135 6136 uniFactors= henselLiftAndEarly 6136 6137 (A, earlySuccess, earlyFactors, degs, liftBound, 6137 6138 uniFactors, info, evaluation); 6138 TIMING_END_AND_PRINT (fac_ hensel_lift12, "time for hensel lifting: ");6139 TIMING_END_AND_PRINT (fac_fq_bi_hensel_lift, "time for hensel lifting: "); 6139 6140 DEBOUTLN (cerr, "lifted factors= " << uniFactors); 6140 6141 -
factory/facFqFactorize.cc
r9aac3e r978ce3 37 37 #include "NTLconvert.h" 38 38 39 TIMING_DEFINE_PRINT(fac_ bi_factorizer)40 TIMING_DEFINE_PRINT(fac_ hensel_lift)41 TIMING_DEFINE_PRINT(fac_f actor_recombination)39 TIMING_DEFINE_PRINT(fac_fq_bi_factorizer) 40 TIMING_DEFINE_PRINT(fac_fq_hensel_lift) 41 TIMING_DEFINE_PRINT(fac_fq_factor_recombination) 42 42 43 43 static inline … … 2412 2412 bufLift= degree (A, y) + 1 + degree (LC(A, x), y); 2413 2413 2414 TIMING_START (fac_ bi_factorizer);2414 TIMING_START (fac_fq_bi_factorizer); 2415 2415 if (!GF && alpha.level() == 1) 2416 2416 bufBiFactors= FpBiSqrfFactorize (bufAeval.getFirst()); … … 2419 2419 else 2420 2420 bufBiFactors= FqBiSqrfFactorize (bufAeval.getFirst(), alpha); 2421 TIMING_END_AND_PRINT (fac_ bi_factorizer,2421 TIMING_END_AND_PRINT (fac_fq_bi_factorizer, 2422 2422 "time for bivariate factorization: "); 2423 2423 bufBiFactors.removeFirst(); … … 2716 2716 bool earlySuccess; 2717 2717 CFList earlyFactors, liftedFactors; 2718 TIMING_START (fac_ hensel_lift);2718 TIMING_START (fac_fq_hensel_lift); 2719 2719 liftedFactors= henselLiftAndEarly 2720 2720 (A, MOD, liftBounds, earlySuccess, earlyFactors, 2721 2721 Aeval, biFactors, evaluation, info); 2722 TIMING_END_AND_PRINT (fac_ hensel_lift, "time for hensel lifting: ");2722 TIMING_END_AND_PRINT (fac_fq_hensel_lift, "time for hensel lifting: "); 2723 2723 2724 2724 if (!extension) 2725 2725 { 2726 TIMING_START (fac_f actor_recombination);2726 TIMING_START (fac_fq_factor_recombination); 2727 2727 factors= factorRecombination (A, liftedFactors, MOD); 2728 TIMING_END_AND_PRINT (fac_f actor_recombination,2728 TIMING_END_AND_PRINT (fac_fq_factor_recombination, 2729 2729 "time for factor recombination: "); 2730 2730 } 2731 2731 else 2732 2732 { 2733 TIMING_START (fac_f actor_recombination);2733 TIMING_START (fac_fq_factor_recombination); 2734 2734 factors= extFactorRecombination (liftedFactors, A, MOD, info, evaluation); 2735 TIMING_END_AND_PRINT (fac_f actor_recombination,2735 TIMING_END_AND_PRINT (fac_fq_factor_recombination, 2736 2736 "time for factor recombination: "); 2737 2737 }
Note: See TracChangeset
for help on using the changeset viewer.