Pascal Giorgi

your branch "poly-smith-form" is missing some files: in particular algorithms/polynomial-matrix/polynomial-smith-form-kb.h and algorithms/polynomial-matrix/polynomial-smith-iliopoulos.h Please provide them to allow me to track the bug.

I would not be so optimistic. I see at least a potential problem in such a situation. Indeed, in the new design of BlasSubmatrix we can now allow the use...

I am not sure that mixing matrix and submatrix in one class is a good idea. Using smart pointer could work but I don't want to pay the traversal of...

In fact that's my point. If I construct a submatrix from a const matrix I don't want that any data (even through pointer) are possibly modified, even if C++ allows...

I know that the checkers are generic but they are designed to work only for exact computation. Then if you perform a matrix product over double floating points, the product...