| 578 | } |
| 579 | |
| 580 | char* LPExpVString(int *expV, ring ri) |
| 581 | { |
| 582 | StringSetS(""); |
| 583 | for (int i = 0; i <= ri->N; ++i) |
| 584 | { |
| 585 | StringAppend("%d", expV[i]); |
| 586 | if (i == 0) |
| 587 | { |
| 588 | StringAppendS("| "); |
| 589 | } |
| 590 | if (i % ri->isLPring == 0 && i != ri->N) |
| 591 | { |
| 592 | StringAppendS(" "); |
| 593 | } |
| 594 | } |
| 595 | return StringEndS(); |
| 596 | } |
| 597 | |
| 598 | // splits a frame (e.g. x(1)*y(5)) m1 into m1 and m2 (e.g. m1=x(1) and m2=y(1)) |
| 599 | // at is the number of the block to split at, starting at 1 |
no test coverage detected