assaferan / ModFrmGL2

Extending magma's implementation of modular symbols to arbitrary congruence subgroups
2 stars 6 forks source link

Fixing Issue #19 (bug in Farey Symbols leading to wrong signatures in some cases) #22

Closed assaferan closed 4 months ago

assaferan commented 4 months ago

There were a couple of issues. The first was that the code assumed the group is not of index 2. This was handled by manually returning the special polygon for this group. The second was that it assumed the special polygon could be obtained from the standard infty, 0, 1 polygon, which is incorrect if the group contains [-1,1,-1,0]. This was fixed by modifying the initial polygon to be infty, -1, 0 in these cases.