Thomas Breuer

After a discussion with @fingolfin, it seems to be not controversial that `IsPerm` means any object in `PermutationsFamily`, not only objects in `IsInternalRep`. Thus it is possible to create other...

@ChrisJefferson From the viewpoint of the GAP level, one can distinguish between `IsPerm` (which can be any type of permutations, also GAP level implementations) and `IsPerm and IsInternalRep` (which can...

Just now (when dealing with #3297) I stumbled over a problem with left cosets, which strengthens the above old comment by @fingolfin: Currently a left coset in Oscar stores in...

Yes, that would be my proposal: Create group cosets in Oscar without an underlying GAP coset. Create a GAP coset in those situations where it is useful, for example in...

@thofma > If one does not care for the output in the first place, one can just use a ;. This was one of the points in the abovementioned discussion...

@thofma What about Julia's default to show vectors by restricting them to one screen? For example, `gens(sylow_subgroup(symmetric_group(100), 2)[1]` is by default printed like this, the first entries followed by `⋮`...

@thofma > The problem with ⋮ is that it is almost impossible to get the full information. Good point. However, I would say that this shows a missing functionality concerning...

The declaration `DeclareCategory( "IsCapCategory", IsAttributeStoringRep )` means that any object in the filter `IsCapCategory` will also lie in `IsAttributeStoringRep`. I would argue that the situations where `IsCapCategory` objects get created...

@zickgraf Thanks for the explanation. In your situation, I would create a new filter with `DeclareFilter( "IsCapCategoryBare" )` or so and then define `IsCapCategory:= IsCapCategoryBare and IsAttributeStoringRep`. Then `IsCapCategory` implies...

@zickgraf O.k., we can argue that an implication from `A` to `B and C`, where `B` describes a representation, is no problem if `A` is already a subset of `B`,...