-
Notifications
You must be signed in to change notification settings - Fork 125
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
Support character(group, values)
?
#3390
Comments
Defining a class functions over a field F requires to define how F embeds into a suitable cyclotomic field. |
@joschmitt Would you expect this function to perform input validation? I.e. should it check that the given vector actually defines a character? This problem does not exist for |
I think it should check the input, yes. We can also call it |
The interface will be awkward, since one has to construct the character table first to get the right order for the conjugacy classes. But then I could have called |
Yeah, so all of this answers my question why the function does not exist. |
I would like to have an exported version of the function
Oscar.class_function(::Oscar.GAPGroup, ::Vector{<:QQAbElem})
without the need to work in the abelian closure on the user side. So something likecharacter(::GAPGroup, ::Vector{<:FieldElem})
. Is there any reason against this?CC @ThomasBreuer
The text was updated successfully, but these errors were encountered: