Quotient Group construction

asked 2018-06-26 19:49:42 -0500

mathjain gravatar image

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.

edit retag flag offensive close merge delete


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.

dan_fulea gravatar imagedan_fulea ( 2018-07-06 12:34:08 -0500 )edit