| 1683 | } |
| 1684 | |
| 1685 | void initBba(kStrategy strat) |
| 1686 | { |
| 1687 | /* setting global variables ------------------- */ |
| 1688 | strat->enterS = enterSBba; |
| 1689 | strat->red = redHoney; |
| 1690 | if (strat->honey) |
| 1691 | strat->red = redHoney; |
| 1692 | else if (currRing->pLexOrder && !strat->homog) |
| 1693 | strat->red = redLazy; |
| 1694 | else |
| 1695 | { |
| 1696 | strat->LazyPass *=4; |
| 1697 | strat->red = redHomog; |
| 1698 | } |
| 1699 | if (rField_is_Ring(currRing)) |
| 1700 | { |
| 1701 | if (rField_is_Z(currRing)) |
| 1702 | strat->red = redRing_Z; |
| 1703 | else |
| 1704 | strat->red = redRing; |
| 1705 | } |
| 1706 | if (TEST_OPT_IDLIFT |
| 1707 | && (!rIsNCRing(currRing)) |
| 1708 | && (!rField_is_Ring(currRing))) |
| 1709 | strat->red=redLiftstd; |
| 1710 | if (currRing->pLexOrder && strat->honey) |
| 1711 | strat->initEcart = initEcartNormal; |
| 1712 | else |
| 1713 | strat->initEcart = initEcartBBA; |
| 1714 | if (strat->honey) |
| 1715 | strat->initEcartPair = initEcartPairMora; |
| 1716 | else |
| 1717 | strat->initEcartPair = initEcartPairBba; |
| 1718 | // if ((TEST_OPT_WEIGHTM)&&(F!=NULL)) |
| 1719 | // { |
| 1720 | // //interred machen Aenderung |
| 1721 | // strat->pOrigFDeg=pFDeg; |
| 1722 | // strat->pOrigLDeg=pLDeg; |
| 1723 | // //h=ggetid("ecart"); |
| 1724 | // //if ((h!=NULL) /*&& (IDTYP(h)==INTVEC_CMD)*/) |
| 1725 | // //{ |
| 1726 | // // ecartWeights=iv2array(IDINTVEC(h)); |
| 1727 | // //} |
| 1728 | // //else |
| 1729 | // { |
| 1730 | // ecartWeights=(short *)omAlloc(((currRing->N)+1)*sizeof(short)); |
| 1731 | // /*uses automatic computation of the ecartWeights to set them*/ |
| 1732 | // kEcartWeights(F->m,IDELEMS(F)-1,ecartWeights); |
| 1733 | // } |
| 1734 | // pRestoreDegProcs(currRing,totaldegreeWecart, maxdegreeWecart); |
| 1735 | // if (TEST_OPT_PROT) |
| 1736 | // { |
| 1737 | // for(i=1; i<=(currRing->N); i++) |
| 1738 | // Print(" %d",ecartWeights[i]); |
| 1739 | // PrintLn(); |
| 1740 | // mflush(); |
| 1741 | // } |
| 1742 | // } |