0
$\begingroup$

What is the easiest way to draw fundamental domains for congruence subgroups of $SL_2(\mathbb{Z})$ in sage?

$\endgroup$
3
$\begingroup$

An easy way is to use FareySymbol. You can for example define the congruence subgroup $\Gamma_1(5)$ like this:

G = Gamma1(5)

Then use this to plot a fundamental domain:

FareySymbol(G).fundamental_domain()

This yields the following image:

enter image description here

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ This helps a lot thank you! Is there a way to get a result what is symmetric in the y-axis? $\endgroup$ – user360730 Aug 23 '16 at 8:42
  • $\begingroup$ @mathmarseille There might be, but I don't know how to! The only options I could find were "fill", "linestyle", "color", "show_pairing", "tesselation", "color_even", "thickness" and "ymax". $\endgroup$ – Pjotr5 Aug 23 '16 at 15:56

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy