Differences between revisions 1 and 2
Revision 1 as of 2010-06-25 01:29:43
Size: 602
Editor: JohnCremona
Comment:
Revision 2 as of 2010-06-28 15:51:20
Size: 657
Editor: JohnCremona
Comment:
Deletions are marked like this. Additions are marked like this.
Line 6: Line 6:
Rado and Jeremy found a paper by Petho giving an algorithm for listing number field elements by height and implemented it. It does not seem very efficient (the vast majority of the elements it lists have height greater than the bound!) So they are continuing to implement the other strategy we started on earlier in the week. They have already implemented an iterator over ideals of bounded norm. The next stage involves units. We found that the fundamental units (as computed by pari) are LLL-reduced, which will help. Rado and Jeremy found a paper by Petho giving an algorithm for listing number field elements by height and implemented it. It does not seem very efficient (the vast majority of the elements it lists have height greater than the bound!) So they are continuing to implement the other strategy we started on earlier in the week. They have already implemented an iterator over ideals of bounded norm. The next stage involves units. We found out (by asking Karim Belabas, the lead pari developer) that the fundamental units (as computed by pari) are LLL-reduced, which will help.

Daily progress report on Project 4

Thursday 24 June

Rado and Jeremy found a paper by Petho giving an algorithm for listing number field elements by height and implemented it. It does not seem very efficient (the vast majority of the elements it lists have height greater than the bound!) So they are continuing to implement the other strategy we started on earlier in the week. They have already implemented an iterator over ideals of bounded norm. The next stage involves units. We found out (by asking Karim Belabas, the lead pari developer) that the fundamental units (as computed by pari) are LLL-reduced, which will help.

days22/cremona/project4 (last edited 2010-06-28 15:58:09 by JohnCremona)