Vincent Neiger

Thank you very much for your answer and explanation. (I did find some rather old messages on linbox-devel mentioning this but I did not know if these messages were still...

Hi Dave, (Late answer...) Thank you for your advice about keeping the linbox-using code in one compilation unit, I had not realized this potential waste of space. Best, Vincent

Many checks failing, but probably not due to this PR since only one line in the readme file was changed. To push forward this minor PR: I see the files...