Daily progress reports on Project 2
Subproject 1
Monday 21 June: Noam Elkies solved the 929 problem! The curve [w, 1 - w, 1 + 20*w, -1738 - 82*w, -11808 - 201*w] where w=(1+\sqrt{929})/2 has everywhere good reduction.
Subproject 2
Thursday 24 June:
1. The patch by Aly and Rado to implement functions including is_S_integral (trac #9317) has been positively reviewed by Anna and Erin!
2. Jim has finished implementing S-class groups, extending earlier work by Robert M. He is now working on computing K(S,4) and K(S,4)_2. (We wrongly thought that RLM's code already computed K(S,4)).
3. Xiao Xiao is working on the algorithm which, given a single j and set S, computes the set of elliptic curves with that j-invariant and good reduction outside S (if any).
Saturday 26 June:
Jim and John worked on S-class group code, realising that as it is a quotient of the class group and Sage cannot deal with quotients groups properly, something more basic will have to do temporarily.
Sunday 27 June:
Jim has finished implementing K(S,2)_4 and is testing.
Subproject 3
Several people have been studying the papers showing how to find all integral points, and S-integral points.