Alexander Hulpke
Alexander Hulpke
The issue is basically with working with a finitely presented group. When working with known finite groups, it is much more efficient to transition to a permutation or Pc representation....
@ThomasBreuer Yes, that is why it is not done automatically. I think the question is ultimately one of user interface: How does a user indicate that they want to have...
The fields created by `FieldExtension` do not embed the base field in a natural way. (I.e. in this example `GF(2)` is not a subset of `K`. Dis makes some of...
It is really not implemented.
If someone wants to implement it, go ahead -- just remember that there are multiple representations that all need to be updated.
@fingolfin Yes, this is a bug (in code I wrote almost 20 years ago). What I remember is that I tried to mimic the behavior for the equality test and...
If we enforce a unique representation (which also gets around the problem that we do not guarantee that a (mathematical) polynomial is always represented as a (GAP) polynomial) for comaprison,...
Having the normal form as attribute also makes it easy to deal with the different representations.
This is likely a relic from times when a) All nice monomorphism were to permutation groups and b) PreImage methods for action homomorphisms tended to find an element acting in...
There are multiple places in the code in which information is stored in compact form through numbers or strings to make it `Read`able. (I think I have re-invented the wheel...