Closed defeo closed 6 years ago
@jpflori, can you double check that what I've written at the end of 5.1 is correct?
Could you also add a short readme to https://github.com/defeo/ffisom/blob/master/misc/conjdata/ explaining what's in there?
Then, I think this issue can be closed.
The first part has been done in bd9e9d7eb
The second one should be addressed by 79860e 42e6ad and 701345.
So, can we close this?
If you are happy with what i did, sure.
Page 24, line 2: some detail on of far the conjecture has been checked would be welcome.