| 2118 | } |
| 2119 | |
| 2120 | void id_Shift(ideal M, int s, const ring r) |
| 2121 | { |
| 2122 | // id_Test( M, r ); |
| 2123 | |
| 2124 | // assume( s >= 0 ); // negative is also possible // TODO: verify input ideal in such a case!? |
| 2125 | |
| 2126 | for(int i=IDELEMS(M)-1; i>=0;i--) |
| 2127 | p_Shift(&(M->m[i]),s,r); |
| 2128 | |
| 2129 | M->rank += s; |
| 2130 | |
| 2131 | // id_Test( M, r ); |
| 2132 | } |
| 2133 | |
| 2134 | ideal id_Delete_Pos(const ideal I, const int p, const ring r) |
| 2135 | { |
no test coverage detected