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.
