| 9857 | } |
| 9858 | |
| 9859 | void initSbaPos (kStrategy strat) |
| 9860 | { |
| 9861 | if (rHasGlobalOrdering(currRing)) |
| 9862 | { |
| 9863 | if (strat->honey) |
| 9864 | { |
| 9865 | strat->posInL = posInL15; |
| 9866 | // ok -- here is the deal: from my experiments for Singular-2-0 |
| 9867 | // I conclude that that posInT_EcartpLength is the best of |
| 9868 | // posInT15, posInT_EcartFDegpLength, posInT_FDegLength, posInT_pLength |
| 9869 | // see the table at the end of this file |
| 9870 | if (TEST_OPT_OLDSTD) |
| 9871 | strat->posInT = posInT15; |
| 9872 | else |
| 9873 | strat->posInT = posInT_EcartpLength; |
| 9874 | } |
| 9875 | else if (currRing->pLexOrder && !TEST_OPT_INTSTRATEGY) |
| 9876 | { |
| 9877 | strat->posInL = posInL11; |
| 9878 | strat->posInT = posInT11; |
| 9879 | } |
| 9880 | else if (TEST_OPT_INTSTRATEGY) |
| 9881 | { |
| 9882 | strat->posInL = posInL11; |
| 9883 | strat->posInT = posInT11; |
| 9884 | } |
| 9885 | else |
| 9886 | { |
| 9887 | strat->posInL = posInL0; |
| 9888 | strat->posInT = posInT0; |
| 9889 | } |
| 9890 | //if (strat->minim>0) strat->posInL =posInLSpecial; |
| 9891 | if (strat->homog) |
| 9892 | { |
| 9893 | strat->posInL = posInL110; |
| 9894 | strat->posInT = posInT110; |
| 9895 | } |
| 9896 | } |
| 9897 | else |
| 9898 | { |
| 9899 | if (strat->homog) |
| 9900 | { |
| 9901 | strat->posInL = posInL11; |
| 9902 | strat->posInT = posInT11; |
| 9903 | } |
| 9904 | else |
| 9905 | { |
| 9906 | if ((currRing->order[0]==ringorder_c) |
| 9907 | ||(currRing->order[0]==ringorder_C)) |
| 9908 | { |
| 9909 | strat->posInL = posInL17_c; |
| 9910 | strat->posInT = posInT17_c; |
| 9911 | } |
| 9912 | else |
| 9913 | { |
| 9914 | strat->posInL = posInL17; |
| 9915 | strat->posInT = posInT17; |
| 9916 | } |
no test coverage detected