Tommy Hofmann
Tommy Hofmann
Hecke contains only abelian groups and a list of all finite groups of order up to 100. Oscar brings in comprehensive functionality for computational group theory, including support for arbitrary...
Since saturations have landed, can we have a new release?
Some time ago I added code in Oscar for doing this: https://github.com/oscar-system/Oscar.jl/blob/c0fadd1a7ff95ba76841972ba5ca5122f5a5aba0/experimental/FTheoryTools/src/auxiliary.jl#L389-L436 We could probably move it here. In the meantime, just steal it.
Ah yes, I remember the julia parser is really bad at this. I think this is very low priority for the main developers, but any contribution in this regard of...
Every time I see this I am surprised that we have this syntax. I think this change here makes it actually useful.
> I'd say we should also allow evaluating multivariate polynomials in this way. So, things like this should actually work: > > ``` > julia> R,(x,y)=ZZ[:x,:y] > (Multivariate polynomial ring...
(There is already a `word` method for fp groups, which seems to do the same as `letters`.) Edit: Isn't the reverse function just `map_word`?
I agree with @fieker. It is the same reason we want a fast evaluate for polynomials in specific situations.
I am not a group theorist by training, but in the group theory papers that I encountered a minimal generating set always meant a generating set which is minimal in...
I think for groups in the literature this is called "minimum generating set". So I would throw `minimum_generating_set` in the ring.