Installing GAP packages & SageNB

Jori Mäntysalo

unread,

Jan 26, 2017, 9:39:31 AM1/26/17

to sage-s...@googlegroups.com

I was asked to install the optional package HAP to the GAP inside
SageMath.

I run ./sage -i gap_packages and then followed instructions at
https://wiki.sagemath.org/InstallingGapPackages . Now it works from
command line, i.e. I can say

gap_console()

and then

LoadPackage("HAP");
F:=FreeGroup(2);; x:=F.1;; y:=F.2;;
G:=F/[x^2,y^201,(x*y)^2];; G:=Image(IsomorphismPermGroup(G));;
GroupHomology(G,99);

and got

[ 2, 3, 67 ]

But from the SageNB I got

#I MakeReadOnlyGlobal: GradedAlgebraPresentationType no value bound
true

from LoadPackage() and nothing from GroupHomology(G,99).

What to do?

--
Jori Mäntysalo

Dima Pasechnik

unread,

Jan 26, 2017, 4:37:55 PM1/26/17

to sage-support

On Thursday, January 26, 2017 at 2:39:31 PM UTC, jori.ma...@uta.fi wrote:

I was asked to install the optional package HAP to the GAP inside
SageMath.

I run ./sage -i gap_packages and then followed instructions at
https://wiki.sagemath.org/InstallingGapPackages . Now it works from
command line, i.e. I can say

gap_console()

and then

LoadPackage("HAP");
F:=FreeGroup(2);; x:=F.1;; y:=F.2;;
G:=F/[x^2,y^201,(x*y)^2];; G:=Image(IsomorphismPermGroup(G));;
GroupHomology(G,99);

and got

[ 2, 3, 67 ]

But from the SageNB I got

#I MakeReadOnlyGlobal: GradedAlgebraPresentationType no value bound
true

This looks OK

from LoadPackage() and nothing from GroupHomology(G,99).

works for me, I do get

[ 2, 3, 67 ]

as evaluation of a cell with

GroupHomology(G,99);

there

(I tried this with contents "gap" - set by the 4th

switch above the cells)

Forgotten ';' or something like this?

Dima

Jori Mäntysalo

unread,

Jan 27, 2017, 12:33:12 AM1/27/17

to sage-support

Solved, kind of, but please read...

On Thu, 26 Jan 2017, Dima Pasechnik wrote:

> But from the SageNB I got
>
> #I MakeReadOnlyGlobal: GradedAlgebraPresentationType no value
> bound
> true
>
> This looks OK

But why the error message?

> GroupHomology(G,99);

>
> (I tried this with contents "gap" - set by the 4th
> switch above the cells)

Me too.

> Forgotten ';' or something like this?

No. I tried

GroupHomology(G,99x);

to test and got an error

RuntimeError: Gap terminated unexpectedly while reading in a large line:
Gap produced error output
Error, Variable: '99x' must have a value

I also tried

F:=FreeGroup(2);; x:=F.1;; y:=F.2;;
G:=F/[x^2,y^201,(x*y)^2];; G:=Image(IsomorphismPermGroup(G));

and got

<permutation group of size 402 with 2 generators>

So, I tried

foo:=GroupHomology(G,99);

and a cell with only

foo

and got

[ 2, 3, 67 ]

So what the hell... I do not get output from the last line as I should?
SageNB and some strang error?

--
Jori Mäntysalo

Dima Pasechnik

unread,

Jan 27, 2017, 4:34:27 AM1/27/17

to sage-support

On Friday, January 27, 2017 at 5:33:12 AM UTC, jori.ma...@uta.fi wrote:

Solved, kind of, but please read...

On Thu, 26 Jan 2017, Dima Pasechnik wrote:

> But from the SageNB I got
>
> #I MakeReadOnlyGlobal: GradedAlgebraPresentationType no value
> bound
> true
>
> This looks OK

But why the error message?

GAP's #I tagged things are not error messages ('I' stands for information)

How many of these you get depends upon the verbosity level you set.

By the way, this is the full output of sage --gap command on your input:

gap> LoadPackage("HAP");

#I polymake command not found. Please set POLYMAKE_COMMAND by hand

----------------------------------------------------------------

Loading polymaking 0.8.1

(A package for using polymake in GAP)

by Marc Roeder

----------------------------------------------------------------

─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────

Loading Cryst 4.1.12 (Computing with crystallographic groups)

by Bettina Eick (http://www.icm.tu-bs.de/~beick/),

Franz Gähler (http://www.math.uni-bielefeld.de/~gaehler/), and

Werner Nickel (http://www.mathematik.tu-darmstadt.de/~nickel/).

Homepage: http://www.math.uni-bielefeld.de/~gaehler/gap45/packages.php

─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────

Loading CrystCat 1.1.6 (The crystallographic groups catalog)

by Volkmar Felsch (http://www.math.rwth-aachen.de/~Volkmar.Felsch/) and

Franz Gähler (http://www.math.uni-bielefeld.de/~gaehler/).

Homepage: http://www.math.uni-bielefeld.de/~gaehler/gap45/packages.php

─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────

Loading AClib 1.2 (Almost Crystallographic Groups - A Library and Algorithms)

by Karel Dekimpe (http://www.kulak.ac.be/~dekimpe) and

Bettina Eick (http://www.icm.tu-bs.de/~beick).

Homepage: http://www.icm.tu-bs.de/~beick/so.html

─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────

#I HAP warning: Set POLYMAKE_PATH manually if needed.

#I MakeReadOnlyGlobal: GradedAlgebraPresentationType no value bound

Loading HAP 1.11.13 ...

----------------------------------------------------------------

This is HAPcryst version 0.1.11

by Marc Roeder

----------------------------------------------------------------

true

gap> F:=FreeGroup(2);; x:=F.1;; y:=F.2;;

gap> G:=F/[x^2,y^201,(x*y)^2];; G:=Image(IsomorphismPermGroup(G));;

gap> GroupHomology(G,99);

[ 2, 3, 67 ]

> GroupHomology(G,99);
>
> (I tried this with contents "gap" - set by the 4th
> switch above the cells)

Me too.

> Forgotten ';' or something like this?

No. I tried

GroupHomology(G,99x);

to test and got an error

RuntimeError: Gap terminated unexpectedly while reading in a large line:
Gap produced error output
Error, Variable: '99x' must have a value

I also tried

F:=FreeGroup(2);; x:=F.1;; y:=F.2;;
G:=F/[x^2,y^201,(x*y)^2];; G:=Image(IsomorphismPermGroup(G));

and got

<permutation group of size 402 with 2 generators>

So, I tried

foo:=GroupHomology(G,99);

and a cell with only

foo

and got

[ 2, 3, 67 ]

So what the hell... I do not get output from the last line as I should?
SageNB and some strang error?

What version of GAP/Sage are you running?

Try commands in cells one by one...

(If you like to maintain sageNB, you're most welcome :-))

--
Jori Mäntysalo

Reply all

Reply to author

Forward