-
Notifications
You must be signed in to change notification settings - Fork 0
/
COMO.txt
40 lines (25 loc) · 1.55 KB
/
COMO.txt
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
Lo que he hecho en mi directorio:
Para compilar gap4 en zorro dentro de la carpeta ~/lib/gap4r7 :
./configure --with-gmp=yes
make
-------
después 4ti2:
./configure --enable-shared --prefix=/home/alfredo/lib/4ti2-1.6.2 --with-gmp=/home/alfredo/lib/gap4r7/bin/x86_64-unknown-linux-gnu-gcc-default64/extern/gmp-5.0.5 —with-glpk=/home/alfredo/lib/glkp-4.55
make
make install
-------
copie gap4ti2 a la carpeta pkg de gap4r7 y después escribí en su carpeta:
autoreconf
./configure --with-gaproot=/home/alfredo/lib/gap4r7 --with-4ti2=/home/alfredo/lib/4ti2-1.6.2
make
-------
~/lib/gap4r7/bin/gap.sh
gap> LoadPackage("gap4ti2");
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
Loading gap4ti2 0.0.1
by ().
Homepage:
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
true
gap> _4ti2_GroebnerBasis([[1, 1, -1, 1],[1, 5, 10, 25]]);
[ [ -10, 5, -4, 1 ], [ -5, -1, -4, 2 ], [ -5, 6, 0, -1 ] ]