Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Orbits/ Gsets #367

Closed
fieker opened this issue Mar 19, 2021 · 2 comments · Fixed by #4259
Closed

Orbits/ Gsets #367

fieker opened this issue Mar 19, 2021 · 2 comments · Fixed by #4259

Comments

@fieker
Copy link
Contributor

fieker commented Mar 19, 2021

julia> Oscar.gset_by_type(GH, [1,2], Array{Int, 1})
Oscar.GSetByElements{PermGroup}(Group([ (1,2,3), (1,2), (4,5,6), (4,5) ]), Oscar.on_tuples, [1, 2], Dict{Symbol,Any}())

julia> orbits(ans)
ERROR: Error thrown by GAP: Error, MethodError: no method matching on_tuples(::Int64, ::Oscar.BasicGAPGroupElem{PermGroup})

possibly user error (my error)

This is an experiment (failed) to create an transitive representation of an intransitive group by operating on tuples (cartesian product of the "natural" orbits)

@fieker
Copy link
Contributor Author

fieker commented Mar 19, 2021

julia> orbit(ans, GH)
ERROR: Error thrown by GAP: Syntax error: String must not include <newline> in stream:1
DeclareAttribute( "JuliaData", IsObject );");
                                          ^^^
Error, MethodError: no method matching on_tuples(::PermGroup, ::Oscar.BasicGAPGroupElem{PermGroup})

@ThomasBreuer
Copy link
Member

I take the first example as a hint about missing documentation and missing argument checks.

The second example also shows a syntax error in the embedded GAP code.
I did not observe it because it does not affect the functionality and because I do not get the GAP error message --why do I not get this GAP error message?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants