| 108 | // ---------------------------------------------------------------------------- |
| 109 | |
| 110 | int isMultiple( poly f,poly m, const ring r ) |
| 111 | { |
| 112 | while( f!=NULL ) |
| 113 | { |
| 114 | // --------------------------------------------------- |
| 115 | // for a local order f|m is only possible if f>=m |
| 116 | // --------------------------------------------------- |
| 117 | |
| 118 | if( p_LmCmp( f,m,r )>=0 ) |
| 119 | { |
| 120 | if( p_LmDivisibleByNoComp( f,m,r ) ) |
| 121 | { |
| 122 | return TRUE; |
| 123 | } |
| 124 | else |
| 125 | { |
| 126 | pIter( f ); |
| 127 | } |
| 128 | } |
| 129 | else |
| 130 | { |
| 131 | return FALSE; |
| 132 | } |
| 133 | } |
| 134 | |
| 135 | return FALSE; |
| 136 | } |
| 137 | |
| 138 | // ---------------------------------------------------------------------------- |
| 139 | // compute the minimal monomial of minimmal weight>=max_weight |
no test coverage detected