| 956 | /////////////////////////////////////////////////////////////////// |
| 957 | |
| 958 | ideal idInterRed(ideal G) |
| 959 | { |
| 960 | assume(G != NULL); |
| 961 | |
| 962 | ideal GG = kInterRedOld(G, NULL); |
| 963 | idDelete(&G); |
| 964 | return GG; |
| 965 | } |
| 966 | |
| 967 | /////////////////////////////////////////////////////////////////// |
| 968 |
no test coverage detected