I have created a group in the category - finite enumerated commutative subgroup. But it doesn't have an option of quotient group ( it has but shows Not Implemented Error)
I wanted to know why implementing a quotient group is not possible if quotient ring is done already? Actually, I was thinking to implement it myself, but I thought it will be good to ask here first if people have tried that. Also, does anyone know how I can track the current progress being done in sage.
