| 583 | #endif |
| 584 | |
| 585 | void |
| 586 | writeInMatrix (CFMatrix& M, const CFArray& A, const int column, |
| 587 | const int startIndex |
| 588 | ) |
| 589 | { |
| 590 | ASSERT (A.size () - startIndex >= 0, "wrong starting index"); |
| 591 | ASSERT (A.size () - startIndex <= M.rows(), "wrong starting index"); |
| 592 | ASSERT (column > 0 && column <= M.columns(), "wrong column"); |
| 593 | if (A.size() - startIndex <= 0) return; |
| 594 | int j= 1; |
| 595 | for (int i= startIndex; i < A.size(); i++, j++) |
| 596 | M (j, column)= A [i]; |
| 597 | } |
| 598 | |
| 599 | CFArray getCoeffs (const CanonicalForm& F, const int k) |
| 600 | { |
no test coverage detected