| 1882 | void kDebugPrint(kStrategy strat); |
| 1883 | |
| 1884 | ideal mora (ideal F, ideal Q,intvec *w,intvec *hilb,kStrategy strat) |
| 1885 | { |
| 1886 | int olddeg = 0; |
| 1887 | int reduc = 0; |
| 1888 | int red_result = 1; |
| 1889 | int hilbeledeg=1,hilbcount=0; |
| 1890 | BITSET save1; |
| 1891 | SI_SAVE_OPT1(save1); |
| 1892 | if (rHasMixedOrdering(currRing)) |
| 1893 | { |
| 1894 | si_opt_1 &= ~Sy_bit(OPT_REDSB); |
| 1895 | si_opt_1 &= ~Sy_bit(OPT_REDTAIL); |
| 1896 | } |
| 1897 | |
| 1898 | strat->update = TRUE; |
| 1899 | /*- setting global variables ------------------- -*/ |
| 1900 | initBuchMoraCrit(strat); |
| 1901 | initHilbCrit(F,Q,&hilb,strat); |
| 1902 | initMora(F,strat); |
| 1903 | if(rField_is_Ring(currRing)) |
| 1904 | initBuchMoraPosRing(strat); |
| 1905 | else |
| 1906 | initBuchMoraPos(strat); |
| 1907 | /*Shdl=*/initBuchMora(F,Q,strat); |
| 1908 | if (TEST_OPT_FASTHC) missingAxis(&strat->lastAxis,strat); |
| 1909 | /*updateS in initBuchMora has Hecketest |
| 1910 | * and could have put strat->kHEdgdeFound FALSE*/ |
| 1911 | if (TEST_OPT_FASTHC && (strat->lastAxis) && strat->posInLOldFlag) |
| 1912 | { |
| 1913 | strat->posInLOld = strat->posInL; |
| 1914 | strat->posInLOldFlag = FALSE; |
| 1915 | strat->posInL = posInL10; |
| 1916 | updateL(strat); |
| 1917 | reorderL(strat); |
| 1918 | } |
| 1919 | kTest_TS(strat); |
| 1920 | strat->use_buckets = kMoraUseBucket(strat); |
| 1921 | |
| 1922 | #ifdef HAVE_TAIL_RING |
| 1923 | if (strat->homog && strat->red == redFirst) |
| 1924 | if(!idIs0(F) &&(!rField_is_Ring(currRing))) |
| 1925 | kStratInitChangeTailRing(strat); |
| 1926 | #endif |
| 1927 | |
| 1928 | if (BVERBOSE(23)) |
| 1929 | { |
| 1930 | kDebugPrint(strat); |
| 1931 | } |
| 1932 | //deleteInL(strat->L,&strat->Ll,1,strat); |
| 1933 | //deleteInL(strat->L,&strat->Ll,0,strat); |
| 1934 | |
| 1935 | /*- compute-------------------------------------------*/ |
| 1936 | while (strat->Ll >= 0) |
| 1937 | { |
| 1938 | #ifdef KDEBUG |
| 1939 | if (TEST_OPT_DEBUG) messageSets(strat); |
| 1940 | #endif |
| 1941 | if (siCntrlc) |
no test coverage detected