[GAP Forum] problem with AutomorphismGroup

Dmitrii (Dima) Pasechnik dima at ntu.edu.sg
Fri May 25 13:39:46 BST 2012


On 25 May 2012 14:10, Markus Szymik <markus.szymik at gmail.com> wrote:
>
> I did that, but it still does not work. :(

OK, do the following:
within Sage, start gap_console(), i.e.
and then run the following command there:

sage: gap_console()
GAP4, Version: 4.4.12 of 17-Dec-2008, i686-apple-darwin10.8.0-gcc
gap> Print(Fingerprint);
function ( G, U )
    if not IsBool( MyFingerprint )  then
        return MyFingerprint( G, U );
    fi;
    if ID_AVAILABLE( Size( U ) ) <> fail  then
        return FingerprintSmall( G, U );
    elif Size( U ) <= 1000  then
        return FingerprintMedium( G, U );
    else
        return FingerprintLarge( G, U );
    fi;
    return;
endgap>

(this is how Fingerprint should look like)

Whereas in Sage 4.8 I get (and I guess you get this too):

gap> Print(Fingerprint);
function ( T )
    return List( TestWord, function ( x )
            return Order( MappedWord( x, AbsGens, T ) );
        end );
endgap>

I do not yet know where this (wrong) Fingerprint comes from, and it's
even less clear why you have it in Sage 5.0.

If I enter the right Fingerprint at GAP prompt then things work as they should:

gap> Fingerprint:=function ( G, U )
>     if not IsBool( MyFingerprint )  then
>         return MyFingerprint( G, U );
>     fi;
>     if ID_AVAILABLE( Size( U ) ) <> fail  then
>         return FingerprintSmall( G, U );
>     elif Size( U ) <= 1000  then
>         return FingerprintMedium( G, U );
>     else
>         return FingerprintLarge( G, U );
>     fi;
>     return;
> end;
function( G, U ) ... end
gap> AutomorphismGroup(DihedralGroup(8));
<group of size 8 with 3 generators>
gap>


Best,
Dmitrii

>
> Am 25.05.2012 um 13:52 schrieb Dmitrii (Dima) Pasechnik:
>
>> Hi,
>>
>> On 25 May 2012 13:09, Markus Szymik <markus.szymik at gmail.com> wrote:
>>>
>>> I have removed 4.8 now, and the problem still persists.
>>>
>>> There can be no old files around, since I did not upgrade Sage from within the program.
>>
>> It does not matter. Please remove your ~/.sage/ directory (where ~/
>> stands for the home directory of the user that runs sage), and then
>> try again.
>> This directory does not get changed automatically.
>>
>> Thanks,
>> Dmitrii
>>
>>> Instead I downloaded the precompiled binaries and installed them next to 4.8 (which is gone
>>> now), together with fresh versions of the GAP packages I need.
>>>
>>> Thanks,
>>>
>>> Markus
>>>
>>> Am 25.05.2012 um 12:51 schrieb Dmitrii (Dima) Pasechnik:
>>>
>>>> Hi,
>>>> there are  GAP image files stored in ~/.sage/
>>>> It might be that an old GAP image file is loaded when you
>>>> run Sage 5.0.
>>>> Please check this out.
>>>> Thanks,
>>>> Dmitrii
>>>>
>>>> On 25 May 2012 12:43, Markus Szymik <markus.szymik at gmail.com> wrote:
>>>>>
>>>>> Dear Dimitri,
>>>>>
>>>>> I have upgraded to Sage 5.0 last week. Maybe I should remove the old install to
>>>>> ensure that Sage 4.8 is not being called upon by "accident".
>>>>>
>>>>> Thanks,
>>>>>
>>>>> Markus
>>>>>
>>>>> Am 25.05.2012 um 11:56 schrieb Dmitrii (Dima) Pasechnik:
>>>>>
>>>>>> Hi Markus,
>>>>>>
>>>>>> it indeed doesn't seem to work in Sage 4.8, for some reason, but does work
>>>>>> with Sage 5.0 for me.
>>>>>> Can you upgrade?
>>>>>>
>>>>>> Thanks,
>>>>>> Dmitrii
>>>>>>
>>>>>> On 25 May 2012 11:40, Markus Szymik <markus.szymik at gmail.com> wrote:
>>>>>>>
>>>>>>> Dear Alexander,
>>>>>>>
>>>>>>> The error occurred while I was accessing GAP through Sage.
>>>>>>> When I use GAP directly from within a terminal, the problem disappears.
>>>>>>> Thanks a lot for pointing out that it should work.
>>>>>>>
>>>>>>> All the best,
>>>>>>>
>>>>>>> Markus
>>>>>>>
>>>>>>>> Dear Markus,
>>>>>>>>
>>>>>>>> For me, this works fine, both with default packages and without packages,
>>>>>>>> for example:
>>>>>>>>
>>>>>>>> GAP4, Version: 4.4.12 of 17-Dec-2008, i686-apple-darwin10.8.0-gcc
>>>>>>>> Components:  small 2.1, small2 2.0, small3 2.0, small4 1.0, small5 1.0,
>>>>>>>>            small6 1.0, small7 1.0, small8 1.0, small9 1.0, small10 0.2,
>>>>>>>>            small11 0.1, id2 3.0, id3 2.1, id4 1.0, id5 1.0, id6 1.0, id9 1.0,
>>>>>>>>            id10 0.1, trans 1.0, prim 2.1  loaded.
>>>>>>>> Packages:    AClib 1.1, Polycyclic 2.8.1, Alnuth 2.3.1, AutPGrp 1.4, nq 2.2,
>>>>>>>>            GAPDoc 1.3, IO 3.3, CrystCat 1.1.3, Cryst 4.1.6, CRISP 1.3.4,
>>>>>>>>            CTblLib 1.1.3, TomLib 1.1.4, FactInt 1.5.3, FGA 1.1.0.1,
>>>>>>>>            IRREDSOL 1.2, LAGUNA 3.5.0, Sophus 1.23, MIPLib 1.0,
>>>>>>>>            Polenta 1.2.7, ResClasses 3.0.0  loaded.
>>>>>>>> gap> AutomorphismGroup(DihedralGroup(8));
>>>>>>>> <group of size 8 with 3 generators>
>>>>>>>>
>>>>>>>> Which version of GAP are you using? How did you install it?
>>>>>>>> Could you copy-and-paste the exact GAP session where you have this error?
>>>>>>>>
>>>>>>>> Best wishes,
>>>>>>>> Alexander
>>>>>>>>
>>>>>>>>
>>>>>>>> On 25 May 2012, at 10:05, Markus Szymik wrote:
>>>>>>>>
>>>>>>>>>
>>>>>>>>> Dear Forum,
>>>>>>>>>
>>>>>>>>> I am trying to compute automorphism groups of p-groups,
>>>>>>>>> and GAP responds with an error message I don't understand.
>>>>>>>>> For example,
>>>>>>>>>
>>>>>>>>>     AutomorphismGroup(DihedralGroup(8));
>>>>>>>>>
>>>>>>>>> results in:
>>>>>>>>>
>>>>>>>>>     ...
>>>>>>>>>     RuntimeError: Gap produced error output
>>>>>>>>>     Function: number of arguments must be 1 (not 2)
>>>>>>>>>
>>>>>>>>> The command works fine for all groups of order less than 8.
>>>>>>>>> What is wrong here?
>>>>>>>>>
>>>>>>>>> Thanks,
>>>>>>>>>
>>>>>>>>> Markus
>>>>>>>>>
>>>>>>>>>
>>>>>>>>>
>>>>>>>>> _______________________________________________
>>>>>>>>> Forum mailing list
>>>>>>>>> Forum at mail.gap-system.org
>>>>>>>>> http://mail.gap-system.org/mailman/listinfo/forum
>>>>>>>>
>>>>>>>>
>>>>>>>> --
>>>>>>>> Dr. Alexander Konovalov               School of Computer Science
>>>>>>>> & Centre for Interdisciplinary Research in Computational Algebra
>>>>>>>> University of St Andrews                 Tel +44/0 (1334) 461633
>>>>>>>> http://www.cs.st-andrews.ac.uk/~alexk    Fax +44/0 (1334) 463278
>>>>>>>> The University of St Andrews is a charity registered in Scotland:No.SC013532
>>>>>>>>
>>>>>>>>
>>>>>>>>
>>>>>>>>
>>>>>>>>
>>>>>>>>
>>>>>>>>
>>>>>>>
>>>>>>>
>>>>>>> _______________________________________________
>>>>>>> Forum mailing list
>>>>>>> Forum at mail.gap-system.org
>>>>>>> http://mail.gap-system.org/mailman/listinfo/forum
>>>>>>
>>>>>> CONFIDENTIALITY:This email is intended solely for the person(s) named and may be confidential and/or privileged.If you are not the intended recipient,please delete it,notify us and do not copy,use,or disclose its content.
>>>>>>
>>>>>> Towards A Sustainable Earth:Print Only When Necessary.Thank you.
>>>>>
>>>
>



More information about the Forum mailing list