Changeset 64e7cb in git for factory/facHensel.cc
 Timestamp:
 Jun 22, 2011, 12:19:52 PM (12 years ago)
 Branches:
 (u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
 Children:
 6f30b8f0100530412045adfaaae98447428ef7fb
 Parents:
 50a2aa95106a901b7b3b189d3724a19e186db0f7
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

factory/facHensel.cc
r50a2aa9 r64e7cb 36 36 mulNTL (const CanonicalForm& F, const CanonicalForm& G) 37 37 { 38 if (F.inCoeffDomain()  G.inCoeffDomain() )38 if (F.inCoeffDomain()  G.inCoeffDomain()  getCharacteristic() == 0) 39 39 return F*G; 40 40 ASSERT (F.isUnivariate() && G.isUnivariate(), "expected univariate polys"); … … 74 74 return mod (F,G); 75 75 76 if (getCharacteristic() == 0) 77 return mod (F, G); 78 76 79 ASSERT (F.isUnivariate() && G.isUnivariate(), "expected univariate polys"); 77 80 ASSERT (F.level() == G.level(), "expected polys of same level"); … … 109 112 else if (F.isUnivariate() && G.inCoeffDomain()) 110 113 return div (F,G); 114 115 if (getCharacteristic() == 0) 116 return div (F, G); 111 117 112 118 ASSERT (F.isUnivariate() && G.isUnivariate(), "expected univariate polys"); … … 794 800 return mod (F*G, M); 795 801 796 if ( CFFactory::gettype() != GaloisFieldDomain &&802 if (getCharacteristic() > 0 && CFFactory::gettype() != GaloisFieldDomain && 797 803 (((degFdegG) < 50 && degF > degG)  ((degGdegF) < 50 && degF <= degG))) 798 804 return mulMod2NTLFq (F, G, M);
Note: See TracChangeset
for help on using the changeset viewer.