About Finitely presented groups in Oscar.jl

General Usage
1

Hello Julia community, I am new to programming, especially abstract programming. I find the Oscar.jl package quite powerful and successful, but I need your help in creating finite and abstract groups ( Finitely presented groups). For example,

H = < a, x | x^2=a^(2^m-1)=1, a^x=a^(2^(m-2))>

How can I create a group in the form above using the Oscar.jl package?. Thanks in advance

2

What is m?

3

m is any possitive integer number

4

Here is how it is done for e.g. m = 2:

julia> F = free_group([:a, :x]);

julia> a, x = gens(F);

julia> m = 2; H, = quo(F, [x^2 * a^(-(2^m-1)), a^x*a^(-(2^(m-2)))]);

julia> relators(H)
2-element Vector{FPGroupElem}:
 x^2*a^-3
 x^-1*a*x*a^-1
5

Thank you, thofma