i find G = TransitiveGroup(3,1) G.gens() PermutationMat((1,2,3),3); it is correct
but when run degree 2 G = TransitiveGroup(3,2) G.gens() got (1,2),(1,2,3) if see it separately, (1,2,3) is from degree 1 it seems degree 2 need to use both (1,2),(1,2,3) but how to input into permutationmat? PermutationMat(((1,2),(1,2,3)),3); On Thursday, June 23, 2016 at 6:27:44 PM UTC+8, Dima Pasechnik wrote: > > > > 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.
