Quotient Group construction
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.
Please give use some lines of code, so that the constructed instance has a clear category, that can be inspected. Depending on the situation, there may be a work around. It is hard to digest the information on the quotient ring, that already exists.