On Thursday, June 23, 2016 at 8:44:18 AM UTC+1, meInvent bbird wrote: > > when try to use the result of sage and input into gap system in sage > cloud, > got error > > in sage > S3 = SU(3,3); > S3.as_matrix_group().as_permutation_group() > MatrixGroup(S3.gens()) > > in gap > PermutationMat(Group((3,4,6,10,12,18,19,23)(5,8,13,20,17,11,16,7)(9,14,21,15,22,24,26,28)(25,27), > > (1,2,3,5,9,15,16,18)(4,7,12,19,24,27,26,23)(6,11,17,13,8,10,14,21)(20,25))); >
read GAP docs! PermutationMat must be applied to a permutation, not to a group. > > in sage > S3.as_matrix_group() > S3.as_permutation_group() > [ a 0 0] [2*a 2 1] > [ 0 a + 1 0] [ 2 2 0] > [ 0 0 2*a], [ 1 0 0] > S2 = SU(2,3); > S2.as_matrix_group() > S2.as_matrix_group().as_permutation_group() > > in gap > PermutationMat(Group((2,3,5)(6,7,8),(1,2,4,7)(3,6,8,5))); > > > gap> PermutationMat(Group((2,3,5)(6,7,8),(1,2,4,7)(3,6,8,5))); > Error, usage: PermutationMat( <perm>, <dim> [, <F> ] ) called from > <function "PermutationMat">( <arguments> ) > > On Thursday, June 23, 2016 at 2:46:58 PM UTC+8, vdelecroix wrote: >> >> There is a method `as_permutation_group` implemented in the class >> FinitelyGeneratedMatrixGroup_gap. However, the class corresponding to >> SU(3,3) does not inherit from it. >> >> sage: from sage.groups.matrix_gps.finitely_generated import >> FinitelyGeneratedMatrixGroup_gap >> sage: isinstance(SU(3,3), FinitelyGeneratedMatrixGroup_gap) >> False >> >> A work around on the current version is to do >> >> sage: MatrixGroup(S3.gens()).as_permutation_group() >> Permutation Group with generators >> [(3,4,6,10,12,18,19,23)(5,8,13,20,17,11,16,7)(9,14,21,15,22,24,26,28)(25,27), >> >> >> (1,2,3,5,9,15,16,18)(4,7,12,19,24,27,26,23)(6,11,17,13,8,10,14,21)(20,25)] >> >> >> (or the solution proposed by Dima) >> >> I opened #20867. >> >> Vincent >> >> >> >> On 23/06/16 05:41, meInvent bbird wrote: >> > i run in sage >> > >> > is as_matrix_group equivalent to permutation matrix in gap system? >> > >> > i find SU has variable a , which matrix is permutation matrix? >> > >> > i input this result into singular system , it run a very long time for >> > invariant ring. >> > >> > LIB "finvar.lib"; >> > ring R=0,(x,y,z),dp; >> > matrix A[3][3]=2*x,2,1,2,2,0,1,0,0; >> > matrix B(1..3); >> > B(1..3)=invariant_ring(A); >> > >> > S3 = SU(3,3); >> > S3.as_matrix_group() >> > S3.as_permutation_group() >> > [ a 0 0] [2*a 2 1] >> > [ 0 a + 1 0] [ 2 2 0] >> > [ 0 0 2*a], [ 1 0 0] >> > S2 = SU(2,3); >> > S2.as_matrix_group() >> > S2.as_permutation_group() >> > [ 1 2*a + 2] [ 0 2*a + 2] >> > [ 0 1], [2*a + 2 0] >> > U1 = U(1,3); >> > U1.as_matrix_group() >> > U1.as_permutation_group() >> > >> > On Thursday, June 23, 2016 at 1:13:23 AM UTC+8, vdelecroix wrote: >> >> >> >> And the error message is crystal clear >> >> >> >> AttributeError: 'UnitaryMatrixGroup_gap_with_category' object >> >> has no attribute 'as_permutation_group' >> >> >> >> What do you want to do? >> >> >> >> On 22/06/16 10:29, meInvent bbird wrote: >> >>> S3 = SU(3,3); >> >>> S3.as_matrix_group() >> >>> S3.as_permutation_group() >> >> >> > >> > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
