Le Tue, 3 Jan 2012 13:37:57 +0800,
"Asst. Prof. Dmitrii (Dima) Pasechnik" <d...@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 ?
\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@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum
