Changeset b37b398 in git for factory/facHensel.cc
- Timestamp:
- Oct 19, 2012, 6:36:03 PM (11 years ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- 1bc7201c1a771fb5cc842ca4f475ba3ea91e6979
- Parents:
- d30a39922dc390f97b6cd257b2e7c55d483f4159237c4266ccdbbf8b6c6046b550e61cb1751b2b35
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
factory/facHensel.cc
rd30a399 rb37b398 544 544 } 545 545 546 setReduce (alpha, false); 546 547 for (k= 0; k < factors.length(); k++) 547 548 { … … 554 555 } 555 556 } 557 setReduce (alpha, true); 556 558 setCharacteristic(0); 557 559 … … 591 593 } 592 594 setCharacteristic (p); 595 setReduce (alpha, false); 593 596 recResult= mapinto (recResult); 597 setReduce (alpha, true); 594 598 if (mipoHasDen) 595 599 { … … 606 610 coeffE= div (e, modulus); 607 611 setCharacteristic (p); 612 if (mipoHasDen) 613 setReduce (gamma, false); 614 else 615 setReduce (alpha, false); 608 616 coeffE= coeffE.mapinto(); 617 if (mipoHasDen) 618 setReduce (gamma, true); 619 else 620 setReduce (alpha, true); 609 621 if (mipoHasDen) 610 622 coeffE= replacevar (coeffE, gamma, beta); … … 619 631 { 620 632 setCharacteristic (p); 633 setReduce (alpha, false); 621 634 g= mulNTL (coeffE, j.getItem()); 622 635 g= modNTL (g, bufFactors[ii]); 636 setReduce (alpha, true); 623 637 setCharacteristic (0); 624 638 if (mipoHasDen) 625 639 { 640 setReduce (beta, false); 626 641 k.getItem() += replacevar (g.mapinto()*modulus, beta, gamma); 627 642 e -= mulNTL (replacevar (g.mapinto(), beta, gamma)*modulus, 628 643 l.getItem(), b); 644 setReduce (beta, true); 629 645 } 630 646 else
Note: See TracChangeset
for help on using the changeset viewer.