Changeset 6f08f3 in git for factory/algext.cc
- Timestamp:
- Jun 30, 2011, 11:48:46 AM (12 years ago)
- Branches:
- (u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
- Children:
- 5df7d029068a38046a1329dc167295ebd9546adb
- Parents:
- 3a8c5fe234a64598138a3f2f2cd5c5c2636d4442
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/algext.cc
r3a8c5fe r6f08f3 511 511 CanonicalForm g_image, alpha, gnew, mnew; 512 512 FFGenerator gen = FFGenerator(); 513 Variable x= Variable (1); 513 514 for(FFGenerator gen = FFGenerator(); gen.hasItems(); gen.next()) 514 515 { 515 516 alpha = gen.item(); 516 gamma_image = reduce(gamma(alpha, Variable(1)),M); // plug in alpha for var(1)517 gamma_image = reduce(gamma(alpha, x),M); // plug in alpha for var(1) 517 518 if(gamma_image.isZero()) // skip lc-bad points var(1)-alpha 518 519 continue; 519 tryBrownGCD( f(alpha, Variable(1)), g(alpha, Variable(1)), M, g_image, fail, false ); // recursive call with one var less520 tryBrownGCD( f(alpha, x), g(alpha, x), M, g_image, fail, false ); // recursive call with one var less 520 521 if(fail) 521 522 return; … … 536 537 g_image /= lc(g_image); // make g_image monic over Z/p 537 538 g_image *= gamma_image; // multiply by multiple of image lc(gcd) 538 tryCRA( g_image, Variable(1)-alpha, gm, m, M, gnew, mnew, fail );539 tryCRA( g_image, x-alpha, gm, m, M, gnew, mnew, fail ); 539 540 // gnew = gm mod m 540 541 // gnew = g_image mod var(1)-alpha
Note: See TracChangeset
for help on using the changeset viewer.