* compute the initial form of an ideal w.r.t. a weight vector iva * ************************************************************************/
| 760 | * compute the initial form of an ideal <G> w.r.t. a weight vector iva * |
| 761 | ************************************************************************/ |
| 762 | ideal MwalkInitialForm(ideal G, intvec* ivw) |
| 763 | { |
| 764 | BOOLEAN nError = Overflow_Error; |
| 765 | Overflow_Error = FALSE; |
| 766 | |
| 767 | int i, nG = IDELEMS(G); |
| 768 | ideal Gomega = idInit(nG, 1); |
| 769 | |
| 770 | for(i=nG-1; i>=0; i--) |
| 771 | { |
| 772 | Gomega->m[i] = MpolyInitialForm(G->m[i], ivw); |
| 773 | } |
| 774 | if(Overflow_Error == FALSE) |
| 775 | { |
| 776 | Overflow_Error = nError; |
| 777 | } |
| 778 | return Gomega; |
| 779 | } |
| 780 | |
| 781 | /************************************************************************ |
| 782 | * test whether the weight vector iv is in the cone of the ideal G * |
no test coverage detected