Changeset ac8e1a in git
- Timestamp:
- Jun 8, 2011, 3:20:17 PM (12 years ago)
- Branches:
- (u'spielwiese', '91fdef05f09f54b8d58d92a472e9c4a43aa4656f')
- Children:
- 3645fcced1ffa30007ffe55cd16d183a0a6256fe
- Parents:
- 639652f186091509059ccc76f18852db93c1b988
- Location:
- factory
- Files:
-
- 7 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/facFqBivar.cc
r639652f rac8e1a 267 267 DEBOUTLN (cerr, "LC (F, 1)*prodMod (factors, M) == F " << 268 268 (LC (F, 1)*prodMod (factors, M) == F)); 269 int degMipoBeta; 270 if (!k && beta.level() == 1) 271 degMipoBeta= 1; 272 else if (!k && beta.level() != 1) 269 int degMipoBeta= 1; 270 if (!k && beta.level() != 1) 273 271 degMipoBeta= degree (getMipo (beta)); 274 272 … … 703 701 int d= degree (F) + degree (LCBuf); 704 702 CFList source, dest; 705 int degMipoBeta; 706 if (!k && beta.level() == 1) 707 degMipoBeta= 1; 708 else if (!k && beta.level() != 1) 703 int degMipoBeta= 1; 704 if (!k && beta.level() != 1) 709 705 degMipoBeta= degree (getMipo (beta)); 710 706 for (CFListIterator i= factors; i.hasItem(); i++) … … 4604 4600 gamma= rootOf (mipo); 4605 4601 Variable V_buf; 4606 bool fail ;4602 bool fail= false; 4607 4603 primElemAlpha= primitiveElement (alpha, V_buf, fail); 4608 4604 imPrimElemAlpha= map (primElemAlpha, alpha, bufEvaluation, gamma); … … 5377 5373 A= A (y + evaluation, y); 5378 5374 5379 int liftBound= liftBound=degree (A, y) + 1 + degree (LC(A, x));5375 int liftBound= degree (A, y) + 1 + degree (LC(A, x)); 5380 5376 5381 5377 int boundsLength; … … 5394 5390 DEBOUTLN (cerr, "uniFactors= " << uniFactors); 5395 5391 5396 if ( GF && !extension|| (GF && extension && k != 1))5392 if ((GF && !extension) || (GF && extension && k != 1)) 5397 5393 { 5398 5394 bool earlySuccess= false; -
factory/facFqFactorize.cc
r639652f rac8e1a 618 618 return CFList(); 619 619 620 int degMipoBeta; 621 if (!k && beta.level() == 1) 622 degMipoBeta= 1; 623 else if (!k && beta.level() != 1) 620 int degMipoBeta= 1; 621 if (!k && beta.level() != 1) 624 622 degMipoBeta= degree (getMipo (beta)); 625 623 … … 915 913 int e= 0; 916 914 int nBuf; 917 int degMipoBeta; 918 if (!k && beta.level() == 1) 919 degMipoBeta= 1; 920 else if (!k && beta.level() != 1) 915 int degMipoBeta= 1; 916 if (!k && beta.level() != 1) 921 917 degMipoBeta= degree (getMipo (beta)); 922 918 … … 1065 1061 CFList source, dest; 1066 1062 1067 int degMipoBeta; 1068 if (!k && beta.level() == 1) 1069 degMipoBeta= 1; 1070 else if (!k && beta.level() != 1) 1063 int degMipoBeta= 1; 1064 if (!k && beta.level() != 1) 1071 1065 degMipoBeta= degree (getMipo (beta)); 1072 1066 -
factory/facFqSquarefree.cc
r639652f rac8e1a 212 212 CanonicalForm result; 213 213 int i= 1; 214 bool GF= (CFFactory::gettype() == GaloisFieldDomain);215 214 bool allZero= true; 216 215 for (; i <= A.level(); i++) -
factory/gfops.cc
r639652f rac8e1a 147 147 bufptr += digs; 148 148 if ( gf_table[i] == gf_q ) 149 { 149 150 if ( i == gf_q1 ) 150 151 gf_m1 = 0; 151 152 else 152 153 gf_m1 = i; 154 } 153 155 i++; k++; 154 156 } -
factory/int_poly.cc
r639652f rac8e1a 353 353 resultFirst = reduceTermList( resultFirst, (getInternalMipo( var ))->firstTerm, resultLast ); 354 354 if ( resultFirst == 0 ) 355 { 355 356 if ( getRefCount() <= 1 ) 356 357 { … … 363 364 return CFFactory::basic(0); 364 365 } 366 } 365 367 else if ( resultFirst->exp == 0 ) 368 { 366 369 if ( getRefCount() <= 1 ) 367 370 { … … 378 381 return res; 379 382 } 383 } 380 384 } 381 385 if ( getRefCount() <= 1 ) … … 730 734 // test on inequaltiy in general is cheaper 731 735 if ( (cursor1->exp != cursor2->exp) || (cursor1->coeff != cursor2->coeff) ) 736 { 732 737 if ( cursor1->exp > cursor2->exp ) 733 738 return 1; … … 738 743 else 739 744 return -1; 745 } 740 746 // check trailing terms 741 747 if ( cursor1 == cursor2 ) … … 965 971 } 966 972 if ( invert ) 973 { 967 974 if ( getRefCount() <= 1 ) 968 975 { … … 975 982 return CFFactory::basic( 0 ); 976 983 } 984 } 977 985 if ( c.isOne() ) 978 986 return this; … … 1039 1047 } 1040 1048 if ( invert ) 1049 { 1041 1050 if ( getRefCount() <= 1 ) 1042 1051 { … … 1049 1058 return CFFactory::basic( 0 ); 1050 1059 } 1060 } 1051 1061 if ( c.isOne() ) 1052 1062 return this; -
factory/int_rat.cc
r639652f rac8e1a 557 557 int cc = imm2int( c ); 558 558 if ( cc == 0 ) 559 { 559 560 if ( negate ) 560 561 { … … 575 576 else 576 577 return this; 578 } 577 579 mpz_init( &n ); 578 580 if ( cc < 0 ) -
factory/sm_sparsemod.cc
r639652f rac8e1a 53 53 return gcd( icontent( u ), v); 54 54 else if ( u.isUnivariate() ) 55 { 55 56 if ( v.isUnivariate() ) 56 57 return gcd( u, v ); 57 58 else 58 59 return gcd( v, u ); 60 } 59 61 60 62 // u und v Polynome in levU - Variablen x1, ..., xlevU
Note: See TracChangeset
for help on using the changeset viewer.