database_gap doesn't work after installing it

[jdemeyer]

Reported by Paul Zimmermann and confirmed by me:

With Sage 7.6, after having done sage -i database_gap, I get:

sage: is_package_installed("database_gap")
True
sage: x = polygen(QQ); (x^5 - x - 1).galois_group()
verbose 0 (2061: permgroup_named.py, cardinality) Warning: TransitiveGroups requires the GAP database package. Please install it with `sage -i database_gap`.
[...]

CC: @dimpase

Component: packages: optional

Author: Volker Braun

Branch/Commit: d76bfb2

Reviewer: Jeroen Demeyer, Paul Zimmermann

Issue created by migration from https://trac.sagemath.org/ticket/23053

[zimmermann6]

comment:1

it worked (for me) with Sage 7.5.1.

[dimpase]

comment:2

Probably you need to force the re-creation of GAP workspaces.
I thought all this was fixed in #22570...

What is the output of

sage: gap_console()

in your case?

[dimpase]

comment:3

Also, does it go away if you install gap_packages() ?

[jdemeyer]

comment:5

Replying to @dimpase:

What is the output of

sage: gap_console()

in your case?

 ┌───────┐   GAP 4.8.6, 12-Nov-2016, build of 2017-05-22 13:45:59 (CEST)
 │  GAP  │   http://www.gap-system.org
 └───────┘   Architecture: x86_64-unknown-linux-gnu-gcc-default64
 Libs used:  gmp, readline
 Loading the library and packages ...
 Packages:   GAPDoc 1.5.1
 Try '??help' for help. See also '?copyright', '?cite' and '?authors'

[jdemeyer]

comment:6

Replying to @dimpase:

Also, does it go away if you install gap_packages() ?

No. I also tried to re-installed various GAP-related packages (gap itself, libgap, database_gap, gap_packages) but that didn't help either.

[dimpase]

comment:7

I don't know, it works for me in a recent beta.

Could you remove ~/.sage/gap/ and re-try gap_console() ?

[dimpase]

comment:8

Oops, I spoke too soon. Unlike you, I do see

Components: trans 1.0, prim 2.1, small* 1.0, id* 1.0

in gap_console() output,
which should indicate that database_gap has been loaded etc., but I still get the error as indicated in the ticket description. Could it be that it's not really related to GAP?

[zimmermann6]

comment:9

after I remove ~/.sage/gap/ it works with Sage 7.6:

┌────────────────────────────────────────────────────────────────────┐
│ SageMath version 7.6, Release Date: 2017-03-25                     │
│ Type "notebook()" for the browser-based notebook interface.        │
│ Type "help()" for help.                                            │
└────────────────────────────────────────────────────────────────────┘
sage: is_package_installed("database_gap")
True
sage: x = polygen(QQ); (x^5 - x - 1).galois_group()
Transitive group number 5 of degree 5

[dimpase]

comment:11

OK, so on the installation I was getting that error, removing ~/.sage/gap/ also makes it work. Apparently one can have different levels of brokenness:

• no workspaces rebuilt
• workspaces needed for console gap are rebuilt, but not the ones needed for the issue at hand.

[vbraun]

Branch: u/vbraun/database_gap_doesn_t_work_after_installing_it

[vbraun]

Changed branch from u/vbraun/database_gap_doesn_t_work_after_installing_it to none

[vbraun]

Author: Volker Braun

[dimpase]

Commit: d76bfb2

[dimpase]

Branch: u/vbraun/database_gap_doesn_t_work_after_installing_it

[dimpase]

comment:14

I suppose branch deletion was a typo... :-)

---

New commits:

d76bfb2

Add gap packages to the timestamps used for the workspace

[dimpase]

comment:15

Looks good to me.
Any more interested parties to try this?

[zimmermann6]

comment:16

Looks good to me. Any more interested parties to try this?

I'd like to try the patch, but I don't know how. I have Sage 7.6 installed.

[dimpase]

comment:17

Replying to @zimmermann6:

Looks good to me. Any more interested parties to try this?

I'd like to try the patch, but I don't know how. I have Sage 7.6 installed.

build from scratch, perhaps?

git clone  git@trac.sagemath.org:sage.git
cd sage
git pull origin u/vbraun/database_gap_doesn_t_work_after_installing_it
./configure
MAKE="make -j8" make

etc

[zimmermann6]

comment:18

thanks. I guess I have to type autoreconf -i before ./configure.

[dimpase]

comment:19

Replying to @zimmermann6:

thanks. I guess I have to type autoreconf -i before ./configure.

IMHO if you don't do this, the needed stuff will be fetched from the net.

[zimmermann6]

comment:20

Replying to @dimpase:

Replying to @zimmermann6:

thanks. I guess I have to type autoreconf -i before ./configure.

IMHO if you don't do this, the needed stuff will be fetched from the net.

since there is no configure file, only configure.ac, ./configure will fail.

[vbraun]

comment:21

The configure file is generate by the bootstrap script (standard stuff)

But you really only need to run "make", it will do the right thing even if you did not run bootstrap/configure yet.

[jdemeyer]

Reviewer: Jeroen Demeyer

[zimmermann6]

comment:23

I confirm it works now with the git version (SageMath version 8.0.beta9).

1. I first tried without the Gap database, and I get the error:

verbose 0 (2061: permgroup_named.py, cardinality) Warning: TransitiveGroups requires the GAP database package. Please install it with ``sage -i database_gap``.

2. then I did sage -i database_gap, and then I get:

┌────────────────────────────────────────────────────────────────────┐
│ SageMath version 8.0.beta9, Release Date: 2017-05-31               │
│ Type "notebook()" for the browser-based notebook interface.        │
│ Type "help()" for help.                                            │
└────────────────────────────────────────────────────────────────────┘
┏━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┓
┃ Warning: this is a prerelease version, and it may be unstable.     ┃
┗━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━┛
Forcing sage-location, probably because a new package was installed.
Updating various hardcoded paths...
(Please wait at most a few minutes.)
DO NOT INTERRUPT THIS.
Done updating paths.
sage: x = polygen(QQ); (x^5 - x - 1).galois_group()
Transitive group number 5 of degree 5

thus positive review on my side.

[jdemeyer]

Changed reviewer from Jeroen Demeyer to Jeroen Demeyer, Paul Zimmermann

[vbraun]

Changed branch from u/vbraun/database_gap_doesn_t_work_after_installing_it to d76bfb2