On 2017-09-16, Thierry <sage-googlesu...@lma.metelu.net> wrote: > Do you have it in the Python/Sage format ?
K = GF(8,'x') x = K.gen() D = { "group": "A5", "generators": [ "1a", "1b", "1a1b1", "1b1a1" ], "npims": 2, "pimnames": [ "1a", "1b" ], "cartan": [ [ 2, 1 ], [ 1, 2 ] ], "dim": [ 3, 3 ], "adjmat": [ [ 0, 1 ], [ 1, 0 ] ], "1a": { "start": 1, "ende": 1, "name": "id1a", "mat": MatrixSpace(K,3,3)([ [ x^0, 0*x, 0*x ], [ 0*x, x^0, 0*x ], [ 0*x, 0*x, x^0 ] ]) }, "1b": { "start": 2, "ende": 2, "name": "id1b", "mat": MatrixSpace(K,3,3)([ [ x^0, 0*x, 0*x ], [ 0*x, x^0, 0*x ], [ 0*x, 0*x, x^0 ] ]) }, "1a1b1": { "start": 2, "ende": 1, "name": "1a1b1", "mat": MatrixSpace(K,3,3)([ [ x^0, x^0, x^0 ], [ x, x^0, 0*x ], [ x^0, x, 0*x ] ]) }, "1b1a1": { "start": 1, "ende": 2, "name": "1b1a1", "mat": MatrixSpace(K,3,3)([ [ x, x^0, 0*x ], [ x, 0*x, x ], [ x, x^0, 0*x ] ]) }, "matrices": { "pim1a": { 1: [ [ 1, 1, x^0 ], [ 2, 2, x^0 ] ], 2: [ [ 3, 3, x^0 ] ], 3: [ [ 3, 2, x^0 ] ], 4: [ [ 1, 3, x^0 ] ], "perm": [ 1, 3, 2 ], "spinningtree": [ { "ende": 1, "name": [ ], "tree": [ ] }, { "ende": 1, "name": [ "1b1a1", "1a1b1" ], "tree": [ 3, 3 ] }, { "ende": 2, "name": [ "1b1a1" ], "tree": [ 1, 4 ] } ] }, "pim1b": { 1: [ [ 1, 1, x^0 ] ], 2: [ [ 2, 2, x^0 ], [ 3, 3, x^0 ] ], 3: [ [ 2, 1, x^0 ] ], 4: [ [ 1, 3, x^0 ] ], "perm": [ 2, 1, 3 ], "spinningtree": [ { "ende": 1, "name": [ "1a1b1" ], "tree": [ 2, 3 ] }, { "ende": 2, "name": [ ], "tree": [ ] }, { "ende": 2, "name": [ "1a1b1", "1b1a1" ], "tree": [ 1, 4 ] } ] } } } Note that the routine I wrote for transforming libgap data into sage data takes longer than reading the data into libgap. Probably I didn't do it well. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.