Quotient Group construction

asked 2018-06-27 02:49:42 +0100

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

Comments

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 19:34:08 +0100 )edit