Changeset a1ff8d5 in git
 Timestamp:
 Aug 2, 2013, 3:39:26 PM (11 years ago)
 Branches:
 (u'fiekerDuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '4188d308699580d975efd0f6cca8dcb41c396f70')
 Children:
 99b9e5b8eced6d61826b163941a35abe0253ff4d
 Parents:
 3ff49d9cd1a014fd33f07da930937feb90959bbf
 gitauthor:
 Martin Lee <martinlee84@web.de>20130802 15:39:26+02:00
 gitcommitter:
 Martin Lee <martinlee84@web.de>20130830 13:48:28+02:00
 Location:
 factory
 Files:

 2 edited
Legend:
 Unmodified
 Added
 Removed

factory/facFqFactorize.cc
r3ff49d ra1ff8d5 8 8 * 9 9 * ABSTRACT: "Efficient Multivariate Factorization over Finite Fields" by 10 * L. Bernardin & M. Monagon. Precomputation of leading coefficients is 10 * L. Bernardin & M. Monagon. Precomputation of leading coefficients is 11 11 * described in "Sparse Hensel lifting" by E. Kaltofen 12 12 * … … 2014 2014 } 2015 2015 s++; 2016 if (T.length() < 2*s  T.length() == s) 2016 if (T.length() < 2*s  T.length() == s) 2017 2017 { 2018 2018 delete [] v; … … 3638 3638 #endif 3639 3639 /* HAVE_NTL */ 3640 
factory/facFqFactorize.h
r3ff49d ra1ff8d5 472 472 /// polynomial has main variable Variable (1), is squarefree and its degree 473 473 /// coincides with degree(F) and the bivariate one is primitive wrt. 474 /// Variable(1), and successively evaluated polynomials have the same degree in 475 /// their main variable as F has, fails if there are no valid evaluation points, 474 /// Variable(1), and successively evaluated polynomials have the same degree in 475 /// their main variable as F has, fails if there are no valid evaluation points, 476 476 /// eval contains the intermediate evaluated polynomials. 477 477 /// … … 527 527 /// A. 528 528 /// 529 /// @return @a lcmContent returns the LCM of the contents of @a A wrt to each 529 /// @return @a lcmContent returns the LCM of the contents of @a A wrt to each 530 530 /// variable occuring in @a A. 531 531 CanonicalForm 532 lcmContent (const CanonicalForm& A, ///< [in] a compressed multivariate poly 532 lcmContent (const CanonicalForm& A, ///< [in] a compressed multivariate poly 533 533 CFList& contentAi ///< [in,out] an empty list, returns a list 534 ///< of the contents of @a A wrt to each 534 ///< of the contents of @a A wrt to each 535 535 ///< variable occuring in @a A starting from 536 536 ///< @a A.mvar(). 537 537 ); 538 538 539 /// compress a polynomial s.t. \f$ deg_{x_{i}} (F) >= deg_{x_{i+1}} (F) \f$ and 539 /// compress a polynomial s.t. \f$ deg_{x_{i}} (F) >= deg_{x_{i+1}} (F) \f$ and 540 540 /// no gaps between the variables occur 541 541 /// 542 542 /// @return a compressed poly with the above properties 543 543 CanonicalForm myCompress (const CanonicalForm& F, ///< [in] a poly 544 CFMap& N ///< [in,out] a map to 544 CFMap& N ///< [in,out] a map to 545 545 ///< decompress 546 546 ); … … 579 579 /// plug in evalPoint for y in a list of polys 580 580 /// 581 /// @return returns a list of the evaluated polys, these evaluated polys are 581 /// @return returns a list of the evaluated polys, these evaluated polys are 582 582 /// made monic 583 583 CFList … … 607 607 608 608 /// normalize precomputed leading coefficients such that leading coefficients 609 /// evaluated at @a evaluation in K^(n2) equal the leading coeffs wrt 609 /// evaluated at @a evaluation in K^(n2) equal the leading coeffs wrt 610 610 /// Variable(1) of bivariate factors and change @a A and @a Aeval accordingly 611 611 void … … 641 641 distributeContent ( 642 642 const CFList& L, ///<[in] list of polys, first 643 ///< entry the content to be 643 ///< entry the content to be 644 644 ///< distributed 645 const CFList* differentSecondVarFactors,///<[in] factorization wrt 645 const CFList* differentSecondVarFactors,///<[in] factorization wrt 646 646 ///< different second vars 647 int length ///<[in] length of 647 int length ///<[in] length of 648 648 ///<differentSecondVarFactors 649 649 ); … … 659 659 /// computes a list l of length length(LCFFactors)+1 of polynomials such that 660 660 /// prod (l)=LCF, note that the first entry of l may be non constant. Intended 661 /// to be used to precompute coefficients of a polynomial f from its bivariate 661 /// to be used to precompute coefficients of a polynomial f from its bivariate 662 662 /// factorizations. 663 663 /// … … 795 795 #endif 796 796 /* FAC_FQ_FACTORIZE_H */ 797
Note: See TracChangeset
for help on using the changeset viewer.