* Compute an intermediate weight vector from iva to ivb w.r.t. * * the reduced Groebner basis G. * * Return NULL, if it is equal to iva or iva = avb. * **********************************************************************/
| 2569 | * Return NULL, if it is equal to iva or iva = avb. * |
| 2570 | **********************************************************************/ |
| 2571 | intvec* MkInterRedNextWeight(intvec* iva, intvec* ivb, ideal G) |
| 2572 | { |
| 2573 | intvec* tmp = new intvec(iva->length()); |
| 2574 | intvec* result; |
| 2575 | |
| 2576 | if(G == NULL) |
| 2577 | { |
| 2578 | return tmp; |
| 2579 | } |
| 2580 | if(MivComp(iva, ivb) == 1) |
| 2581 | { |
| 2582 | return tmp; |
| 2583 | } |
| 2584 | result = MwalkNextWeightCC(iva, ivb, G); |
| 2585 | |
| 2586 | if(MivComp(result, iva) == 1) |
| 2587 | { |
| 2588 | delete result; |
| 2589 | return tmp; |
| 2590 | } |
| 2591 | |
| 2592 | delete tmp; |
| 2593 | return result; |
| 2594 | } |
| 2595 | |
| 2596 | /******************************************************************** |
| 2597 | * define and execute a new ring which order is (a(vb),a(va),lp,C) * |
no test coverage detected