61.3 Installing the DCE Package

The DCE package is completely written in the GAP language, it does not require any additional programs and/or compilations. It will run on any computer that runs GAP. In the following we will describe the installation under UNIX. The installation on the Atari ST, TT or IBM PC is similar.

In the example we give we will assume that GAP is installed in the home directory of a pseudo user gap and that you, as user gap, want to install the DCE package. Note that certain parts of the output in the examples should only be taken as rough outline, especially file sizes and file dates are not to be taken literally.

First of all you have to get the file dce.zoo (see Getting GAP). Then you must locate the GAP directories containing lib/ and doc/, this is usually gap3r4p2 where 2 is to be replaced by the current the patch level.

    user@host:~ > ls -l
    drwxr-xr-x  11 gap      gap          1024 Jul  8 14:05 gap3r4p2
    -rw-r--r--   1 gap      gap         76768 Sep 11 12:33 dce.zoo
    user@host:~ > ls -l gap3r4p2
    drwxr-xr-x   2 gap      gap          3072 Aug 26 11:53 doc
    drwxr-xr-x   2 gap      gap          1024 Jul  8 14:05 grp
    drwxr-xr-x   2 gap      gap          2048 Aug 26 09:42 lib
    drwxr-xr-x   2 gap      gap          2048 Aug 26 09:42 src
    drwxr-xr-x   2 gap      gap          1024 Aug 26 09:42 tst

Unpack the package using unzoo (see Installation of GAP for UNIX). Note that you must be in the directory containing gap3r4p2 to unpack the files. After you have unpacked the source you may remove the archive-file.

    user@host:~ > unzoo x dce.zoo
    user@host:~ > ls -l gap3r4p2/pkg/dce
    -rw-r--r--   1 gap      gap          1536 Nov 22 04:16 README
    -rw-r--r--   1 gap      gap        116553 Nov 22 04:02 init.g
    -rw-r--r--   1 gap      gap         48652 Nov 22 04:18 dce.tex
    -rw-r--r--   1 gap      gap        549708 Nov 22 04:18 dce.dvi
    -rw-r--r--   1 gap      gap         14112 Nov 22 04:18 dce-inte.tex
    -rw-r--r--   1 gap      gap        116553 Nov 22 03:41 dce.g

Copy the file dce.tex into the doc/ directory, and edit manual.tex (also in the doc/ directory) and add a line \Include{dce} after the line \Include{cohomolo} near the end of the file. Finally run latex again (see Installation of GAP for UNIX).

    user@host:~ > cd gap3r4p2/pkg/dce
    user@host:../dce > cp dce.tex ../../doc
    user@host:../dce > cd ../../doc
    user@host:../doc > vi manual.tex # and add the necessary line
    user@host:../doc > latex manual
    # a few messages about undefined references
    user@host:../doc > latex manual
    # a few messages about undefined references
    user@host:../doc > makeindex manual
    # 'makeindex' prints some diagnostic output
    user@host:../doc > latex manual
    # there should be no warnings this time

Now it is time to test the installation. Let us assume that the executable of GAP lives in src/ and is called gap.

    user@host:~/gap3r4p2 > src/gap -b
    gap> RequirePackage( "dce" );
    gap> k := SymmetricGroup(3);
    Group( (1,3), (2,3) )
    gap> c := AbstractGenerator("c");;
    gap> d := AbstractGenerator("d");;
    gap> S5Pres := rec(
    >    groupK := k,
    >    gainGroups := [rec(), rec(dom := 3)],
    >    gens := [rec(name := c, invol := true, wgg := 2),
    >             rec(name := d, invol := true, wgg := 1)],
    >    relators := [DCEWord(k,c*d)^3,DCEWord(k,[(2,3),c])^3],
    >    subgens := [DCEWord(k,(1,2,3)), DCEWord(k,(1,2)), DCEWord(k,c)]);
    rec(
      groupK := Group( (1,3), (2,3) ),
      gainGroups := [ rec(
               ), rec(
              dom := 3 ) ],
      gens := [ rec(
              name := c,
              invol := true,
              wgg := 2 ), rec(
              name := d,
              invol := true,
              wgg := 1 ) ],
      relators :=
       [ DCEWord(Group( (1,3), (2,3) ),[c, d])^3, DCEWord(Group( (1,3),
            (2,3) ),[(2,3), c])^3 ],
      subgens :=
       [ DCEWord(Group( (1,3), (2,3) ),[(1,2,3)]), DCEWord(Group( (1,3),
            (2,3) ),[(1,2)]), DCEWord(Group( (1,3), (2,3) ),[c]) ] )
    gap> u := DCE(S5Pres);
    #I Set up generators and inverses
    #I Set up column structure: 4 columns
    #I Pre-processed relators
    #I Done subgroup generators
    #I Also done relators in subgroup
    #I Pushing at weight 3
    #I      1 double 1 single 1 blanks
    #I 1 DCEWord(K,[c, d])^3
    #I   1 cases
    #I 1 DCEWord(K,[(2,3), c])^3
    #I   1 cases
    #I Pushing at weight 5
    #I      3 double 5 single 1 blanks
    #I 2 DCEWord(K,[c, d])^3
    #I   1 cases
    #I 2 DCEWord(K,[(2,3), c])^3
    #I   1 cases
    #I 3 DCEWord(K,[c, d])^3
    #I   2 cases
    #I 3 DCEWord(K,[(2,3), c])^3
    #I   3 cases
    #I Pushing at weight 101
    #I      3 double 5 single 0 blanks
    #I 1 DCEWord(K,[c, c])
    #I   1 cases
    #I 1 DCEWord(K,[d, d])
    #I   1 cases
    #I Pushing at weight 103
    #I      3 double 5 single 0 blanks
    #I 2 DCEWord(K,[c, c])
    #I   1 cases
    #I 2 DCEWord(K,[d, d])
    #I   1 cases
    #I 3 DCEWord(K,[c, c])
    #I   2 cases
    #I 3 DCEWord(K,[d, d])
    #I   1 cases
    << Double coset table "No name" closed 3 double 5 single >>

If RequirePackage signals an error check the permissions of the subdirectories pkg/ and dce/.

Previous Up Top Next
Index