[GAP Forum] Using package genss on Debian

Alexander Konovalov alexander.konovalov at gmail.com
Tue Jan 3 08:36:28 GMT 2012


Are IO and GAPDoc packages also installed - they are listed in genss dependencies?

Best wishes,
Alexander


On 3 Jan 2012, at 06:18, Asst. Prof. Dmitrii (Dima) Pasechnik wrote:

> 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.
> 
> _______________________________________________
> Forum mailing list
> Forum at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum




More information about the Forum mailing list