| 9412 | |
| 9413 | |
| 9414 | void initHilbCrit(ideal/*F*/, ideal /*Q*/, intvec **hilb,kStrategy strat) |
| 9415 | { |
| 9416 | |
| 9417 | //if the ordering is local, then hilb criterion |
| 9418 | //can be used also if the ideal is not homogeneous |
| 9419 | if((rHasLocalOrMixedOrdering(currRing)) && (rHasMixedOrdering(currRing)==FALSE)) |
| 9420 | { |
| 9421 | if(rField_is_Ring(currRing)) |
| 9422 | *hilb=NULL; |
| 9423 | else |
| 9424 | return; |
| 9425 | } |
| 9426 | if (strat->homog!=isHomog) |
| 9427 | { |
| 9428 | *hilb=NULL; |
| 9429 | } |
| 9430 | } |
| 9431 | |
| 9432 | void initBuchMoraCrit(kStrategy strat) |
| 9433 | { |
no test coverage detected