This would be an infinite group which I think is not implemented in Sage or GAP. I can't even imagine a way that GAP could help, but it can't hurt to ask in the GAP support list. Maybe there is an "approximation" someone could think of that might help. Please be as specific as possible when formulating your question though.
On Sat, Oct 16, 2010 at 4:36 PM, Christian Stump <christian.st...@gmail.com> wrote: >> In addition to what David Roe said, if I remember correctly MatrixGroups in >> Sage are implemented for matrices over finite fields. At some point I think >> it >> calls GAP for the computations. >> >> If your field is not finite, it might be better to use GAP directly >> since Sage only >> has infinite modular (matrix) groups implemented. >> >> If your field is not an abelian extension of QQ then even GAP lacks >> the functionality. >> If you need to do some *serious* computations >> in a finite matrix group defined over a non-abelian extension of QQ >> then you might try emailing the GAP support list, but of course no promises. > > I just see your answer as well... > > The field is the universal cyclotomic field (the smallest field > containing QQ and all complex roots of unities), and what I wanted to > do is to define a matrix group with generators being matrices in > cyclotomics. I thought that it would be a good idea to have the > possibility in sage to construct matrices in the UCF, play with them > and also have matrix groups with those. Are you saying it is difficult/ > impossible to use the current implementation of MatrixGroup to make > this work? > > Thanks, Christian > > -- > To post to this group, send an email to sage-devel@googlegroups.com > To unsubscribe from this group, send an email to > sage-devel+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/sage-devel > URL: http://www.sagemath.org > -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
