Dear Mathieu,
On Apr 27, 11:31 am, Mathieu Dutour wrote:
> For sage, I do not know, but why not try GAP? It has a package HAP for doing
> homology computations and it might solve your problem.
This was essentially the answer that David Joyner gave: Install the
gap_packages-spkg (which seems to
For sage, I do not know, but why not try GAP? It has a package HAP for doing
homology computations and it might solve your problem.
On Wed, Apr 8, 2009 at 8:16 PM, Ursula Whitcher
wrote:
>
> I'd like to know H^3(G,Z) for two particular finite groups, namely L_2
> (7), also known as the Chevalley
On Apr 8, 11:16 am, Ursula Whitcher
wrote:
> I'd like to know H^3(G,Z) for two particular finite groups, namely L_2
> (7), also known as the Chevalley group PSL(2,F_7), and M_20, a
> subgroup of the Mathieu group M_24 which is isomorphic to a semidirect
> product of (Z/2Z)^4 with the alternating
Hi David,
On 9 Apr., 00:42, David Joyner wrote:
> sage: gap.eval('LoadPackage("hap")')
> 'true'
1. In my first attempt, I forgot this line.
2. In my second attempt, this line returned 'fail'.
However, it may be that my Sage installation is a little messed up. We
will see.
Best regards,
Si
sage: gap.eval('LoadPackage("hap")')
'true'
sage: gap.eval('GroupHomology(MathieuGroup(12),2,2)')
'[ 2 ]'
sage: gap.eval('G:=SylowSubgroup(MathieuGroup(12),2)')
'Group([ (1,2)(3,7)(4,5)(8,11), (1,2)(3,7)(6,12)(9,10), \n
(1,2)(6,9)(8,11)(10,12), (1,2)(3,7)(4,8,5,11)(6,10,12,9), \n
(1,3)(2,7)(4,8)(5
Hi David,
On 8 Apr., 16:33, David Joyner wrote:
> > and the current version of GAP in Sage is 4.4.12.
>
> The 4.4.12 version is
> here:http://sage.math.washington.edu/home/wdj/patches/gap_packages-4.4.12_...
I have gap 4.4.12 in Sage, and I did install your version of
gap_packages. However, ha
On Wed, Apr 8, 2009 at 4:21 PM, William Stein wrote:
>
...
>>
>> computes what you want f the hap package is loaded
>> (using sage -i gap_packages* - see
>> http://www.sagemath.org/packages/optional/).
>
> Just for the record it is impossible to install the optional Gap
> packages into SAge-3.
On Wed, Apr 8, 2009 at 1:11 PM, David Joyner wrote:
>
> On Wed, Apr 8, 2009 at 2:16 PM, Ursula Whitcher
> wrote:
>>
>> I'd like to know H^3(G,Z) for two particular finite groups, namely L_2
>> (7), also known as the Chevalley group PSL(2,F_7), and M_20, a
>> subgroup of the Mathieu group M_24 wh
On Wed, Apr 8, 2009 at 2:16 PM, Ursula Whitcher
wrote:
>
> I'd like to know H^3(G,Z) for two particular finite groups, namely L_2
> (7), also known as the Chevalley group PSL(2,F_7), and M_20, a
> subgroup of the Mathieu group M_24 which is isomorphic to a semidirect
> product of (Z/2Z)^4 with th
