[GAP Forum] Using package genss on Debian

Asst. Prof. Dmitrii (Dima) Pasechnik dima at ntu.edu.sg
Tue Jan 3 06:18:10 GMT 2012


On 3 January 2012 13:57, Nicolas FRANCOIS <nicolas.francois at free.fr> wrote:
> Le Tue, 3 Jan 2012 13:37:57 +0800,
> "Asst. Prof. Dmitrii (Dima) Pasechnik" <dima at ntu.edu.sg> a écrit :
>
>> Hi Nicolas,
>>
>> is /usr/share/gap/pkg/ actually the right directory?
>> (i.e., do you see there any other pkg's that you know work?)
>> Does package orb load OK?
>> Is is a dependency of genss, so one needs to sort it out first.
>
> gap> LoadPackage("orb");
> fail
>
> So no, it doesn't seem to be the right directory...
>
> How can I ask gap where it searches for its packages ?

one way is to look at the shell script that starts GAP.
The packages are loaded from the pkg/ subdirectory at
GAP_DIR.
i.e. you can look at the output of
cat `which gap` | grep GAP_DIR

>From within GAP it seems to be the variable GAP_ROOT_PATHS.
I.e. you can do

gap> GAP_ROOT_PATHS;
[ "/usr/local/src/gap/gap4r4/" ]

HTH,
Dmitrii

>
> \bye
>
> --
>
> Nicolas FRANCOIS                      |  /\
> http://nicolas.francois.free.fr       | |__|
>                                      X--/\\
> We are the Micro$oft.                   _\_V
> Resistance is futile.
> You will be assimilated.         darthvader penguin
>
> _______________________________________________
> Forum mailing list
> Forum at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum

CONFIDENTIALITY: This email is intended solely for the person(s) named and may be confidential and/or privileged. If you are not the intended recipient, please delete it, notify us and do not copy, use, or disclose its content.

Towards A Sustainable Earth: Print Only When Necessary. Thank you.



More information about the Forum mailing list