It would be nice if functions such as WriteCanonicalRingComputationToString returned, not only the generators and relations of the ring of modular forms, but also a basis for each weight where there is a generator together with the coordinates of each generator on the corresponding basis. In my understanding this information is already computed, so it should be possible to return it.
In the back of my mind is that this information would be very helpful for computing the Atkin-Lehner involutions on the surfaces, given that there is already an AtkinLehnerOperator function for cusp forms.
It would be nice if functions such as
WriteCanonicalRingComputationToStringreturned, not only the generators and relations of the ring of modular forms, but also a basis for each weight where there is a generator together with the coordinates of each generator on the corresponding basis. In my understanding this information is already computed, so it should be possible to return it.In the back of my mind is that this information would be very helpful for computing the Atkin-Lehner involutions on the surfaces, given that there is already an
AtkinLehnerOperatorfunction for cusp forms.