1 | initial version |
By issuing the command "search_src("fundamental_domain") I found several examples to follow all from the modular/arithgroup/farey_symbol module so I suggest looking at that.
Probably not a useful answer 4 years later though.