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...

Unfortunately, looking at Macaulay2 on GitHub shows that Mac M1 is not supported for the provided home-brew tap (see https://github.com/Macaulay2/homebrew-tap/wiki/M2-on-M1). Your problem is coming from the fact that LinBox/fflas-ffpack have...