Ask Your Question
1

Mysterious "must have a value" error

asked 2021-01-20 11:51:15 +0100

Palomar gravatar image

I am using CoCalc to experiment with some GAP functionality in Sage. I am trying to run the following code.

G = gap.SmallGroup(64, 134)
R = gap.ResolutionPrimePowerGroupRadical(G, 10)

This yields the following error.

RuntimeError: Gap produced error output
Error, Variable: 'ResolutionPrimePowerGroupRadical' must have a value

What does this mean, and how do I solve this issue?

edit retag flag offensive close merge delete

Comments

What about G.ResolutionPrimePowerGroupRadical(10) ?

FrédéricC gravatar imageFrédéricC ( 2021-01-20 13:40:52 +0100 )edit

Apparently, this is not in GAP but in HAP ?

FrédéricC gravatar imageFrédéricC ( 2021-01-20 13:55:19 +0100 )edit

@FrédéricC It gives me the same error. And yes, as far as I understand this function comes from HAP but I don't really grasp what that means. I've tried to add the line gap.LoadPackage("hap") but it yields a similar "hap must have a value" error.

Palomar gravatar imagePalomar ( 2021-01-20 16:33:18 +0100 )edit

And in fact, not in HAP (that sage has) but in HAPprime (that sage does not have)

FrédéricC gravatar imageFrédéricC ( 2021-01-20 17:36:09 +0100 )edit

1 Answer

Sort by » oldest newest most voted
0

answered 2021-01-21 18:33:57 +0100

slelievre gravatar image

The command you want requires the GAP package HAPprime, no longer being developed: its repository at GitHub is archived, and some of the code has been migrated to HAP.

That said, you can still install it by downloading the package's compressed tarball and unpacking it in your ~/.gap/pkg/ folder (after creating it if necessary).

To do that on CoCalc, open a CoCalc terminal and run the following commands (skip the initial $ on each line which represents the prompt):

$ GAP_PKG='~/.gap/pkg'
$ mkdir -p $GAP_PKG
$ cd $GAP_PKG
$ URL=https://files.gap-system.org/gap48/tar.gz/packages
$ TGZ=happrime-0.6.tar.gz
$ wget $URL/$TGZ
$ tar xf $TGZ

Then you can use the desired GAP command, either directly in GAP or in Sage (via gap or, better, libgap) after loading the package HAPprime.

In Sage:

sage: libgap.LoadPackage("happrime")
#I  HAP warning: Set BROWSER_PATH manually if needed.
true
sage: G = libgap.SmallGroup(64, 134)
sage: R = libgap.ResolutionPrimePowerGroupRadical(G, 10)
sage: R
Resolution of length 10 in characteristic 2 for <pc group of size 64 with 6 generators> .
No contracting homotopy available.
A partial contracting homotopy is available.
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2021-01-20 11:51:15 +0100

Seen: 367 times

Last updated: Jan 21 '21