Oscar.jl icon indicating copy to clipboard operation
Oscar.jl copied to clipboard

Published 20 hours ago • verified publisher icon oscar-system

Add `SubPcGroup` type

Open fingolfin opened this issue 1 year ago • 8 comments

... as discussed with @ThomasBreuer and @fieker . The plan is that PcGroup type is reserved for cases where the generators returned by gens form a pc sequence ("pcgs" in GAP lingo).

fingolfin avatar Aug 14 '23 12:08 fingolfin