Martin Bies

Thank you @benlorenz .

@lkastner @fingolfin This is ready for a new round of reviews. Thank you!

@fingolfin @lkastner This is ready for the next round of reviews. Based on the above feedback, I have: * Tried to make the distinction between a rational equivalence class and...

Ping @fingolfin and @lkastner .

Thank you @lkastner for the many suggestions. Most of which were applied. Some require extra care, which I hope to address towards late afternoon (Philly). Also, I believe it makes...

@lkastner Up to the 3 comments above that I left open, I have integrated all of your suggestions.

> > Also, I believe it makes sense to squash your many suggestions? > > Seems like you already did that? Indeed, I have squashed them. (Were order 30 individual...

Allow me to add more details. Since https://ci.inria.fr/linbox/job/LinBox/ tells me that the latest build fails, I have also tried the latest stable version according to jenkins: - git reset --hard...

By now, I have installed linbox from the sources, i.e. without using the linbox-auto-install.sh. Still, for your convenience, I have just reproduced the above error once more. I send you...

Thank you all. I think we can close this.