-
Notifications
You must be signed in to change notification settings - Fork 2
/
README
51 lines (37 loc) · 1.69 KB
/
README
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
README file for the `EDIM' mini GAP4 package (Frank Lübeck)
To get the newest version of this GAP 4 package download one of the archive
files
EDIM-x.x.tar.gz
EDIM-x.x.tar.bz2
EDIM-x.x-win.zip (with text files in DOS/Windows format)
and unpack it using
gunzip EDIM-x.x.tar.gz; tar xvf EDIM-x.x.tar
respectively
unzip EDIM-x.x-win.zip
and so on.
Do this preferably (but not necessarily) inside the `pkg' subdirectory
of your GAP 4 installation. It creates a subdirectory called
'EDIM-x.y.z'.
For more robust cross referencing between manuals the installation directory
should be renamed to 'edim'.
To install this package do
cd EDIM-*
/bin/sh ./configure [path]
where `path' is a path to the GAP build directory (if not given
the default `../..' is assumed).
Afterwards call `make' to compile a binary file.
The package will also work without this step but then the kernel
function `ElementaryDivisorsPPartRkExpSmall' will not be available.
Recompiling the documentation is possible by the command
gap makedocrel.g
in the EDIM directory (edit 'relpath' in this file, if EDIM is not installed
in the standard location, otherwise this should not be necessary).
You can also run a test of the installation by 'make test'.
You must load EDIM with the command
gap> LoadPackage("EDIM");
within your GAP session to use its functionality.
E-mail me if there are any questions, remarks, suggestions. Also, I
would like to hear about applications of this package.
Alternatively, there is a public repository with issue tracker
https://github.com/frankluebeck/EDIM
Frank Lübeck, e-mail: [email protected]