On Saturday, July 26, 2014 12:21:38 PM UTC-7, Stephen Kauffman wrote: > > TypeError: unsupported operand parent(s) for '*': 'Vector space of > dimension 16 over Rational Field' and 'Full MatrixSpace of 8 by 8 dense > matrices over Integer > Ring' > > The error that you're getting is because there's a dimension mismatch in the data you specify. "mons" is supposed to be a QQ-vector space basis of your algebra (16 dimensional in your case) and mats is supposed to give the linear transformations that multiplying by, resp., g0,g1,g2,g3 give. Thus, G0 is supposed to have as rows the elements
[m*g0 for m in mons] written out as coordinates wrt. mons. In particular, "mats" should consist of 16x16 matrices. The constructor should have done a sanity check and given you an error earlier. In particular, this routine does NOT represent an algebra by a free ring modulo some ideal, but basically via structure constants (it saves you some work because you only have to specify the endomorphisms for the algebra generators of the free algebra, not for all the elements of mons). You can probably work out what the 4 16x16 matrices are quite easily. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.