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))); 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.
