-
Notifications
You must be signed in to change notification settings - Fork 3
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
Enumerator needs to be fixed #17
Comments
For now, we are just returning the list of elements, what's not suitable in the long run. |
The way of doing this would be to use |
We just need to be able to do things like for x in brace do… What do you think would be the best way to go?
… On 18 May 2023, at 14:42, Olexandr Konovalov ***@***.***> wrote:
The way of doing this would be to use Enumerator of the underlying group and then use the embedding of its element into the brace. I am not sure if we need this though - we do store all lists when creating the brace anyway? Perhaps we can simply delete Enumerator instead.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you authored the thread.Message ID: ***@***.***>
|
Ah, you're right! Perhaps current code is ok then. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
YangBaxter/gap/skew.gi
Line 134 in 43b6a6f
The text was updated successfully, but these errors were encountered: