Changeset 329dd3 in git for factory/cf_factor.cc
- Timestamp:
- Jun 17, 2020, 10:38:49 PM (4 years ago)
- Branches:
- (u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '98550b669234b32be762076c32b3be2c35188ac4')
- Children:
- a75c5d55f5f22a81f3d176edfa4c64c01e1672a4
- Parents:
- cac0f8a0c0c0b22b71b76c3b44841f5cc1fec229
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/cf_factor.cc
rcac0f8 r329dd3 509 509 else 510 510 { 511 #if defined(HAVE_NTL) || defined(HAVE_FLINT)511 #if defined(HAVE_NTL) 512 512 if (issqrfree) 513 513 { … … 530 530 } 531 531 #else 532 ASSERT( f.isUnivariate(), "multivariate factorization depends on FLINT/NTL(missing)" );533 factoryError ("multivariate factorization depends on FLINT/NTL(missing)");532 ASSERT( f.isUnivariate(), "multivariate factorization depends on NTL(missing)" ); 533 factoryError ("multivariate factorization depends on NTL(missing)"); 534 534 return CFFList (CFFactor (f, 1)); 535 535 #endif … … 619 619 } 620 620 else 621 { 622 #ifdef HAVE_NTL 621 623 F = ratFactorize (fz); 624 #else 625 factoryError ("multivariate factorization over Z depends on NTL(missing)"); 626 return CFFList (CFFactor (f, 1)); 627 #endif 628 } 622 629 Off (SW_RATIONAL); 623 630 } … … 763 770 else 764 771 { 772 #ifdef HAVE_NTL 765 773 F= FqFactorize (f, alpha); 774 #else 775 factoryError ("univariate factorization depends on NTL(missing)"); 776 return CFFList (CFFactor (f, 1)); 777 #endif 766 778 } 767 779 } … … 774 786 else //Q(a)[x1,...,xn] 775 787 { 788 #ifdef HAVE_NTL 776 789 F= ratFactorize (f, alpha); 790 #else 791 factoryError ("multivariate factorization depends on NTL(missing)"); 792 return CFFList (CFFactor (f, 1)); 793 #endif 777 794 } 778 795 }
Note: See TracChangeset
for help on using the changeset viewer.