And it is pretty clearly a group of order four!

The offending code is in groups/matrix_gps/matrix_group.py where the
problem is in the list method of MatrixGroup.

429        F = self.field_of_definition()
430        n = F.degree()
431        p = F.characteristic()
432        a = F.prime_subfield().multiplicative_generator()
433        b = F.multiplicative_generator()

In the class definition of MatrixGroup, any base ring is allowed.  But
at least this particular method (others?) assume that the base ring is
in fact in a field.

Since a and b above are definitely used later in list(), and this all
calls GAP, someone (David?) with a good knowledge of GAP should
address this - and look for other places it's assumed that the base
ring is a field and at least catch that exception with a better error
message.

I've made this # 5241.

- kcrisman
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to 
[email protected]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to