Iterating over finite structures

asked 2017-06-10 09:33:41 +0100

Jason Polak
3 ●1 ●1 ●2

updated 2022-01-22 09:23:35 +0100

5251 ●3 ●44 ●116

I am trying to use sage for some algebra computations involving finite rings. Since the structures are finite, I would like to iterate over all the elements of the structure. I know how to iterate in some cases for polynomials in polynomial rings of a certain degree (not necessarily finite):

S.<x> = PolynomialRing(Zmod(9))

Then I could do

for i in S.polynomials(of_degree = 2):

To iterate over all quadratics. What I'd like to do is iterate over all elements of a structure like the finite ring:

R = GroupAlgebra( GL(2, Zmod(2)), Zmod(2))

Is there a way to do this in Sage easily?

answered 2017-06-10 17:00:16 +0100

John Palmieri

8876 ●19 ●73 ●192 http://www.math.washin...

updated 2017-06-15 17:37:59 +0100

"Easily"? I don't know if this counts, but it works:

sage: R = GroupAlgebra( GL(2, Zmod(2)), Zmod(2))
sage: V = GF(2)**6  # R is 6-dimensional as a vector space
sage: [R.from_vector(v) for v in V]
[0, [0 1]
 [1 0], [0 1]
 [1 1], [0 1]
 [1 0] + [0 1]
 [1 1], [1 0]
...

So you could do

sage: for r in (R.from_vector(v) for v in V): ...

(Or just iterate over V, calling R.from_vector(...) each time.)

edit flag offensive delete link

Comments

Thank you for the answer. What you do works for V = GF(2)**6, but I already can do that because "for v in V" works here. "for v in V" does not work if "V = GroupAlgebra( GL(2, Zmod(2)), Zmod(2))". My question is precisely for those structures that are finite, and yet don't work with "for v in V".

Jason Polak ( 2017-06-15 05:40:47 +0100 )edit

The second line in my Sage block involves precisely your R. The point is that it converts between elements of V, where you can iterate, to elements of R.

John Palmieri ( 2017-06-15 17:37:41 +0100 )edit

I've edited it to make the definition of R explicit.

John Palmieri ( 2017-06-15 17:38:16 +0100 )edit

Thank you John. I didn't understand your answer at first but I get it now. It works well seems to be the easiest way to do computations of this nature!

Jason Polak ( 2017-07-05 09:58:47 +0100 )edit

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Iterating over finite structures

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Iterating over finite structures edit

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Iterating over finite structures