Hello, I'm working on arithmetic subgroup in sage.modular.arithgroup especially on arithgroup_perm, and I do not know what does the method __cmp__ must do (it is not specified in sage.groups.group.Group where I guess it is the right place): * equality and inclusions? In this case, the given implementations of Gamma, Gamma0 and Gamma1 fail because of the class ArithmeticSubgroup_perm which can potentially represent any subgroup of SL(2,Z). But, this latter class has the advantage that any implementation of an arithmetic group can be converted into it (from a coset graph) and then be compared.
Other way, I would like to have advices on the best names for the following methods: * adding minus identity to a subgroup to get an even subgroup? (.to_even_subgroup) * commensurability? (.is_commensurable) * conjugacy of subgroups in SL(2,Z)? (.is_conjugate) there could be a conflict between conjugacy of elements and conjugation of subgroups... Thanks, Vincent -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
