unused static void HeadidString(ideal L, char* st) { int i, nL = IDELEMS(L)-1; Print("// The head terms of the ideal %s = ", st); for(i=0; i m[i]))); } Print(" %s;\n", pString(pHead(L->m[nL]))); } */
| 1797 | |
| 1798 | */ |
| 1799 | static inline int MivComp(intvec* iva, intvec* ivb) |
| 1800 | { |
| 1801 | assume(iva->length() == ivb->length()); |
| 1802 | int i; |
| 1803 | for(i=iva->length()-1; i>=0; i--) |
| 1804 | { |
| 1805 | if((*iva)[i] - (*ivb)[i] != 0) |
| 1806 | { |
| 1807 | return 0; |
| 1808 | } |
| 1809 | } |
| 1810 | return 1; |
| 1811 | } |
| 1812 | |
| 1813 | /********************************************** |
| 1814 | * Look for the smallest absolut value in vec * |
no test coverage detected